闪光东本 发表于 2025-3-30 09:41:48

Atrioventricular Septal Defects1C;good engineering practice#x201D; are discussed..Examples are presented of the application of these methods to a range of software projects including space satellite applications (high value) and rail transport (life critical).

arterioles 发表于 2025-3-30 14:05:57

Adriana Rakowska,Lidia Rudnickaimportance and this will be achieved by a combination of operator control via the DCS and separate safety systems. This paper describes the overall approach to safe control adopted for the plant. It concludes by discussing the way in which the control system is incorporated into the Probabilistic Risk Assessment (PRA) of the plant.

Flavouring 发表于 2025-3-30 20:06:37

Adriana Rakowska,Malgorzata Olszewskat to produce a new methodology with supporting documentation..The paper will summarise the lessons learned and comment on the management and technical needs regarding assurance on safety for computer installations on chemical plants.

ZEST 发表于 2025-3-30 22:07:09

http://reply.papertrans.cn/15/1439/143870/143870_54.png

引水渠 发表于 2025-3-31 04:28:07

http://reply.papertrans.cn/15/1439/143870/143870_55.png

TSH582 发表于 2025-3-31 09:01:36

http://reply.papertrans.cn/15/1439/143870/143870_56.png

CHIP 发表于 2025-3-31 11:46:16

https://doi.org/10.1007/978-94-009-3461-0Ada; Software; design; development; model; modeling; object oriented design; security

nutrients 发表于 2025-3-31 14:20:22

http://reply.papertrans.cn/15/1439/143870/143870_58.png

储备 发表于 2025-3-31 19:57:00

http://reply.papertrans.cn/15/1439/143870/143870_59.png

粗糙 发表于 2025-4-1 01:31:38

http://reply.papertrans.cn/15/1439/143870/143870_60.png
页: 1 2 3 4 5 [6] 7
查看完整版本: Titlebook: Achieving Safety and Reliability with Computer Systems; B. K. Daniels Book 1987 Elsevier Applied Science Publishers Ltd 1987 Ada.Software.