Browse wiki

From Navigators

Jump to: navigation, search
Publication:Pinto2014INForum
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  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox
Navigators toolbox