Ada User Journal, 39(4), pp.278-281, December 2018
The increasing usage 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 method, 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.
@article{Rufino18b,
author = "Rufino, Jos\'{e} and Singhoff, Frank and Casimiro, Ant\'{o}nio and Lopes, Ant\'{o}nia and Rubini, St\'{e}phane
and Nicolas, Val\'{e}rie-Anne and Lallali, Mounir and Dridi, Mourad and Boukhobza, Jalil and Allache, Lyes",
title = "NORTH - Non-intrusive Observation and RunTime Verification of Cyber-Physical Systems",
journal = "Ada User Journal",
year = "2018",
abstractURL = "http://www.di.fc.ul.pt/~casim/papers/auj18-NORTH/auj18-NORTH.html",
documentURL = "http://www.di.fc.ul.pt/~casim/papers/auj18-NORTH/auj18-NORTH.pdf",
volume = "39",
number = "4",
pages = "278--281",
month = dec
}