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"
}