Abstract
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. © 2011 Springer-Verlag.
Cite
CITATION STYLE
Reinbacher, T., Brauer, J., Horauer, M., Steininger, A., & Kowalewski, S. (2011). Past time LTL runtime verification for microcontroller binary code. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6959 LNCS, pp. 37–51). https://doi.org/10.1007/978-3-642-24431-5_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
