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;
09-19-2012
- 09-20-2012; 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.