Subscribe
Issue No.02  March/April (2009 vol.35)
pp: 274292
Eckard Böde , OFFIS Institute for Information Technology, Oldenburg
Marc Herbstritt , AlbertLudwigsUniversity, Freiburg im Breisgau
Holger Hermanns , Saarland University, Saarbrücken
Sven Johr , Saarland University, Saarbrücken
Thomas Peikenkamp , OFFIS Institute for Information Technology, Oldenburg
Reza Pulungan , Saarland University, Saarbrücken
Jan Rakow , Carl von Ossietzky University, Oldenburg
Ralf Wimmer , AlbertLudwigsUniversity, Freiburg im Breisgau
Bernd Becker , AlbertLudwigsUniversity, Freiburg im Breisgau
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TSE.2008.102
ABSTRACT
Software and system dependability is getting ever more important in embedded system design. Current industrial practice of modelbased analysis is supported by statetransition diagrammatic notations such as Statecharts. Stateoftheart modelling tools like Statemate support safety and failureeffect analysis at design time, but restricted to qualitative properties. This paper reports on a (plugin) extension of Statemate enabling the evaluation of quantitative dependability properties at design time. The extension is compositional in the way the model is augmented with probabilistic timing information. This fact is exploited in the construction of the underlying mathematical model, a uniform continuoustime Markov decision process, on which we are able to check requirements of the form: "The probability to hit a safetycritical system configuration within a mission time of 3 hours is at most 0.01." We give a detailed explanation of the construction and evaluation steps making this possible, and report on a nontrivial case study of a highspeed train signalling system where the tool has been applied successfully.
INDEX TERMS
Realtime and embedded systems, Fault tolerance, Modeling techniques, Reliability, availability, and serviceability, Model checking, Reliability, Design notations and documentation, State diagrams
CITATION
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan Rakow, Ralf Wimmer, Bernd Becker, "Compositional Dependability Evaluation for STATEMATE", IEEE Transactions on Software Engineering, vol.35, no. 2, pp. 274292, March/April 2009, doi:10.1109/TSE.2008.102
REFERENCES
