Behavioral fault modeling for model-based safety analysis

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn , Issue , 2007, Pages 199-208

  Joshi, Anjali ^a   Heimdahl, Mats P E ^a  

^a UNIVERSITY OF MINNESOTA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHLORINE COMPOUNDS; DYNAMIC PROGRAMMING; FAILURE ANALYSIS; INDUSTRIAL ENGINEERING; LINGUISTICS; MODEL STRUCTURES; QUALITY ASSURANCE; RELIABILITY; SAFETY ENGINEERING; SECURITY SYSTEMS; SYSTEMS ENGINEERING; TECHNICAL PRESENTATIONS; TECHNOLOGY;

AUTOMATIC COMPOSITION; AUTOMATIC GENERATION; COMPONENT FAULTS; DOMAIN-SPECIFIC LANGUAGE; ERROR-PRONE; FAULT MODELING; HIGH ASSURANCE SYSTEMS; INTERNATIONAL SYMPOSIUM; MODEL EVOLUTION; MODEL-BASED; NOMINAL SYSTEMS; SAFETY ANALYSIS; SYNCHRONOUS DATA FLOW; SYSTEM FAULTS;

MODAL ANALYSIS;

EID: 48349143550     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2007.25     Document Type: Conference Paper

References (22)

1. A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Trans. Dependable and Secure Computing, 1(1):11-33, 2004.
2. P. Bieber, C. Castel, and C. Seguin. Combination of fault tree analysis and model checking for safety assessment of complex system. In Proceedings of the 4th European Dependable Computing Conference, pages 19-31. Springer-Verlag, 2002.
3. M. Bozzano and etal. Esacs: an integrated methodology for design and safety analysis of complex systems. In Proceedings of ESREL 2003, pages 237-245. Balkema Publishers, June 15-18 2003.
4. M. Bozzano and A. Villafiorita. Improving system reliability via model checking: the fsap / nusmv-sa safety analysis platform. In In Proceedings of SAFECOMP 2003, pages 49-62, Edinburgh, 2003. Springer.
5. P. Fenelon, J. A. McDermid, M. Nicolson, and D. J. Pumfrey. Towards integrated safety analysis and design. ACM SIGAPP Applied Computing Review, 2(1):21-32, 1994.
6. H. Giese, M. Tichy, and D. Schilling. Compositional hazard analysis of uml component and deployment models. In Computer Safety, Reliability, and Security, volume 3219 of LNCS, pages 166-179. Springer, 2004.
7. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9): 1305-1320, September 1991.
8. A. Joshi and M. P. Heimdahl. Model-Based Safety Analysis of Simulink Models Using SCADE Design Verifier. In SAFECOMP, volume 3688 of LNCS, pages 122-135. Springer-Verlag, Sept 2005.
9. A. Joshi, S. Miller, M. Whalen, and M. P. Heimdahl. A Proposal for Model-Based Safety Analysis. In Proceedings of 24th DASC, Nov 2005.
10. A. Joshi, S. Vestal, and P. Binns. Automatic generation of static fault trees from aadl models. In DSN Workshop on Architecting Dependable Systems (WADS), Edinburgh, 2007.
11. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In European Conference on Object-Oriented Programming (ECOOP'97), number 1241 in LNCS, pages 220-242. Springer-Verlag, 1997.
12. Mathworks Inc. Simulink product web site. Via the world-wide-web: http://www.mathworks.com/products/simulink.
13. The NuSMV Toolset, 2005. Available at http://nusmv.irst.itc.it/.
14. O.Akerlund, P.Bieber, E.Boede, M.Bozzano, M.Bretschneider, C.Castel, A.Cavallo, M.Cifaldi, J.Gauthier, A.Griffault, O.Lisagor, A.Luedtke, S.Metge, C.Papadopoulos, T.Peikenkamp, L.Sagaspe, C.Seguin, H.Trivedi, and L.Valacca. Isaac, a framework for integrated safety analysis of functional, geometrical and human aspects. In In Proceedings of ERTS, Toulouse, France, 2006.
15. F. Ortmeier, A. Thums, G. Schellhorn, and W. Reif. Combining formal methods and safety analysis - the formosa approach. In Integration of Software Specification Techniques for Applications in Engineering, volume 3147 of LNCS, pages 474-493, 2004.
16. S. Owre, N. Shankar, and J. Rushby. The PVS Specification Language. Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta relese edition, April 1993.
17. G. Pai and J. Dugan. Automatic synthesis of dynamic fault trees from uml system models. In 13th International Symposium on Software Reliability Engineering (ISSRE), pages 243- 254, Annapolis, USA, 2002.
18. Y. Papadopoulos and M. Maruhn. Model-based synthesis of fault trees from matlab-simulink models. In The International Conference on Dependable Systems and Networks (DSN'01), July 01-04 2001.
19. Y. Papadopoulos and J. A. McDermid. Hierarchically performed hazard origin and propagation studies. In In Proceedings of the 18th International Conference, SAFE-COMP'99, volume LNCS 1698. Springer-Verlag, 1999.
20. SAE-ARP4761. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. SAE International, December 1996.
21. SAE-AS5506. Architecture Analysis and Design Language. SAE, Nov 2004.
22. SAE-AS5506/1. Architecture Analysis and Design Language Annex Volume I. SAE, June 2006.