Detail výsledku

On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC

STRNADEL, J.; RIŠA, M. On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC. In Proceedings of the 24th Austrian Workshop on Microelectronics. Villach: IEEE Computer Society Press, 2016. p. 45-50. ISBN: 978-1-5090-1040-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Strnadel Josef, Ing., Ph.D., UPSY (FIT)
Riša Michal, Ing.
Abstrakt

The paper deals with a novel method of modeling and analysis ofsoftware interrupt managers for event-driven embedded systemsby means of the stochastic timed automata and statistical model checking instruments.The above-mentioned system is typically formed of a real-time part expected to produce correct responses and meet all predetermined timing constraints at runtime, even in adverse conditions such as an excessive rate of events caused by interrupts. Because of the asynchronnous nature of interrupts, their impact to the system being interrupted must be modeled and analyzed very carefully for various interrupt scenarios - either using classical analytical/formal approaches able to cover systems and interrupts with deterministic behavior or using probablistic ones able to deal with a stochastic behavior too. The paper is focused to the latter (probabilistic) approaches to show a style of such a modeling and show how and that both the analysis phase of a system can be facilitated and the information about a system behavior under particular configuration/scenarioscan be produced using the statistical model checking instruments.

Klíčová slova

interrupt management, interrupt overload problem, software interrupt limiter, modeling, analysis, stochastic timed automata, statistical model checking

URL
Rok
2016
Strany
45–50
Sborník
Proceedings of the 24th Austrian Workshop on Microelectronics
Konference
24th Austrian Workshop on Microelectronics
ISBN
978-1-5090-1040-0
Vydavatel
IEEE Computer Society Press
Místo
Villach
DOI
UT WoS
000404429300009
EID Scopus
BibTeX
@inproceedings{BUT130996,
  author="Josef {Strnadel} and Michal {Riša}",
  title="On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC",
  booktitle="Proceedings of the 24th Austrian Workshop on Microelectronics",
  year="2016",
  pages="45--50",
  publisher="IEEE Computer Society Press",
  address="Villach",
  doi="10.1109/Austrochip.2016.020",
  isbn="978-1-5090-1040-0",
  url="http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=7814012"
}
Soubory
Projekty
Architektury paralelních a vestavěných počítačových systémů, VUT, Vnitřní projekty VUT, FIT-S-14-2297, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
IT4Innovations excellence in science, MŠMT, Národní program udržitelnosti II, LQ1602, zahájení: 2016-01-01, ukončení: 2020-12-31, ukončen
Výzkumné skupiny
Pracoviště
Nahoru