Response-time analysis of mixed criticality systems with pessimistic frequency specification

In modern embedded platforms, safety-critical functionalities that must be certified correct to very high levels of assurance may co-exist with less critical software that are not subject to certification requirements. One seeks to satisfy two, sometimes contradictory, goals upon such mixed-criticality platforms: (i) certify the safety-critical functionalities under very conservative assumptions, and (ii) achieve high resource utilization during run-time, when actual behavior does not live up to the pessimistic assumptions under which certification was made. This paper describes efforts at designing fixed-priority scheduling algorithms that balance these two requirements, when scheduling recurrent tasks that are triggered by external events of unknown exact frequency.

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

[2]  Björn B. Brandenburg,et al.  Cache-Related Preemption and Migration Delays : Empirical Approximation and Impact on Schedulability ∗ , 2010 .

[3]  Alan Burns,et al.  Applying new scheduling theory to static priority pre-emptive scheduling , 1993, Softw. Eng. J..

[4]  Wang Yi,et al.  Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

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

[6]  Alan Burns,et al.  Real-Time Systems and Programming Languages , 2009 .

[7]  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).

[8]  Joël Goossens,et al.  Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities , 2009, Real-Time Systems.

[9]  Sanjoy K. Baruah,et al.  An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[10]  김재현,et al.  Integrated Modular Avionics 컴퓨터 아키텍처의 설계방안 , 2014 .

[11]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[12]  Joseph Y.-T. Leung,et al.  Scheduling real-time tasks: algorithms and complexity , 2004 .

[13]  Aloysius Ka-Lau Mok,et al.  Fundamental design problems of distributed systems for the hard-real-time environment , 1983 .

[14]  Neil C. Audsley,et al.  On priority assignment in fixed priority scheduling , 2001, Inf. Process. Lett..

[15]  Nuno Pereira,et al.  Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains , 2007, RTSS 2007.

[16]  Alan Burns,et al.  Implementing Mixed Criticality Systems in Ada , 2011, Ada-Europe.

[17]  Alan Burns,et al.  Timing Faults and Mixed Criticality Systems , 2011, Dependable and Historic Computing.

[18]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[19]  Dakai Zhu,et al.  An Elastic Mixed-Criticality task model and its scheduling algorithm , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[20]  Sanjoy K. Baruah,et al.  Certification-cognizant scheduling of tasks with pessimistic frequency specification , 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

[21]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).