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 ...
Transparent Food Project Deliverable 5.1: Report drawn from data collection and review and stakeholder participant workshops on the breadth and range of certification systems and labelling schemes signalling information to consumers and the strengths and weaknesses of these systems and signals Barling, David; Simpson, D. (University of Bonn, 2010)
Bouhamida, Mohamed; Denai, Mouloud (1998)