Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM

To deliver complex functionalities in a cost effective manner, embedded software should ideally be developed with standardized interoperable components. At the same time, most of these embedded systems must be demonstrably safe and reliable. This paper aims to extend SaveCCM, a modelling language for component-based embedded systems, with standard safety evaluation models. Based on this extension, failure and hazard probabilities can be estimated early in the development process and can be used to check if a system can fulfil its safety requirements. The procedure of the safety evaluation is demonstrated with the case study of a computer assisted braking system.

[1]  Mark Nicholson,et al.  Selecting a Topology for Safety-Critical Real-Time Control Systems , 1999 .

[2]  Peter Liggesmeyer,et al.  A New Component Concept for Fault Trees , 2003, SCS.

[3]  Andrea Bondavalli,et al.  Failure classification with respect to detection , 1990, [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems.

[4]  Christian Bunse,et al.  Component-Based Software Development for Embedded Systems - An Overview of Current Research Trends , 2005, Component-Based Software Development for Embedded Systems.

[5]  J. A. McDermid,et al.  Towards integrated safety analysis and design , 1994, SIAP.

[6]  Lars Grunske,et al.  Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process , 2005, Component-Based Software Development for Embedded Systems.

[7]  Divya Prasad,et al.  Dependable systems integration using measurement theory and decision analysis , 1998 .

[8]  Jeff Magee,et al.  The Koala Component Model for Consumer Electronics Software , 2000, Computer.

[9]  David Clark,et al.  Safety and Security Analysis of Object-Oriented Models , 2002, SAFECOMP.

[10]  John D. Musa,et al.  Software reliability - measurement, prediction, application , 1987, McGraw-Hill series in software engineering and technology.

[11]  Alessandro Birolini.  Reliability Engineering: Theory and Practice , 1999 .

[12]  Ivica Crnkovic,et al.  SaveCCM - a component model for safety-critical real-time systems , 2004 .

[13]  John A. McDermid,et al.  Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure , 2001, Reliab. Eng. Syst. Saf..

[14]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[15]  Simin Nadjm-Tehrani,et al.  Safety Interfaces for Component-Based Systems , 2005, SAFECOMP.

[16]  P. Steerenberg,et al.  Targeting pathophysiological rhythms: prednisone chronotherapy shows sustained efficacy in rheumatoid arthritis. , 2010, Annals of the rheumatic diseases.

[17]  Hermann Kopetz,et al.  Dependability: Basic Concepts and Terminology , 1992 .

[18]  Gabriel A. Moreno,et al.  Packaging Predictable Assembly , 2002, Component Deployment.

[19]  David John Pumfrey,et al.  The principled design of computer system safety analyses , 1999 .

[20]  Thomas A. Henzinger,et al.  Reactive Modules , 1999, Formal Methods Syst. Des..

[21]  Lars Grunske,et al.  Automatic generation of analyzable failure propagation models from component-level failure annotations , 2005, Fifth International Conference on Quality Software (QSIC'05).

[22]  Johan Fredriksson,et al.  Component-based context dependent hybrid property prediction , 2005 .

[23]  Lars Grunske,et al.  Identifying "good" architectural design alternatives with multi-objective optimization strategies , 2006, ICSE.

[24]  Robyn R. Lutz,et al.  Engineering for Safety : A Roadmap , 2001 .

[25]  Lars Grunske,et al.  Model-Driven safety evaluation with state-event-based component failure annotations , 2005, CBSE'05.

[26]  Yiannis Papadopoulos,et al.  Model-based synthesis of fault trees from Matlab-Simulink models , 2001, 2001 International Conference on Dependable Systems and Networks.

[27]  Malcolm Wallace,et al.  Modular Architectural Representation and Analysis of Fault Propagation and Transformation , 2005, FESCA@ETAPS.

[28]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[29]  John Håkansson,et al.  SaveCCM: An Analysable Component Model for Real-Time Systems , 2006, FACS.

[30]  Lars Grunske.  Annotation of component specifications with modular analysis models for safety properties , 2003 .

[31]  Edmund M. Clarke,et al.  Counterexample-guided abstraction refinement , 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..