Browse wiki

From Navigators

Jump to: navigation, search
Abstract The increase use of autonomous vehicles an 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. lly all (critical) 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 +
Document Document for Publication-Rufino18D.pdf +
Journal Ada User Journal  +
Key Rufino18D  +
Month jun  +
NumPubDate 2,018.06  +
Pages 278–281  +
Project Project:NORTH + , Project:COST Action IC1402 +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems  +
Type article  +
Year 2018  +
Has improper value forThis property is a special property in this wiki. Url  +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 1 May 2019 12:24:08  +
hide properties that link here 
  No properties link to this page.


Enter the name of the page to start browsing from.
Personal tools
Navigators toolbox