Towards the Design of Certifiable Mixed-criticality Systems

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 dualcriticality systems

• Type: Journal
• Year: 2010
• Where: RTAS
• Authors: Sanjoy K. Baruah, Haohan Li, Leen Stougie
• Keywords: Certification Requirements, Embedded Systems, Interesting Scheduling Problems, RTAS 2010, Systems