Notice
This item was automatically migrated from a legacy system. It's data has not been checked and might not meet the quality criteria of the present system.
Reinbacher, T., Horauer, M., & Steininger, A. (2012). A Runtime Verification Unit for Microcontrollers. In System, Software, SoC and Silicon Debug Conference (S4D), 2012 (pp. 1–6). http://hdl.handle.net/20.500.12708/54566
E191-02 - Forschungsbereich Embedded Computing Systems
-
Published in:
System, Software, SoC and Silicon Debug Conference (S4D), 2012
-
Date (published):
2012
-
Event name:
System, Software, SoC and Silicon Debug Conference (S4D), 2012
-
Event date:
19-Sep-2012 - 20-Sep-2012
-
Event place:
Vienna, Austria, Austria
-
Number of Pages:
6
-
Peer reviewed:
Yes
-
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.
en
Project title:
CounterExample Validation and Test Case Generation Framework for Verifiying Embedded Software (FFG - Österr. Forschungsförderungs- gesellschaft mbH)
