Availability enhancement and analysis for mixed-criticality systems on multi-core

Roberto Medina, Etienne Borde, Laurent Pautet

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

In the critical systems domain, Mixed Criticality Systems (MCS) improve considerably the usage of computation resources by running tasks with different levels of criticality on multi-core processors. To ensure the safety of MCS, services provided by low criticality tasks are degraded or stopped whenever high criticality tasks need more computation time than initially credited. The evaluation of this degradation is hardly considered in the literature although low criticality services are of prime importance for the quality of service (QoS) of critical systems. In this paper, we propose a method to evaluate the availability of low criticality services, i.e. how often these services are delivered in MCS. We also propose a task model that improves this availability, demonstrated thanks to our evaluation method on an illustrative example of MCS.

Original languageEnglish
Title of host publicationProceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages1271-1276
Number of pages6
ISBN (Electronic)9783981926316
DOIs
Publication statusPublished - 19 Apr 2018
Externally publishedYes
Event2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018 - Dresden, Germany
Duration: 19 Mar 201823 Mar 2018

Publication series

NameProceedings of the 2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Volume2018-January

Conference

Conference2018 Design, Automation and Test in Europe Conference and Exhibition, DATE 2018
Country/TerritoryGermany
CityDresden
Period19/03/1823/03/18

Fingerprint

Dive into the research topics of 'Availability enhancement and analysis for mixed-criticality systems on multi-core'. Together they form a unique fingerprint.

Cite this