Towards the design of certifiable mixed-criticality systems

S. Baruah, H. Li, L. Stougie

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

Abstract

Many safety-critical embedded systems are subject to certification requirements; some systems may be required to meet multiple sets of certification requirements, from different certification authorities. Certification requirements in such "mixed-criticality" systems give rise to some interesting scheduling problems, that cannot be satisfactorily addressed using techniques from conventional scheduling theory. In this paper, we propose a formal model for representing such mixed-criticality workloads. We demonstrate the intractability of determining whether a system specified in this model can be scheduled to meet all its certification requirements. For dual-criticality systems-systems subject to two sets of certification requirements-we quantify, via the metric of processor speedup factor, the effectiveness of 2 techniques (reservation-based scheduling and priority-based scheduling) that are widely used in scheduling such mixed-criticality systems. © 2010 IEEE.
Original languageEnglish
Title of host publicationProceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium
Place of PublicationStockholm
PublisherIEEE
Pages13-22
DOIs
Publication statusPublished - 2010
Event16th IEEE Real-Time and Embedded Technology and Applications Symposium, Stockholm, Sweden - Stockholm
Duration: 12 Apr 201015 Apr 2010

Conference

Conference16th IEEE Real-Time and Embedded Technology and Applications Symposium, Stockholm, Sweden
Period12/04/1015/04/10

Fingerprint Dive into the research topics of 'Towards the design of certifiable mixed-criticality systems'. Together they form a unique fingerprint.

  • Cite this

    Baruah, S., Li, H., & Stougie, L. (2010). Towards the design of certifiable mixed-criticality systems. In Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium (pp. 13-22). IEEE. https://doi.org/10.1109/RTAS.2010.10