Software Safety Lifecycles and the Methods of a Programmable Electronic Safety System for a Nuclear Power Plant
暂无分享,去创建一个
[1] Nancy G. Leveson,et al. Safety Analysis of Ada Programs Using Fault Trees , 1983, IEEE Transactions on Reliability.
[2] Jang-Soo Lee,et al. Software Safety Analysis of Digital Protection System Requirements Using a Qualitative Formal Method , 2004 .
[3] Nancy G. Leveson,et al. Safeware: System Safety and Computers , 1995 .
[4] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .
[5] Arndt B. Lindner,et al. Experiences Gained from Independent Assessment in Licensing of Advanced I&C Systems in Nuclear Power Plants , 2003 .
[6] C. V. Ramamoorthy,et al. Software Reliability—Status and Perspectives , 1982, IEEE Transactions on Software Engineering.