Load-based schedulability analysis of certifiable mixed-criticality systems
EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Scheduling real-time mixed-criticality jobs
MFCS'10 Proceedings of the 35th international conference on Mathematical foundations of computer science
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Analysis and optimization of fault-tolerant task scheduling on multiprocessor embedded systems
CODES+ISSS '11 Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Mixed-criticality scheduling of sporadic task systems
ESA'11 Proceedings of the 19th European conference on Algorithms
Timing faults and mixed criticality systems
Dependable and Historic Computing
On Resource Overbooking in an Unmanned Aerial Vehicle
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Overload provisioning in mixed-criticality cyber-physical systems
ACM Transactions on Embedded Computing Systems (TECS)
Synthesis of communication schedules for TTEthernet-based mixed-criticality systems
Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
Semantics-preserving implementation of multirate mixed-criticality synchronous programs
Proceedings of the 20th International Conference on Real-Time and Network Systems
An elastic mixed-criticality task model and its scheduling algorithm
Proceedings of the Conference on Design, Automation and Test in Europe
Multi-mode monitoring for mixed-criticality real-time systems
Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis
Scheduling of mixed-criticality applications on resource-sharing multicore systems
Proceedings of the Eleventh ACM International Conference on Embedded Software
Multi-layered scheduling of mixed-criticality cyber-physical systems
Journal of Systems Architecture: the EUROMICRO Journal
Implementation and evaluation of mixed-criticality scheduling approaches for sporadic tasks
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |
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.