论文信息 - Integration of Multiple Active Safety Systems using STPA - 字舞流文

Integration of Multiple Active Safety Systems using STPA

John Thomas | Dajiang Suo | Seth Placke

[1] S. Ganesan,et al. Writing Better Real-Time System Requirements with Use Cases and Services , 2005 .

[2] Matthew Seth Placke. Application of STPA to the integration of multiple control systems : a case study and new approach , 2014 .

[3] John P. Thomas,et al. Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis , 2013 .

[4] Vincent H Balgos. A systems theoretic application to design for the safety of medical diagnostic devices , 2012 .

[5] Pamela Zave. A practical comparison of Alloy and Spin , 2014, Formal Aspects of Computing.

[6] Nancy G. Leveson,et al. Hazard Analysis of Complex Spacecraft Using Systems-Theoretic Process Analysis , 2014 .

[7] Ian J. Hayes. VDM and Z: A comparative case study , 2005, Formal Aspects of Computing.

[8] Albert L. Baker,et al. Enhancing the Pre- and Postcondition Technique for More Expressive Specifications , 1999, World Congress on Formal Methods.

[9] Nancy G. Leveson,et al. Applying systems thinking to analyze and learn from events , 2010 .

[10] Nancy G. Leveson,et al. A new accident model for engineering safer systems , 2004 .