Detail publikace

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.
Název česky
Analýza programové správy přerušení pro vestavné systémy prostředky UPPAAL SMC
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Strnadel Josef, Ing., Ph.D. (UPSY)
Riša Michal, Ing.
URL
Klíčová slova

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

Abstrakt

Článek prezentuje novou metodu modelování a analýzy softwarových přístupů určených pro správu přerušení v událostmi řízených vestavných systémech; novost spočívá v použití prostředků, kterými jsou stochastické časované automaty a statistické ověřování modelů. Zmíněné systémy jsou typicky obsahují část určenou k poskytování služby v reálném čase, kterážto musí být garantována i za nepříznivých okolností mezi které patří např. nadměrná frekvence přerušovacích podnětů. Vzhledem k asynchronní povaze přerušovacích podnětů musí být jejich dopad na přerušovaný systém modelován a analyzován velmi pečlivě, a to pro různé scénáře pomocí analytických/formálních metod tak metod statistických vhodných pro stochastická chování. Článek se orientuje na posledně zmíněné metody s cílem demonstrovat styl tohoto způsobu modelování a nastínit jeho využití, na bázi statistického ověřování modelů, pro zjednodušení analýzy systémů za jinak obtížných okolností.

Rok
2016
Strany
45–50
Sborník
Proceedings of the 24th Austrian Workshop on Microelectronics
ISBN
978-1-5090-1040-0
Vydavatel
IEEE Computer Society Press
Místo
Villach
DOI
10.1109/Austrochip.2016.020
UT WoS
000404429300009
EID Scopus
2-s2.0-85013765101
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"
}
Nahoru