Ingredients for the specification of mixed-criticality real-time systems
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.
Published inProcs IEEE 17th Int Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
RelationsSchool of Computer Science
MetadataShow full item record
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 ...
A path to better healthcare simulation systems : leveraging the integrated systems design approach Scerbo, Mark W.; Murray, W. Bosseau; Alinier, Guillaume; Antonius, Tim; Caird, Jeff; Stricker, Eric; Rice, John; Kyle, Richard (2011-08)This article addresses the necessary steps in the design of simulation-based instructional systems. A model for designing instructional systems is presented which stipulates that the outcome metrics be defined before the ...
Evolving a Lingua Franca and Associated Software Infrastructure for Computational Systems Biology - the Systems Biology Markup Language (SBML) Project Hucka, M.; Finney, A.; Bornstein, B.; Keating, S.; Shapiro, B.E.; Matthews, J.; Kovitz, B.L.; Schilstra, M.; Funahashi, A.; Doyle, J.C.; Kitano, H. (2004)Biologists are increasingly recognising that computational modelling is crucial for making sense of the vast quantities of complex experimental data that are now being collected. The systems biology field needs agreed-upon ...