University of Hertfordshire

By the same authors

Ingredients for the specification of mixed-criticality real-time systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Ingredients for the specification of mixed-criticality real-time systems. / Kirner, Raimund.

Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing: ISORC 2014. Institute of Electrical and Electronics Engineers Inc., 2014. p. 269-275 6899159.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Kirner, R 2014, Ingredients for the specification of mixed-criticality real-time systems. in Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing: ISORC 2014., 6899159, Institute of Electrical and Electronics Engineers Inc., pp. 269-275, 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014, Reno, United States, 9/06/14. https://doi.org/10.1109/ISORC.2014.40

APA

Kirner, R. (2014). Ingredients for the specification of mixed-criticality real-time systems. In Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing: ISORC 2014 (pp. 269-275). [6899159] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ISORC.2014.40

Vancouver

Kirner R. Ingredients for the specification of mixed-criticality real-time systems. In Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing: ISORC 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 269-275. 6899159 https://doi.org/10.1109/ISORC.2014.40

Author

Kirner, Raimund. / Ingredients for the specification of mixed-criticality real-time systems. Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing: ISORC 2014. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 269-275

Bibtex

@inproceedings{8947905160964281b65177d629eb913d,
title = "Ingredients for the specification of mixed-criticality real-time systems",
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.",
keywords = "mixed-criticality systems, real-time systems, scheduling, system requirements, system utility optimisation",
author = "Raimund Kirner",
year = "2014",
month = sep,
day = "15",
doi = "10.1109/ISORC.2014.40",
language = "English",
isbn = "9781479944309",
pages = "269--275",
booktitle = "Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
note = "17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014 ; Conference date: 09-06-2014 Through 12-06-2014",

}

RIS

TY - GEN

T1 - Ingredients for the specification of mixed-criticality real-time systems

AU - Kirner, Raimund

PY - 2014/9/15

Y1 - 2014/9/15

N2 - 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.

AB - 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.

KW - mixed-criticality systems

KW - real-time systems

KW - scheduling

KW - system requirements

KW - system utility optimisation

U2 - 10.1109/ISORC.2014.40

DO - 10.1109/ISORC.2014.40

M3 - Conference contribution

AN - SCOPUS:84941268924

SN - 9781479944309

SP - 269

EP - 275

BT - Procs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014

Y2 - 9 June 2014 through 12 June 2014

ER -