Model-based safety assessment: Review of the discipline and its challenges

ICRMS'2011 - Safety First, Reliability Primary: Proceedings of 2011 9th International Conference on Reliability, Maintainability and Safety

Volumn , Issue , 2011, Pages 625-632

  Lisagor, Oleg ^a   Kelly, Tim ^a   Niu, Ru ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b BEIJING JIAOTONG UNIVERSITY   (China)

Author keywords

Model Based Safety Assessment; Safety Assessment Methodology; System Safety Engineering

Indexed keywords

ENGINEERING SEMANTICS; NUMBER OF METHODS; SAFETY ASSESSMENT METHODOLOGY; SAFETY ASSESSMENTS; SYSTEM SAFETY ENGINEERING;

MAINTAINABILITY; RATING; RELIABILITY; SEMANTICS;

ACCIDENT PREVENTION;

EID: 80052479164     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICRMS.2011.5979344     Document Type: Conference Paper

References (37)

1. Abdulla, P.A., J. Deneux, G. Stålmarck, H. Ågren, and O. Åkerlund. Designing Safe, Reliable Systems Using Scade. in 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA). 2004. Paphos, Cyprus: Springer-Verlag.
2. Åkerlund, O., P. Bieber, et al., ISAAC, a Framework for Integrated Safety Analysis of Functional, Geometrical and Human Aspects, in 3rd European Congress on Embedded Real Time Systems (ERTS). 2006: Toulouse, France.
3. Arnold, A., G. Point, A. Griffault, and A. Rauzy, The AltaRica Formalism for Describing Concurrent Systems. Fundamenta Informaticae, 2000. 34: p. 109-124.
4. Avizienis, A., J.-C. Laprie, B. Randell, and C. Landwehr, Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing, 2004. 1(1): p. 11-33.
5. Bernard, R., J.-J. Aubert, P. Bieber, C. Merlini, and S. Metge, Experiments in Model-Based Safety Analysis: Flight Controls, in IFAC Workshop on Dependable Control of Discrete Systems. 2007, The International Federation of Automatic Control: Paris, France.
6. Bieber, P., C. Castel, and C. Seguin. Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System. in 4th European Dependable Computing Conference. 2002. Toulouse: Springer Verlag.
7. Boiteau, M., Y. Dutuit, A. Rauzy, and J.-P. Signoret, The AltaRica Data-Flow Language in Use: Modelling of Production Availability of a Multi-State System. Reliability Engineering and System Safety, 2006. 91(7): p. 747-755.
8. Bozzano, M. and A. Villafiorita. Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform. in 22nd International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2003. Edinburgh, UK: Springer- Verlag.
9. Bozzano, M., A. Villafiorita, et al. ESACS: an Integrated Methodology for Design and Safety Analysis of Complex Systems. in European Safety and Reliability Conference (ESREL). 2003. Maastricht: Balkema Publishers.
10. Bretschneider, M., Lessons Learnt About System Safety Assessment Based on Scade Models (Presentation), in Modelbased Safety Assessment (Journées MISSA), C. Seguin, Editor. 2010, CISEC / MISSA Project Consortium: Toulouse, France.
11. Cavallo, A., System Safety Assessment Based on Formal Models: Lessons Learnt by Alenia Aeronautica (Presentation), in Modelbased Safety Assessment (Journées MISSA), C. Seguin, Editor. 2010, CISEC / MISSA Project Consortium: Toulouse, France.
12. Feiler, P. and A. Rugina, Dependability Modeling with the Architecture Analysis & Design Language (AADL), in Performance-Critical Systems Initiative. 2007, Software Engineering Institute, Carnegie Mellon University (SEI/CMU): Pittsburgh, PA.
13. Fenelon, P. and J.A. McDermid, An Integrated Toolset for Software Safety Analysis. The Journal of Systems and Software, 1993. 21(3): p. 279-290.
14. Fenelon, P., J.A. McDermid, M. Nicholson, and D.J. Pumfrey, Towards Integrated Safety Analysis and Design. ACM Computing Reviews, 1994. 2(1): p. 21-32.
15. Joshi, A. and M.P.E. Heimdahl. Behavioral Fault Modelling for Model-based Safety Analysis. in 10th IEEE High Assurance Systems Engineering Symposium (HASE). 2007. Dallas, TX: IEEE Computer Society.
16. Kaiser, B. and C. Gramlich. State-Event-Fault-Trees - A Safety Analysis Model for Software Controlled Systems. in 23rd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). 2004. Potsdam, Germany: Springer Berlin / Heidelberg.
17. Kaiser, B., P. Liggesmeyer, and O. Mäckel. A New Component Concept for Fault Trees. in 8th Australian workshop on Safety critical systems and software. 2003. Canberra, Australia: Australian Computer Society.
18. Kehren, C., C. Seguin, et al., Advanced Simulation Capabilities for Multi-Systems with AltaRica, in 24th International System Safety Conference (ISSC). 2004, System Safety Society: Providence, RI.
19. Lisagor, O., Failure Logic Modelling: A Pragmatic Approach, in Dep't Computer Science. 2010, The University of York: York.
20. Lisagor, O., M. Bozzano, M. Bretschneider, and T. Kelly, Incremental Safety Assessment: Enabling the Comparison of Safety Analysis Results, in 28th International System Safety Conference (ISSC). 2010, System Safety Society: Minneapolis, MN.
21. Lisagor, O., L. Sun, and T. Kelly, The Illusion of Method: Challenges of Model-Based Safety Assessment, in 28th International System Safety Conference (ISSC). 2010, System Safety Society: Minneapolis, MN.
22. Majdara, A. and T. Wakabayashi, Component-Based Modelling of Systems for Automated Fault Tree Generation. Reliability Engineering and System Safety, 2009. 94(6): p. 1076-1086.
23. Papadopoulos, Y. Hierarchically Performed Hazard Origin and Propagation Studies. in 18th International Conference on Computer Safety, Reliability, and Security (SAFECOMP). 1999. Toulouse, France: Springer-Verlag.
24. Papadopoulos, Y., Safety-Directed System Monitoring Using Safety Cases, in Dep't Computer Science. 2000, The University of York: York.
25. Papadopoulos, Y. and M. Maruhn, Model-Based Synthesis of Fault Trees from Matlab-Simulink Models, in International Conference on Dependable Systems and Networks (DSN). 2001, IEEE Computer Society: Goteborg (Sweden). p. 77-82.
26. Peikenkamp, T., A. Cavallo, et al. Towards a Unified Model-Based Safety Assessment. in 25th International Conference on Computer Safety, Reliability and Security (SAFECOMP). 2006. Gdansk, Poland: Springer-Verlag.
27. Rauzy, A., Mode Automata and Their Compilation into Fault Trees. Reliability Engineering and System Safety, 2002. 78(1): p. 1-12.
28. Reese, J.D. and N.G. Leveson. Software Deviation Analysis. in 19th International Conference on Software Engineering. 1997. Boston, MA: ACM.
29. Seguin, C., P. Bieber, C. Castel, and C. Kehren, Formal Assessment Techniques for Embedded Safety Critical Systems, in 2nd National Workshop on Control Architectures of Robots (CAR'2007). 2007: Paris, France.
30. Selic, B., The Pragmatics of Model-Driven Development. IEEE Software, 2003. 20(5): p. 19-25.
31. Society of Automotive Engineers, Architecture Analysis and Design Language (AADL), Annex E: Error Model Annex (Annex Volume 1). 2006, SAE Aerospace: Warrendale, PA.
32. Society of Automotive Engineers (SAE), Certification Considerations for Highly-Integrated or Complex Aircraft Systems. 1996, SAE International / EUROCAE: Warrendale, PA.
33. Society of Automotive Engineers (SAE), Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment. 1996, SAE International: Warrendale, PA.
34. van der Meulen, M., Definitions for Hardware and Software Safety Engineers. 2000, London: Springer-Verlag.
35. Vesely, W.E., J. Dugan, J. Fragola, J. Minarick, and J. Railsback, Fault Tree Handbook with Aerospace Applications. 2002, NASA Office of Safety and Mission Assurance.
36. Vesely, W.E., F.F. Goldberg, N.H. Roberts, and D.F. Haasl, Fault Tree Handbook. 1981, US Nuclear Regulatory Commission,.
37. Wallace, M. Modular Architectural Representation and Analysis of Fault Propagation and Transformation. in 2nd International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2005). 2005. Amsterdam: Elsevier.