Detail publikace
Predictability Analysis of Interruptible Systems by Statistical Model Checking
STRNADEL, J.
Originální název
Predictability Analysis of Interruptible Systems by Statistical Model Checking
Anglický název
Predictability Analysis of Interruptible Systems by Statistical Model Checking
Jazyk
en
Originální abstrakt
Many systems must be predictable under various sources of unpredictability. To meet this, a system must be modeled and analyzed precisely under various scenarios, which is a problem that grows with the dynamics of the system. To cope with it, we propose a simulation model that relies on a network of stochastic timed automata. Its novelty lies in combining models of the interrupt subsystem, interrupt sources and their interrupt service routines with features such as priorities, masking of interrupt requests and nesting of interrupt service routines at run-time. The analysis of such a model benefits from the statistical model checking.
Anglický abstrakt
Many systems must be predictable under various sources of unpredictability. To meet this, a system must be modeled and analyzed precisely under various scenarios, which is a problem that grows with the dynamics of the system. To cope with it, we propose a simulation model that relies on a network of stochastic timed automata. Its novelty lies in combining models of the interrupt subsystem, interrupt sources and their interrupt service routines with features such as priorities, masking of interrupt requests and nesting of interrupt service routines at run-time. The analysis of such a model benefits from the statistical model checking.
Dokumenty
BibTex
@article{BUT146730,
author="Josef {Strnadel}",
title="Predictability Analysis of Interruptible Systems by Statistical Model Checking",
annote="Many systems must be predictable under various sources of unpredictability. To
meet this, a system must be modeled and analyzed precisely under various
scenarios, which is a problem that grows with the dynamics of the system. To cope
with it, we propose a simulation model that relies on a network of stochastic
timed automata. Its novelty lies in combining models of the interrupt subsystem,
interrupt sources and their interrupt service routines with features such as
priorities, masking of interrupt requests and nesting of interrupt service
routines at run-time. The analysis of such a model benefits from the statistical
model checking.",
address="NEUVEDEN",
chapter="146730",
doi="10.1109/MDAT.2017.2766568",
edition="NEUVEDEN",
howpublished="online",
institution="NEUVEDEN",
number="2",
volume="35",
year="2018",
month="march",
pages="57--63",
publisher="NEUVEDEN",
type="journal article in Web of Science"
}