“A Real-Time System Monitoring driven by Scheduling Analysis”
Ada User Journal, 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.
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.