Systems Modeling with EAST-ADL for Fault Tree Analysis through HiP-HOPS

Abstract EAST-ADL is a domain-specific modeling framework with methodology and language support for the engineering of automotive embedded systems. In regard to functional safety, it aims to provide the maximum possible support for ISO 26262 so that all safety related information can be consolidated seamlessly in a common system model together with the requirements specification. This paper describes the EAST-ADL support for the modeling of plausible error behaviors as an orthogonal system view. We introduce in particular an integration of such EAST-ADL models with the HiP-HOPS method for automated temporal fault tree analysis.

[1]  Panos J. Antsaklis,et al.  Stability and stabilizability of discrete event dynamic systems , 1991, JACM.

[2]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[3]  Yiannis Papadopoulos,et al.  Automatic optimisation of system architectures using EAST-ADL , 2013, J. Syst. Softw..

[4]  Yiannis Papadopoulos,et al.  Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook , 2009 .

[5]  John A. McDermid,et al.  Hierarchically Performed Hazard Origin and Propagation Studies , 1999, SAFECOMP.

[6]  Marco Bozzano,et al.  ESACS: an integrated methodology for design and safety analysis of complex systems , 2003 .

[7]  Walter Vogler,et al.  An Improvement of McMillan's Unfolding Algorithm , 2002, Formal Methods Syst. Des..

[8]  Lei Feng,et al.  An architectural approach to the analysis, verification and validation of software intensive embedded systems , 2013, Computing.

[9]  Martin Walker,et al.  Integrated safety and architecture modeling for automotive embedded systems* , 2011, Elektrotech. Informationstechnik.

[10]  Fredrik Törner,et al.  Modelling Support for Design of Safety-Critical Automotive Embedded Systems , 2008, SAFECOMP.

[11]  Nidhal Mahmud,et al.  Dynamic model-based safety analysis : from state machines to temporal fault trees , 2012 .

[12]  Marco Schneider,et al.  Self-stabilization , 1993, CSUR.

[13]  Jing Huang,et al.  A Framework for Fault-Tolerant Control of Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[14]  Martin Walker,et al.  Automatic allocation of safety integrity levels , 2010, EDCC-CARS.

[15]  Abdelhakim Khatab,et al.  State feedback stabilizing controller for the failure recovery of timed discrete event systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[16]  Martin Walker,et al.  A translation of State Machines to temporal fault trees , 2010, 2010 International Conference on Dependable Systems and Networks Workshops (DSN-W).

[17]  Antoine Rauzy,et al.  The AltaRica Formalism for Describing Concurrent Systems , 1999, Fundam. Informaticae.

[18]  Ernesto López-Mellado,et al.  Recoverability analysis of controlled discrete event systems modelled by a class of Petri nets , 2012, WODES.

[19]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[20]  Martin Walker,et al.  Compositional Synthesis of Temporal Fault Trees from State Machines , 2011, 2011 Sixth International Conference on Availability, Reliability and Security.

[21]  Kenneth L. McMillan,et al.  Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits , 1992, CAV.