2026-09-18T20:59:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:25925 2026-09-05T19:32:51Z ddc:004 open_access

A Flexible Ada Framework for Jitter-Sensitive Mixed-Criticality Real-Time Systems Sáez Barona, Sergio Real Sáez, Jorge Real-time systems Time-triggered scheduling Mixed-criticality systems Ravenscar tasking profile High-integrity systems Embedded systems Real-time systems often require combining time-triggered (TT) and event-triggered (ET) execution models to balance predictability and flexibility. Previous work proposed a unified framework supporting both paradigms, enabling the integration of jitter-sensitive activities within a static TT schedule while preserving the responsiveness of ET execution. However, that framework did not address the requirements of mixed-criticality systems (MCS), where tasks may exhibit different execution-time assumptions depending on the system criticality level. This paper extends the original framework, designed for Ada under the Ravenscar profile, to support mixed-criticality workloads. First, the task model is enhanced to incorporate multiple execution-time estimates per job, allowing tasks to adapt their behaviour across criticality levels, including the possibility of selectively disabling jobs. Second, the TT scheduling model is extended to support criticality-aware execution, introducing adaptive slot durations, application-level overrun handling, and mechanisms to control the system criticality level at run time. Third, the framework preserves the semantic consistency of multi-frame tasks under criticality-level changes by defining a clear separation between system-wide and task-local criticality. Additionally, the mode-change mechanism is extended to support timed mode changes, enabling precise control over plan transitions and facilitating synchronisation across distributed schedules. The proposed approach maintains the predictability of TT execution while providing the flexibility required to support mixed-criticality behaviour. An execution example illustrates the applicability of the framework and the interaction between its main components. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Sergio Sáez Barona and Jorge Real Sáez 2026 Is Part Of OASIcs, Volume 143, 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.AEiC.2026.7 urn:nbn:de:0030-drops-259253 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.AEiC.2026.7 eng https://creativecommons.org/licenses/by/4.0/legalcode