Ingredients for the specification of mixed-criticality real-time systems
Author
Kirner, Raimund
Attention
2299/16744
Abstract
Models for real-time computing are available with different timing requirements. With the ongoing trend towards integration of services of different degrees of timing strictness on one single platform, there is a need to specify computing models for such scenarios. In this paper we study the requirements to specify mixed criticality real-time systems (MCRTS). Mixed criticality systems have been studied intensively over the last years. Existing formulations of the scheduling problem for mixed criticality systems do not consider the different timing strictness requirements of the tasks. In this paper we argue that mixed criticality properties as well as real-time properties have to be considered together in order to provide the maximal utility of a system. Based on that argument we present a list of ingredients required for the specification of MCRTS. We outline conceptually, how a system can take advantage of having MCRTS specifications available. We present some examples to show the usefulness of specifying MCRTS properties for real-life systems.
Publication date
2014-09-15Published in
Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed ComputingPublished version
https://doi.org/10.1109/ISORC.2014.40Other links
http://hdl.handle.net/2299/16744Metadata
Show full item recordRelated items
Showing items related by title, author, creator and subject.
-
Early childhood bilingualism : a study of the development of the noun phrase in Bosnian and English in light of the 'single system' and the 'separate system' hypotheses
Karanović, Vanja (University of Hertfordshire, 2003)This longitudinal study investigates the morphosyntactic development of the noun phrase in two young Bosnian/English bilingual children (both girls, aged 1.8 to 2.4). as well as their pragmatic development, in light of ... -
Secure Bluetooth Communication in Smart Healthcare Systems: A Novel Community Dataset and Intrusion Detection System †
Zubair, Mohammed; Ghubaish, Ali; Unal, Devrim; Al-Ali, Abdulla; Reimann, Thomas; Alinier, Guillaume; Hammoudeh, Mohammad; Qadir, Junaid (2022-10-28)Smart health presents an ever-expanding attack surface due to the continuous adoption of a broad variety of Internet of Medical Things (IoMT) devices and applications. IoMT is a common approach to smart city solutions that ... -
Performance of wide-area power system stabilizers during major system upsets: investigation and proposal of solutions
Benasla, Mokhtar; Denai, Mouloud; Liang, Jun; Allaoui, Tayeb; Brahami, Mostefa (2021-01-03)Wide-area damping controllers (WADCs) are effective means of improving the damping of inter-area oscillations and thereby ensuring a secure operation of modern highly stressed interconnected power systems; however, their ...