A proposal for model-based safety analysis

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2005, Pages

  Joshi, Anjali ^a   Miller, Steven P ^b   Whalen, Michael ^b   Heimdahl, Mats P E ^a  

^a University of Minnesota   (United States)

^b ROCKWELL COLLINS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT MODEL; PRACTITIONER; SAFETY ARTIFACTS; SAFETY-CRITICAL SYSTEM; SYSTEM SAFETY;

COMPUTER ARCHITECTURE; COST EFFECTIVENESS; FAILURE ANALYSIS; FAULT TREE ANALYSIS; INFORMATION ANALYSIS; INSTRUMENT ERRORS; MATHEMATICAL MODELS; SAFETY DEVICES; SYSTEMS ANALYSIS;

ACCIDENT PREVENTION;

EID: 33746265011     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DASC.2005.1563469     Document Type: Conference Paper

References (16)

1. Nancy G. Leveson, 1995, Safeware: System Safety and Computers, Addison-Wesley Publishing Company: Reading Massachusetts.
2. SAE ARP4761, December 1996, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment.
3. The Mathworks, Simulink Product Description, http ://www.mathworks.com
4. Esterel Technologies. SCADE suite product description, http://www.estereltechnolgies.com.
5. SRI International, The PVS Specification and Verification System, http://pvs.csl.sri.com.
6. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, M. Trakhtenbrot, 1990, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering.
7. Nancy G. Leveson, Mats P.E. Heimdahl, Jon Reese, 1999, Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future, in Proceedings of Foundations on Software Engineering.
8. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, 1991, The synchronous dataflow programming language Lustre, In Proceedings of the IEEE, 79(9): 1305-1320.
9. SAE, The SAE AADL Standard: A Language Overview, An Overview of the SAE AADL Language - extracted from the draft standard document. http://la.sei.cmu. edu/aadlinfosite/LinkedDocuments/AADLLanguageSummary.pdf
10. Clarke, Edmund M., Orna Grumberg, and Doron A. Peled, 2001, Model Checking, The MIT Press, Cambridge, Massachusetts.
11. IRST, The NuSMV Model Checker, Trento Italy, http://nusmv.irst.itc.it/.
12. Anjali Joshi and Mats P.E. Heimdahl, 2005, Model-Based Safety Analysis of Simulink Models using SCADE Design Verifier, To appear in Proceedings of SAFECOMP'05.
13. Marco Bozzano and Adolfo Villafiorita, 2003, Improving system reliability via model checking: the FSAP / NuSMV-SA safety analysis platform, In Proceedings of SAFECOMP, pages 49-62.
14. M. Bozzano, A. Villafiorita, O. kerlund, P. Bieber, C. Bougnol, E. Bde, M. Bretschneider, A. Cavallo, C. Castel, M. Cifaldi, A. Cimatti, A. Griffault, C. Kehren, B. Lawrence, A. Ldtke, S. Metge, C. Papadopoulos, R. Passarello, T. Peikenkamp, P. Persson, C. Seguin, L. Trotta, L. Valacca, and G. Zacco, 2003, ESACS: An integrated methodology for design and safety analysis of complex systems. In Proceedings of ESREL, pages 237-245.
15. Yiannis Papadopoulos and John A. McDermid, 1999, Hierarchically performed hazard origin and propagation studies, In Proceedings of the 18th International Conference, SAFECOMP'99.
16. Yiannis Papadopoulos and Matthias Maruhn, 2001, Model-based synthesis of fault trees from Matlab-Simulink models, In The International Conference on Dependable Systems and Networks.