On the Safety of Mixed-Criticality Scheduling

A common assumption for scheduling mixed-criticality systems is the degradation of less critical tasks when the system is in the emergency mode; which is entered when critical tasks overrun their expected WCET. In the meanwhile, common safety standards enforce strict safety requirements on all criticality levels. However, the impact of degrading less critical tasks on the overall system safety is not well understood. By introducing probabilistic distributions of task execution times, we show in this paper a first analysis of safety of mixed-criticality systems. Inspired by standards, we provide the probability-of-failure-per-hour (PFH) of a system when no overrun is detected. We also introduce and analyze the expected mode switching time, which describes how often emergency mode is entered. Our results reveal a fundamental trade-off between these two values. Finally, we discuss other possible safety measures that form a complete overview of a system's safety.

[1]  Paul Pop,et al.  Design Optimization of Mixed-Criticality Real-Time Embedded Systems , 2015, ACM Trans. Embed. Comput. Syst..

[2]  Jon Perez,et al.  European Project Cluster on Mixed-Criticality Systems , 2014 .

[3]  Chandramouli V. Kashyap,et al.  Block-based Static Timing Analysis with Uncertainty , 2003, ICCAD.

[4]  Paul Pop,et al.  Task migration for fault-tolerance in mixed-criticality embedded systems , 2009, SIGBED.

[5]  Zhishan Guo,et al.  EDF Schedulability Analysis on Mixed-Criticality Systems with Permitted Failure Probability , 2015, 2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications.

[6]  Soonhoi Ha,et al.  Reliability-aware mapping optimization of multi-core systems with mixed-criticality , 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[7]  Sanjoy K. Baruah,et al.  Mixed-Criticality Scheduling of Sporadic Task Systems , 2011, ESA.

[8]  Laurent Pautet,et al.  Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses , 2013 .

[9]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[10]  Soontae Kim,et al.  Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[11]  Alejandro Masrur.  A probabilistic scheduling framework for mixed-criticality systems , 2016, 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[12]  Yau-Tsun Steven Li,et al.  Static Timing Analysis Of Embedded Software , 1997, Proceedings of the 34th Design Automation Conference.

[13]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[14]  Shuhei Yamashita,et al.  Introduction of ISO 26262 'Road vehicles-Functional safety' , 2012 .

[15]  Lothar Thiele,et al.  Service adaptions for mixed-criticality systems , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

[16]  Risat Mahmud Pathan.  Fault-tolerant and real-time scheduling for mixed-criticality systems , 2014, Real-Time Systems.

[17]  Lothar Thiele,et al.  Scheduling of mixed-criticality applications on resource-sharing multicore systems , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[18]  Alan Burns,et al.  Response-Time Analysis for Mixed Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[19]  Chang-Gun Lee,et al.  Stochastic analysis of periodic real-time systems , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[20]  Luca Santinelli.  Probabilities and Mixed-Criticalities : the Probabilistic C-Space , 2015 .

[21]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[22]  Kim G. Larsen,et al.  Battery-Aware Scheduling of Mixed Criticality Systems , 2014, ISoLA.

[23]  Sanjoy K. Baruah,et al.  Certification-Cognizant Time-Triggered Scheduling of Mixed-Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[24]  Lothar Thiele,et al.  An Isolation Scheduling Model for Multicores , 2015, 2015 IEEE Real-Time Systems Symposium.

[25]  Lui Sha,et al.  Memory Access Control in Multiprocessor for Real-Time Systems with Mixed Criticality , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[26]  Wang Yi,et al.  Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[27]  Liliana Cucu-Grosjean,et al.  Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study , 2013, 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

[28]  Lothar Thiele,et al.  Mixed-criticality scheduling on cluster-based manycores with shared communication and storage resources , 2015, Real-Time Systems.

[29]  Neeraj Suri,et al.  Dependability driven integration of mixed criticality SW components , 2006, Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'06).

[30]  K. Keutzer,et al.  A general probabilistic framework for worst case timing analysis , 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).

[31]  Steve Vestal,et al.  Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).