[ main page ] [ back ]

31/2012 : A Runtime Verification Unit for Microcontrollers

RR Number
31/2012
Conference
System, Software, SoC and Silicon Debug Conference (S4D 2012)
Author(s)
Thomas Reinbacher, Martin Horauer, Andreas Steininger
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.
Bibtex
@article{ reinbacher:2012-31,
  author =       "Thomas Reinbacher and Martin Horauer and Andreas Steininger",
  title =        "A Runtime Verification Unit for Microcontrollers",
  journal =      "System, Software, SoC and Silicon Debug Conference (S4D 2012)",
  year =         "2012",
  month =        "Sep."
}
Download

[ main page ] [ back ]