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),
- 2011-09-30; in: "Runtime Verification",
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.
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.