Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Reinbacher, J. Brauer, M. Horauer, A. Steininger, S. Kowalewski:
"Past time LTL runtime verification for microcontroller binary code";
Vortrag: FMICS 2011,
Trento;
29.08.2011
- 30.08.2011; in: "Formal Methods for Industrial Critical Systems",
Springer Berlin / Heidelberg,
(2011),
ISBN: 978-3-642-24430-8;
S. 37
- 51.
Kurzfassung englisch:
This paper presents a method for runtime verification of microcontroller binary code based on past time linear temporal logic (ptLTL). We show how to implement a framework that, owing to a dedicated hardware unit, does not require code instrumentation, thus, allowing the program under scrutiny to remain unchanged. Furthermore, we demonstrate techniques for synthesizing the hardware and software units required to monitor the validity of ptLTL specifications.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-24431-5_5
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.