Browse wiki

From Navigators

Jump to: navigation, search
Abstract The increasing development in cyber-physic 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. m the CPS software components binary code.
Address Lisboa, Portugal  +
Author Inês Gouveia + , José Rufino +
Booktitle Proc. INForum 2016, 8º Simpósio de Informática - Poster Sessions  +
Document Document for Publication-Gouveia-2016-INForum-Poster.pdf +
Key Gouveia-2016-INForum-Poster  +
Month sep  +
NumPubDate 2,016.09  +
Pages 1–2  +
Project Project:COST Action IC1402 + , Project:NORTH +
ResearchLine Timeliness and Adaptation in Dependable Systems (TADS) +
Title Non-intrusive runtime verification of embedded software  +
Type inproceedings  +
Year 2016  +
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. 26 July 2017 20:49:31  +
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