Detail publikace
On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC
Č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í.
@INPROCEEDINGS{FITPUB11205, author = "Josef Strnadel and Michal Ri\v{s}a", title = "On Analysis of Software Interrupt Limiters for Embedded Systems by Means of UPPAAL SMC", pages = "45--50", booktitle = "Proceedings of the 24th Austrian Workshop on Microelectronics", year = 2016, location = "Villach, AT", publisher = "IEEE Computer Society Press", ISBN = "978-1-5090-1040-0", doi = "10.1109/Austrochip.2016.020", language = "english", url = "https://www.fit.vut.cz/research/publication/11205" }