Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Reinbacher, M. Horauer, A. Steininger:
"A Runtime Verification Unit for Microcontrollers";
Vortrag: System, Software, SoC and Silicon Debug Conference (S4D), 2012,
Vienna, Austria;
19.09.2012
- 20.09.2012; in: "System, Software, SoC and Silicon Debug Conference (S4D), 2012",
(2012),
ISSN: 2114-3684;
S. 1
- 6.
Kurzfassung englisch:
In this paper, we advocate the idea of a runtime verification unit that complements the standard concept of a watchdog unit commonly employed on a microcontroller. Such a unit provides ways to trigger counter-measures by more expressive conditions than typical watchdog conditions, such as propositions stated in temporal logics. We show a possible application of this unit in a case study where we apply our approach to a real-life example.
Zugeordnete Projekte:
Projektleitung Andreas Steininger:
Framework für CounterExample Validierung und Testfallgenerierung für die Verifikation von eingebetteter Software
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.