Detail publikace

Predictability Analysis of Interruptible Systems by Statistical Model Checking

STRNADEL, J. Predictability Analysis of Interruptible Systems by Statistical Model Checking. IEEE Design and Test, 2018, vol. 35, no. 2, p. 57-63. ISSN: 2168-2356.
Název česky
Analýza předvídatelnosti přerušitelných systémů pomocí statického ověřování modelů
Typ
článek v časopise
Jazyk
anglicky
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY)
URL
Klíčová slova

Processors, Real-time systems, Interrupts, Predictability, Analytical models,  Predictive models,  Stacking,  Statistical model checking,  Stochastic processes,  Timed automata, Priced automata, Computational modeling

Abstrakt

Mnohé systémy se musí chovat předvídatelně i za různých nepředvídatelných okolností. Aby takové chování mohlo být garantováno, systém je nutno precizně modelovat a analyzovat v různých scénářích; to je však problém, jehož složitost roste s dynamikou systému. Pro řešení tohoto problému navrhujeme simulační model stavějící na síti stochastických časovaných automatů. Novost našeho přístupu spočívá v řešení kombinujícím model přerušovacího podsystému, zdrojů přerušení a obsluh přerušení s vlastnostmi, mezi které patří priority, maskování přerušení a vnořování obsluh přerušení za běhu programu. Analýza navrženého modelu vychází se statistického ověřování modelů.

Rok
2018
Strany
57–63
Časopis
IEEE Design and Test, roč. 35, č. 2, ISSN 2168-2356
DOI
10.1109/MDAT.2017.2766568
UT WoS
000428865000008
EID Scopus
2-s2.0-85032438884
BibTeX 
@article{BUT146730,
  author="Josef {Strnadel}",
  title="Predictability Analysis of Interruptible Systems by Statistical Model Checking",
  journal="IEEE Design and Test",
  year="2018",
  volume="35",
  number="2",
  pages="57--63",
  doi="10.1109/MDAT.2017.2766568",
  issn="2168-2356",
  url="http://ieeexplore.ieee.org/document/8082475/"
}
Nahoru