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;
09-27-2011
- 09-30-2011; 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 für CounterExample Validierung und Testfallgenerierung für die Verifikation von eingebetteter Software
Created from the Publication Database of the Vienna University of Technology.