2026-08-17T09:43:17Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10892 2024-03-06T10:30:42Z ddc:004 open_access

Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures Atchadam, Ill-ham Singhoff, Frank Tran, Hai Nam Bouzid, Noura Lemarchand, Laurent MILS (Multi Independent Levels of Security) RTCS (Real-Time Critical Systems) Security architecture and models Scheduling analysis Security analysis Real-time critical systems have to comply with stringent timing constraints, otherwise, disastrous consequences can occur at runtime. A large effort has been made to propose models and tools to verify timing constraints by schedulability analysis at the early stages of system designs. Fewer efforts have been made on verifying the security properties in these systems despite the fact that sinister consequences can also happen if these properties are compromised. In this article, we investigate how to jointly verify security and timing constraints. We show how to model a security architecture (MILS) and how to verify both timing constraints and security properties. Schedulability is investigated by the mean of scheduling analysis methods implemented into the Cheddar scheduling analyzer. Experiments are conducted to show the impact that improving security has on the schedulability analysis. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ill-ham Atchadam and Frank Singhoff and Hai Nam Tran and Noura Bouzid and Laurent Lemarchand 2019 Is Part Of OASIcs, Volume 73, 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.CERTS.2019.1 urn:nbn:de:0030-drops-108922 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019.1 eng https://creativecommons.org/licenses/by/3.0/legalcode