[Zurück]


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.