Publication:Pinto2014INForum
From Navigators
(Difference between revisions)
m |
|||
| Line 10: | Line 10: | ||
|abstract=Software execution monitoring in embedded systems can be | |abstract=Software execution monitoring in embedded systems can be | ||
performed with different purposes, ranging from system characterization | performed with different purposes, ranging from system characterization | ||
| - | to run-time verification (RV). Traditional RV techniques require the | + | 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- | execution of the system - both in performance and timeliness. In real- | ||
time systems this overhead is exarcebated by the need of new worst-case | time systems this overhead is exarcebated by the need of new worst-case | ||
| Line 21: | Line 20: | ||
mentation. | mentation. | ||
|address=Porto, Portugal | |address=Porto, Portugal | ||
| - | | | + | |howpublished=Comunicação na Sessão de Sistemas Embebidos e de Tempo-Real do 6º Simpósio de Informática (INForum 2014) |
|pages=1-14 | |pages=1-14 | ||
}} | }} | ||
Revision as of 15:06, 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 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.
Download paper
Download Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems
Export citation
Project(s): Project:READAPT, Project:KARYON
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
