[Zurück]


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.