License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.CERTS.2019.1
URN: urn:nbn:de:0030-drops-108922
URL: https://drops.dagstuhl.de/opus/volltexte/2019/10892/
Go to the corresponding OASIcs Volume Portal


Atchadam, Ill-ham ; Singhoff, Frank ; Tran, Hai Nam ; Bouzid, Noura ; Lemarchand, Laurent

Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures

pdf-format:
OASIcs-CERTS-2019-1.pdf (0.5 MB)


Abstract

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.

BibTeX - Entry

@InProceedings{atchadam_et_al:OASIcs:2019:10892,
  author =	{Ill-ham Atchadam and Frank Singhoff and Hai Nam Tran and Noura Bouzid and Laurent Lemarchand},
  title =	{{Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures}},
  booktitle =	{4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)},
  pages =	{1:1--1:12},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-119-1},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{73},
  editor =	{Mikael Asplund and Michael Paulitsch},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10892},
  URN =		{urn:nbn:de:0030-drops-108922},
  doi =		{10.4230/OASIcs.CERTS.2019.1},
  annote =	{Keywords: MILS (Multi Independent Levels of Security), RTCS (Real-Time Critical Systems), Security architecture and models, Scheduling analysis, Security analy}
}

Keywords: MILS (Multi Independent Levels of Security), RTCS (Real-Time Critical Systems), Security architecture and models, Scheduling analysis, Security analy
Collection: 4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)
Issue Date: 2019
Date of publication: 29.07.2019


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI