HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies

Blandine Djika Frank Singhoff 1 Alain Plantec 1 Georges Kouamou
1 Lab-STICC_SHAKER - Equipe Software/HArdware and unKnown Environment inteRactions
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance : UMR6285
Abstract : This paper deals with scheduling anomalies in real-time systems. Scheduling anomalies jeopardize schedulability analysis made prior to execution. In this paper, we propose a model to specify conditions leading to scheduling anomalies. A scheduling anomaly is modeled as a set of constraints on the architecture. We use this model to detect scheduling anomalies by offline and online analysis. To validate our approach, we implemented the approach as an extension to Cheddar, a schedulability tool. We apply our approach to seven scheduling anomalies and we show that most of these anomalies can be successfully detected.
Document type :
Conference papers
Complete list of metadata

Contributor : Frank Singhoff Connect in order to contact the contributor
Submitted on : Wednesday, November 10, 2021 - 3:28:43 PM
Last modification on : Monday, April 4, 2022 - 9:28:31 AM


  • HAL Id : hal-03361920, version 1


Blandine Djika, Frank Singhoff, Alain Plantec, Georges Kouamou. Work-In-Progress: Models and tools to detect Real-Time Scheduling Anomalies. Brief presentation at the 42nd IEEE Real-Time Systems Symposium (RTSS), Dec 2021, Dortmund, Germany. ⟨hal-03361920⟩



Record views