Reference : Probabilistic Analysis of Low-Criticality Execution
Scientific congresses, symposiums and conference proceedings : Unpublished conference
Engineering, computing & technology : Computer science
Probabilistic Analysis of Low-Criticality Execution
Küttler, Martin [Technische Universität Dresden > Department of Computer Science]
Roitzsch, Michael [Technische Universität Dresden > Department of Computer Science]
Hamann, Claude-Joachim [Technische Universität Dresden > Department of Computer Science]
Volp, Marcus mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Workshop on Mixed Criticality Systems 2017 co-located with RTSS 2017
05 - 08 December 2017
[en] The mixed-criticality toolbox promises system
architects a powerful framework for consolidating real-time
tasks with different safety properties on a single computing
platform. Thanks to the research efforts in the mixed-criticality
field, guarantees provided to the highest criticality level are well
understood. However, lower-criticality job execution depends
on the condition that all high-criticality jobs complete within
their more optimistic low-criticality execution time bounds.
Otherwise, no guarantees are made. In this paper, we add to the
mixed-criticality toolbox by providing a probabilistic analysis
method for low-criticality tasks. While deterministic models
reduce task behavior to constant numbers, probabilistic analysis
captures varying runtime behavior. We introduce a novel
algorithmic approach for probabilistic timing analysis, which we
call symbolic scheduling. For restricted task sets, we also present
an analytical solution. We use this method to calculate per-job
success probabilities for low-criticality tasks, in order to quantify,
how low-criticality tasks behave in case of high-criticality jobs
overrunning their optimistic low-criticality reservation.
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Critical and Extreme Security and Dependability Research Group (CritiX) ; Operating Systems Group - Department of Computer Science - Technische Universität Dresden
Researchers ; Students
FnR ; FNR8149128 > Paulo Esteves-Veríssimo > IISD > Strategic Rtnd Program On Information Infrastructure Security And Dependability > 01/01/2015 > 31/12/2019 > 2014

File(s) associated to this reference

Fulltext file(s):

Open access
Probabilistic Analysis of Low-Critically Execution_WMC6_Marcus Völp.pdfAuthor preprint429.91 kBView/Open

Additional material(s):

File Commentary Size Access
Open access
wmc2017-probmcs-technical reports.pdf526.47 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.