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
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 ...
Dalcher, Darren (IEEE COMPUTER SOC, 2003)Trust is easier to destroy than create, hence, trust in overly applied automation may erode following accidents. This paper looks at the crash of a revolutionary supersonic fighter that resulted from over-reliance on ...
Design and characterisation of a novel in vitro skin diffusion cell system for assessing mass casualty decontamination systems Matar, H.; Larner, J.; Kansagra, S.; Atkinson, K. L.; Skamarauskas, J. T.; Amlot, R.; Chilcott, Robert (2014-06-30)The efficient removal of contaminants from the outer surfaces of the body can provide an effective means of reducing adverse health effects associated with incidents involving the accidental or deliberate release of hazardous ...