Using SysML to Automatically Generate of Failure Modes and Effects Analyses
暂无分享,去创建一个
[1] Joseph G. D'Ambrosio,et al. Effective Application of Software Safety Techniques for Automotive Embedded Control Systems , 2005 .
[2] Richard F. Paige,et al. Analysing System Failure Behaviours with PRISM , 2010, 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion.
[3] Jianwen Xiang,et al. Automatic Synthesis of Static Fault Trees from System Models , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.
[4] Pierre David,et al. Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..
[5] John A. McDermid,et al. An integrated tool set for software safety analysis , 1993, J. Syst. Softw..
[6] Myron Hecht,et al. A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.