Talks and Poster Presentations (with Proceedings-Entry):

T. Reinbacher, M. Horauer, A. Steininger:
"A Runtime Verification Unit for Microcontrollers";
Talk: System, Software, SoC and Silicon Debug Conference (S4D), 2012, Vienna, Austria; 2012-09-19 - 2012-09-20; in: "System, Software, SoC and Silicon Debug Conference (S4D), 2012", (2012), ISSN: 2114-3684; 1 - 6.

English abstract:
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.

Related Projects:
Project Head Andreas Steininger:
Framework für CounterExample Validierung und Testfallgenerierung für die Verifikation von eingebetteter Software

Created from the Publication Database of the Vienna University of Technology.