• search hit 8 of 26
Back to Result List

Comparison of Enhanced Markov Models and Discrete Event Simulation

  • 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.

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Stefan Krämer, Peter Raab, Jürgen MottokORCiDGND, Stanislav Racek
DOI:https://doi.org/10.1109/DSD.2014.42
Parent Title (English):17th Euromicro Conference on Digital System Design (DSD), 27-29 August 2014, Verona, Italy
Document Type:conference proceeding (article)
Language:English
Year of first Publication:2014
Release Date:2021/03/12
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