“A Real-Time System Monitoring driven by Scheduling Analysis”

From Navigators

(Difference between revisions)
Jump to: navigation, search
 
Line 1: Line 1:
{{Publication
{{Publication
|type=article
|type=article
 +
|document=Document for Publication-Rufino18E.pdf
|title=A Real-Time System Monitoring driven by Scheduling Analysis
|title=A Real-Time System Monitoring driven by Scheduling Analysis
|author=Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino,
|author=Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino,
Line 11: Line 12:
This paper presents the overall architecture of a non-intrusive hardware monitor. Configured by the result of a scheduling simulation, the hardware monitor is intended to observe the system execution and raised an alarm in case of divergence. To advance this goal, a first experiment shows the scheduling of two tasks rebuilt from the events collected by the monitor while the Real-Time  Executive for Multiprocessor Systems (RTEMS) operating system scheduler was executing.
This paper presents the overall architecture of a non-intrusive hardware monitor. Configured by the result of a scheduling simulation, the hardware monitor is intended to observe the system execution and raised an alarm in case of divergence. To advance this goal, a first experiment shows the scheduling of two tasks rebuilt from the events collected by the monitor while the Real-Time  Executive for Multiprocessor Systems (RTEMS) operating system scheduler was executing.
|journal=Ada User Journal
|journal=Ada User Journal
 +
|pages=282--286
}}
}}
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.
Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.

Latest revision as of 12:25, 1 May 2019

Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino

Ada User Journal, pp. 282–286, Jun. 2018.

Abstract: Real-time system engineers may introduce task scheduling analysis at the early stage of the design process. System temporal behavior and task schedules are strongly related. The noncompliance to an expected schedule is a symptom of an erroneous state that may result on a serious risk for the system integrity. Spreading the design task model, as a timing reference to guide runtime verification, is a kind of extend to the model driven design paradigm. This paper presents the overall architecture of a non-intrusive hardware monitor. Configured by the result of a scheduling simulation, the hardware monitor is intended to observe the system execution and raised an alarm in case of divergence. To advance this goal, a first experiment shows the scheduling of two tasks rebuilt from the events collected by the monitor while the Real-Time Executive for Multiprocessor Systems (RTEMS) operating system scheduler was executing.

Download paper

Download A Real-Time System Monitoring driven by Scheduling Analysis

Export citation

BibTeX

Project(s): Project:NORTH, Project:COST Action IC1402

Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)

Also as Proceedings of the RUME 2018 - Runtime Verification and Monitoring Technologies for Embedded Systems Workshop.

Personal tools
Navigators toolbox