@inbook{1116af37c40b44ec85c6463f42833a2d,
title = "Predictability Issues in Mixed-Criticality Real-Time Systems",
abstract = "Timing predictability is an explicit requirement for many safety-critical real-time systems. In building such systems, this requirement is typically met by establishing, to an appropriate level of assurance, that salient run-time temporal properties of the system being designed can be accurately predicted prior to run-time. But what of real-time systems supporting multiple functionalities that are not all equally critical? In such systems, it may suffice to establish the timing predictability of less critical functionalities to lower levels of assurance than is needed for highly critical functionalities. We examine the implications of this fact on the deterministic modeling of real-time systems, and explore means for exploiting it in order to achieve more resource-efficient implementations of mixed-criticality real-time systems.",
author = "Sanjoy Baruah",
note = "Publisher Copyright: {\textcopyright} 2018, Springer International Publishing AG, part of Springer Nature.",
year = "2018",
doi = "10.1007/978-3-319-95246-8_5",
language = "English",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "77--87",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
}