SAML goes eclipse — Combining model-based safety analysis and high-level editor support

Software-intensive systems become more and more important in safety critical applications, mainly because of the rising number and complexity of embedded system. Many traditional safety analysis techniques where developed decades ago and thus cannot cope with the complexity of modern systems. Model based analysis techniques where developed to deal with the complexity of software-intensive systems. However, due to the lack of tool support these techniques are currently limited to highly skilled experts. Thus model-based analysis is rarely used by system engineers. Based on the safety analysis modeling language (SAML) framework we propose the S3E, which integrates a complete safety analysis environment into the eclipse platform. S3E covers the whole safety analysis work flow. This implies a powerful editor for model creation, a seamless integration of model-analysis tools and presentation as well as evaluation of the analysis results into one environment. In this paper we present the current state of S3E and first experiences with the eclipse plug-in development.

[1]  Frank Ortmeier,et al.  Combining Formal Methods and Safety Analysis - The ForMoSA Approach , 2004, SoftSpez Final Report.

[2]  R.S. Hall,et al.  An OSGi implementation and experience report , 2004, First IEEE Consumer Communications and Networking Conference, 2004. CCNC 2004..

[3]  Frank Ortmeier,et al.  Model-Based Multi-objective Safety Optimization , 2011, SAFECOMP.

[4]  Pierre Bieber,et al.  ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects , 2006 .

[5]  Frank Ortmeier,et al.  A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis , 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.

[6]  Frank Ortmeier,et al.  Probabilistic Model-Based Safety Analysis , 2010, QAPL.

[7]  Frank Ortmeier,et al.  FORMAL FAILURE MODELS , 2007 .

[8]  D. Hickey.  Distritrack: Automated Average-Case Analysis , 2007 .

[9]  Marco Bozzano,et al.  Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform , 2003, SAFECOMP.

[10]  Frank Ortmeier,et al.  Safety and Dependability Analysis of Self-Adaptive Systems , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[11]  Thomas Peikenkamp,et al.  Model Based Importance Analysis for Minimal Cut Sets , 2008, ATVA.

[12]  Richard S. Hall,et al.  Challenges in building service-oriented applications for OSGi , 2004, IEEE Communications Magazine.

[13]  Peter B. Ladkin,et al.  An Overview of IEC 61508 on E / E / PE Functional Safety , 2008 .

[14]  Frank Ortmeier,et al.  Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA) , 2005, EDCC.

[15]  Frank Ortmeier.  Formale Sicherheitsanalyse , 2006 .

[16]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[17]  Frank Ortmeier,et al.  Using Deductive Cause-Consequence Analysis (DCCA) with SCADE , 2007, SAFECOMP.

[18]  Kirsten Winter,et al.  Probabilistic Model-Checking Support for FMEA , 2007 .

[19]  Frank Ortmeier,et al.  Safety optimization: a combination of fault tree analysis and optimization techniques , 2004, International Conference on Dependable Systems and Networks, 2004.