Comparison of Enhanced Markov Models and Discrete Event Simulation – for evaluation of probabilistic Faults in safety-critical real-time task sets
- In this paper we present simulation and model based approaches for evaluating and validating the temporal and safety relevant properties of software intensive safety-critical real-time embedded systems. A high level reliability model of a safe task execution is described by a continuous-time Markov process, enhanced by the modeling of execution times. It is shown that the behavior - regarding real-time and safety metrics - of this theoretical model can be transferred into an abstract system timing model, which then can be analyzed by a discrete event simulation approach. The verification of the discrete event simulation by Markov models offers the possibility of a holistic approach for reliability analysis combined with schedulability analysis of complex safety-critical multicore real-time systems by the discrete event simulation.
Author: | Stefan Krämer, Peter Raab, Jürgen MottokORCiDGND, Stanislav Racek |
---|---|
DOI: | https://doi.org/10.1109/DSD.2014.42 |
Parent Title (English): | Proceedings of EUROMICRO DSD 2014 - 17th Euromicro Conference on Digital System Design |
Document Type: | conference proceeding (article) |
Language: | English |
Year of first Publication: | 2014 |
Release Date: | 2021/03/01 |
Tag: | Model; Stochastic simulation; discrete event simulation; fault injection; multicore scheduling; real-time operating system; reliability analysis; safe software processing |
First Page: | 591 |
Last Page: | 598 |
Institutes: | Fakultät Elektro- und Informationstechnik |
Fakultät Elektro- und Informationstechnik / Laboratory for Safe and Secure Systems (LAS3) | |
research focus: | Digitalisierung |