[Back]


Talks and Poster Presentations (with Proceedings-Entry):

T. Reinbacher, J. Brauer, D. Schachinger, A. Steininger, S. Kowalewski:
"Automated test-trace inspection for microcontroller binary code";
Talk: 2nd International Conference on Runtime Verification (RV 2011), San Francisco; 2011-09-27 - 2011-09-30; in: "Runtime Verification", (2011), 239 - 244.



English abstract:
This paper presents a non-intrusive framework for runtime verification of executable microcontroller code. A dedicated hardware unit is attached to a microcontroller, which executes the program under scrutiny, to track atomic propositions stated as assertions over program variables. The truth verdicts over the assertions are the inputs to a custom-designed CPU unit that evaluates past-time LTL specifications in parallel to program execution. To achieve this, the instruction set of the CPU is tailored to determining satisfaction of specifications.


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


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