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 +
|