“Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |document=Document for Publication-Pinto2014EWiLi14-Poster.pdf |title=Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating System...") |
|||
| Line 3: | Line 3: | ||
|document=Document for Publication-Pinto2014EWiLi14-Poster.pdf | |document=Document for Publication-Pinto2014EWiLi14-Poster.pdf | ||
|title=Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems | |title=Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems | ||
| - | |author=Ricardo Correia Pinto, José Rufino, | + | |author=Ricardo Correia Pinto, José Rufino, |
| - | |Project=Project:READAPT, | + | |Project=Project:READAPT, |
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | |ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS) | ||
|month=nov | |month=nov | ||
| Line 18: | Line 18: | ||
|address=Lisbon, Portugal | |address=Lisbon, Portugal | ||
|booktitle=Proceedings of the 4th Embedded Operating Systems Workshop (EWiLi 2014) | |booktitle=Proceedings of the 4th Embedded Operating Systems Workshop (EWiLi 2014) | ||
| - | |||
|pages=2 pages | |pages=2 pages | ||
}} | }} | ||
| + | (Presented at the Poster Session) | ||
Revision as of 13:03, 29 May 2015
Ricardo Correia Pinto, José Rufino
in Proceedings of the 4th Embedded Operating Systems Workshop (EWiLi 2014), Lisbon, Portugal, Nov. 2014, pp. 2 pages.
Abstract: Monitoring in embedded system software can have several uses, ranging from system characterization to run-time verification (RV). Traditional monitoring techniques require code instrumentation, imposing an overhead on system execution both in performance and timeliness. In real-time systems this is exarcebated by the need of new worst-case execution time estimation and schedulability analysis. In this paper we discuss how monitoring can be exploited in real-time em- bedded operating systems, via non-intrusive mechanisms.
Download paper
Download Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems
Export citation
Project(s): Project:READAPT
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)
(Presented at the Poster Session)
