Abstract
|
Software execution monitoring in embedded … Software execution monitoring in embedded systems can be
performed with different purposes, ranging from system characterization
to run-time verification (RV). Traditional RV techniques require the intrumentation of the code for monitoring, which brings an overhead to the
execution of the system - both in performance and timeliness. In real-
time systems this overhead is exarcebated by the need of new worst-case
execution time estimation and schedulability analysis.
In this paper we show how non-intrusive monitoring mechanisms can be
exploited to support Run-time Verification (RV) in real-time embedded
systems, thus allowing run-time verification without the need for code
instrumentation and therefore negating the penalties incurred by instru-
mentation. e penalties incurred by instru-
mentation.
|
Address
|
Porto, Portugal +
|
Author
|
Ricardo Correia Pinto +
, José Rufino +
|
Booktitle
|
Communication at the Embedded and Real-Time Systems Session of the 6th Simpósio de Informática (INForum) +
|
Document
|
Pinto2014INForum.pdf +
|
Key
|
Pinto2014INForum +
|
Month
|
sep +
|
NumPubDate
|
2,014.09 +
|
Pages
|
1–1 +
|
Project
|
Project:READAPT +
, Project:KARYON +
|
ResearchLine
|
Timeliness and Adaptation in Dependable Systems (TADS) +
|
Title
|
Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems +
|
Type
|
inproceedings +
|
Year
|
2014 +
|
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.
|
23 July 2015 02:26:16 +
|