ABSTRACT
We consider in this paper fault-tolerant mixed-criticality scheduling, where heterogeneous safety guarantees must be provided to functionalities (tasks) of varying criticalities (importances). We model explicitly the safety requirements for tasks of different criticalities according to safety standards, assuming hardware transient faults. We further provide analysis techniques to bound the effects of task killing and service degradation on the system safety and schedulability. Based on our model and analysis, we show that our problem can be converted to a conventional mixed-criticality scheduling problem. Thus, we broaden the scope of applicability of the conventional mixed-criticality scheduling techniques. Our proposed techniques are validated with a realistic flight management system application and extensive simulations.
- RTCA/DO-178B, Software Considerations in Airborne Systems and Equipment Certification, 1992.Google Scholar
- P. Axer, M. Sebastian, and R. Ernst. Reliability analysis for mpsocs with mixed-critical, hard real-time constraints. CODES+ISSS, 2011. Google ScholarDigital Library
- S. Baruah, V. Bonifaci, G. D'Angelo, H. Li, A. Marchetti-Spaccamela, S. van der Ster, and L. Stougie. The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In ECRTS, 2012. Google ScholarDigital Library
- S. Baruah and S. Vestal. Schedulability analysis of sporadic tasks with multiple criticality specifications. In ECRTS, 2008. Google ScholarDigital Library
- C. Bolchini and A. Miele. Reliability-driven system-level synthesis for mixed-critical embedded systems. 2012.Google Scholar
- S. Brown. Overview of iec 61508. design of electrical/electronic/programmable electronic safety-related systems. Computing & Control Engineering Journal, 2000.Google ScholarCross Ref
- A. Burns and R. Davis. Mixed criticality systems-a review. 2013.Google Scholar
- A. Burns, R. Davis, and S. Punnekkat. Feasibility analysis of fault-tolerant real-time task sets. In Real-Time Systems, 1996.Google Scholar
- P. Ekberg and W. Yi. Bounding and shaping the demand of mixed-criticality sporadic tasks. In ECRTS, 2012. Google ScholarDigital Library
- J. Huang, J. Blech, A. Raabe, C. Buckl, and A. Knoll. Reliability-aware design optimization for multiprocessor embedded systems. In DSD, 2011. Google ScholarDigital Library
- J. Huang, A. Raabe, K. Huang, C. Buckl, and A. Knoll. A framework for reliability-aware design exploration on mpsoc based systems. Design Automation for Embedded Systems, 2013.Google Scholar
- P. Huang, G. Giannopoulou, N. Stoimenov, and L. Thiele. Service adaptions for mixed-criticality systems. In Design Automation Conference (ASP-DAC), Jan 2014.Google ScholarCross Ref
- P. Huang, H. Yang, and L. Thilele. On the scheduling of fault-tolerant mixed-criticality systems. Technical Report 351, ETH Zurich, Laboratory TIK, Dec 2013.Google Scholar
- V. Izosimov, P. Pop, P. Eles, and Z. Peng. Design optimization of time- and cost-constrained fault-tolerant distributed embedded systems. In DATE, 2005. Google ScholarDigital Library
- A. Jhumka, S. Klaus, and S. Huss. A dependability-driven system-level design approach for embedded systems. In DATE, 2005. Google ScholarDigital Library
- J. C. Knight. Safety critical systems: challenges and directions. In Software Engineering, 2002. ICSE 2002. Proceedings of the 24rd International Conference on, 2002. Google ScholarDigital Library
- H. Li and S. Baruah. Load-based schedulability analysis of certifiable mixed-criticality systems. In EMSOFT, 2010. Google ScholarDigital Library
- T. Park and S. Kim. Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems. In EMSOFT, 2011. Google ScholarDigital Library
- F. Santy, L. George, P. Thierry, and J. Goossens. Relaxing mixed-criticality scheduling strictness for task sets scheduled with fp. In ECRTS, 2012. Google ScholarDigital Library
- L. Sha. Resilient mixed-criticality systems, 2009.Google Scholar
- S. Vestal. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In RTSS, 2007. Google ScholarDigital Library
Index Terms
- On the Scheduling of Fault-Tolerant Mixed-Criticality Systems
Recommendations
Optimization of Fault-Tolerant Mixed-Criticality Multi-Core Systems with Enhanced WCRT Analysis
This article proposes a novel optimization technique of fault-tolerant mixed-criticality multi-core systems with worst-case response time (WCRT) guarantees. Typically, in fault-tolerant multi-core systems, tasks can be replicated or re-executed in order ...
A New RTA Based Scheduling Algorithm for Mixed-Criticality Systems
CSE '13: Proceedings of the 2013 IEEE 16th International Conference on Computational Science and EngineeringAn increasing trend in many safety-critical embedded system is to integrate multiple functional components into a shared hardware platform for better cost and power efficiency. This mixed criticality system offers challenges both for static ...
Mixed-Criticality Scheduling on Multiprocessors Using Task Grouping
ECRTS '15: Proceedings of the 2015 27th Euromicro Conference on Real-Time SystemsReal-time systems are increasingly running a mix of tasks with different criticality levels: for instance, unmanned aerial vehicle has multiple software functions with different safety criticality levels, but runs them on a single, shared computational ...
Comments