Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Reinbacher, J. Brauer, D. Schachinger, A. Steininger, S. Kowalewski:
"Automated test-trace inspection for microcontroller binary code";
Vortrag: 2nd International Conference on Runtime Verification (RV 2011),
San Francisco;
27.09.2011
- 30.09.2011; in: "Runtime Verification",
(2011),
S. 239
- 244.
Kurzfassung englisch:
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.
Zugeordnete Projekte:
Projektleitung Andreas Steininger:
Framework für CounterExample Validierung und Testfallgenerierung für die Verifikation von eingebetteter Software
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.