“Non-intrusive runtime verification of embedded software”
From Navigators
(Difference between revisions)
| Line 4: | Line 4: | ||
|title=Non-intrusive runtime verification of embedded software | |title=Non-intrusive runtime verification of embedded software | ||
|author=Inês Gouveia, José Rufino, | |author=Inês Gouveia, José Rufino, | ||
| - | |Project=Project:COST Action IC1402, Project:NORTH, | + | |Project=Project:COST Action IC1402, Project:NORTH, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=sep | |month=sep | ||
| Line 10: | Line 10: | ||
|abstract=The increasing development in cyber-physical systems (CPS) has lead to new concerns regarding performance, safety and security, while ensuring timeliness requisites are met. Conventional runtime verification approaches tend to resort to code instrumentation among other intrusive methodologies, afecting the CPS timing characteristics. As such, by taking advantage of reconfigurable logic technologies, we introduce a hardware-based non-intrusive observer entity that is configurable by means of observation points of interest extracted directly from the CPS software components binary code. | |abstract=The increasing development in cyber-physical systems (CPS) has lead to new concerns regarding performance, safety and security, while ensuring timeliness requisites are met. Conventional runtime verification approaches tend to resort to code instrumentation among other intrusive methodologies, afecting the CPS timing characteristics. As such, by taking advantage of reconfigurable logic technologies, we introduce a hardware-based non-intrusive observer entity that is configurable by means of observation points of interest extracted directly from the CPS software components binary code. | ||
|address=Lisboa, Portugal | |address=Lisboa, Portugal | ||
| - | |booktitle=Proc. | + | |booktitle=Proc. IINForum'2016, 8º Simpósio de Informática - Poster Sessions |
|pages=1-2 | |pages=1-2 | ||
}} | }} | ||
Revision as of 20:46, 26 July 2017
in Proc. IINForum'2016, 8º Simpósio de Informática - Poster Sessions, Lisboa, Portugal, Sept. 2016, pp. 1–2.
Abstract: The increasing development in cyber-physical systems (CPS) has lead to new concerns regarding performance, safety and security, while ensuring timeliness requisites are met. Conventional runtime verification approaches tend to resort to code instrumentation among other intrusive methodologies, afecting the CPS timing characteristics. As such, by taking advantage of reconfigurable logic technologies, we introduce a hardware-based non-intrusive observer entity that is configurable by means of observation points of interest extracted directly from the CPS software components binary code.
Download paper
Download Non-intrusive runtime verification of embedded software
Export citation
Project(s): Project:COST Action IC1402, Project:NORTH
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
