“NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=article |title=NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems |author=José Rufino, António Casimiro, Antónia Lopes, F...") |
|||
| Line 1: | Line 1: | ||
{{Publication | {{Publication | ||
|type=article | |type=article | ||
| + | |document=Document for Publication-Rufino18D.pdf | ||
|title=NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems | |title=NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems | ||
|author=José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache | |author=José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache | ||
| - | |Project=Project:NORTH, Project:COST Action IC1402, | + | |Project=Project:NORTH, Project:COST Action IC1402, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=jun | |month=jun | ||
| Line 11: | Line 12: | ||
This paper aims at advancing the state-of-art in RV techniques by presenting an innovative research observation and runtime verification methods, supported in non-intrusive monitoring machinery. The negative effects of traditional techniques (ranging from function call interception to source code annotation with observation points) are avoided, making this novel approach relevant to virtually all (critical) cyber-physical systems. | This paper aims at advancing the state-of-art in RV techniques by presenting an innovative research observation and runtime verification methods, supported in non-intrusive monitoring machinery. The negative effects of traditional techniques (ranging from function call interception to source code annotation with observation points) are avoided, making this novel approach relevant to virtually all (critical) cyber-physical systems. | ||
|journal=Ada User Journal | |journal=Ada User Journal | ||
| + | |pages=278--281 | ||
}} | }} | ||
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop. | Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop. | ||
Latest revision as of 12:24, 1 May 2019
José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache
Ada User Journal, pp. 278–281, Jun. 2018.
Abstract: The increase use of autonomous vehicles and other cyber-physical systems has motivated the adoption of Runtime Verification (RV) techniques for embedded systems. This stems from the criticality of such systems, which call for the assurance of correct operation, both on value and time domains. However, traditional RV techniques (mostly based on code instrumentation) may inevitably pose significant overheads, both in performance and timeliness, due to their inherent intrusiveness, which make them clearly unfit for critical systems. This paper aims at advancing the state-of-art in RV techniques by presenting an innovative research observation and runtime verification methods, supported in non-intrusive monitoring machinery. The negative effects of traditional techniques (ranging from function call interception to source code annotation with observation points) are avoided, making this novel approach relevant to virtually all (critical) cyber-physical systems.
Download paper
Download NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems
Export citation
Project(s): Project:NORTH, Project:COST Action IC1402
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.
