Publication:Pinto2014INForum
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=booklet |title=Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems |author=Ricardo Correia Pinto, José Rufino, |ResearchLine=Timeliness a...") |
|||
Line 2: | Line 2: | ||
|type=booklet | |type=booklet | ||
|title=Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems | |title=Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems | ||
- | |author=Ricardo Correia Pinto, José Rufino, | + | |author=Ricardo Correia Pinto, José Rufino, |
+ | |Project=Project:READAPT, Project:KARYON, | ||
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=sep | |month=sep |
Revision as of 14:59, 29 May 2015
Abstract: 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 in- trumentation 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.
Export citation
Project(s): Project:READAPT, Project:KARYON
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)