<?xml version="1.0" encoding="utf-8"?>
<export-example>
  <doc>
    <id>1147</id>
    <completedYear/>
    <publishedYear>2014</publishedYear>
    <thesisYearAccepted/>
    <language>eng</language>
    <pageFirst>591</pageFirst>
    <pageLast>598</pageLast>
    <pageNumber/>
    <edition/>
    <issue/>
    <volume/>
    <type>conferenceobject</type>
    <publisherName/>
    <publisherPlace/>
    <creatingCorporation/>
    <contributingCorporation/>
    <belongsToBibliography>0</belongsToBibliography>
    <completedDate>2021-02-06</completedDate>
    <publishedDate>--</publishedDate>
    <thesisDateAccepted>--</thesisDateAccepted>
    <title language="eng">Comparison of Enhanced Markov Models and Discrete Event Simulation</title>
    <abstract language="eng">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.</abstract>
    <parentTitle language="eng">17th Euromicro Conference on Digital System Design (DSD), 27-29 August 2014, Verona, Italy</parentTitle>
    <identifier type="doi">10.1109/DSD.2014.42</identifier>
    <enrichment key="opus.source">publish</enrichment>
    <author>Stefan Krämer</author>
    <author>Peter Raab</author>
    <author>Jürgen Mottok</author>
    <author>Stanislav Racek</author>
    <collection role="institutes" number="FakEI">Fakultät Elektro- und Informationstechnik</collection>
    <collection role="othforschungsschwerpunkt" number="16311">Digitalisierung</collection>
    <collection role="institutes" number="">Laboratory for Safe and Secure Systems (LAS3)</collection>
  </doc>
</export-example>
