## Abstract

Due to cost, size, weight, heat generation, and power consumption considerations, there is an increasingly important trend in cyber-physical systems (CPS) design toward mixed-criticality (MC) implementations, where applications at different importance levels are implemented upon a shared platform. Traditional design practice has been to provision computing resources to more critical applications more conservatively than to less-critical ones. In MC-based design, such over-provisioned resources may be shared by the less-critical functionalities under normal circumstances; this often allows for much more efficient resource usage. In this chapter, we focus on the theoretical aspects of MC real-time systems design and analysis. Specifically, we survey some of the recent progress made upon Vestal’s interpretation of MC and provide the best-known schedulers for various platform and/or workload settings in terms of speedup factors.

## Keywords

Mixed-Criticality Vestal Model Mode Switch Speedup Factor## References

- N.C. Audsley, Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report, The University of York, 1991Google Scholar
- N.C. Audsley, On priority assignment in fixed priority scheduling. Inform. Process. Lett.
**79**(1), 39–44 (2001)CrossRefGoogle Scholar - M.A. Awan, K. Bletsas, P.F. Souto, E. Tovar, Semi-partitioned mixed-criticality scheduling. In
*International Conference on Architecture of Computing Systems*(Springer, Vienna, Austria 2017), pp. 205–218Google Scholar - S.K. Baruah, Optimal utilization bounds for the fixed-priority scheduling of periodic task systems on identical multiprocessors. IEEE Trans. Comput.
**53**(6), 781–784 (2004)CrossRefGoogle Scholar - S. Baruah, Certification-cognizant scheduling of tasks with pessimistic frequency specification. In
*Proceedings of the 7th IEEE International Symposium on Industrial Embedded Systems (SIES’12)*(2012)Google Scholar - S. Baruah, The federated scheduling of systems of mixed-criticality sporadic DAG tasks. In
*2016 IEEE Real-Time Systems Symposium (RTSS)*(IEEE, Porto, Portugal, 2016a), pp. 227–236CrossRefGoogle Scholar - S. Baruah, Schedulability analysis for a general model of mixed-criticality recurrent real-time tasks. In
*2016 IEEE Real-Time Systems Symposium (RTSS)*(IEEE, Porto, Portugal, 2016b), pp. 25–34Google Scholar - S. Baruah, Schedulability analysis of mixed-criticality systems with multiple frequency specifications. In
*Proceedings of the 13th International Conference on Embedded Software*(ACM, Pittsburgh, PA, 2016c), p. 24Google Scholar - S. Baruah, A. Burns, Implementing mixed criticality systems in ADA. In
*International Conference on Reliable Software Technologies*(Springer, Edinburgh, 2011), pp. 174–188Google Scholar - S. Baruah, V. Bonifaci, G. D’Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, L. Stougie, Scheduling real-time mixed-criticality jobs. In
*Proceedings of the 35th International Symposium on the Mathematical Foundations of Computer Science (MFCS’10)*(2010)Google Scholar - S.K. Baruah, V. Bonifaci, G. D’Angelo, A. Marchetti-Spaccamela, S. Van Der Ster, L. Stougie, Mixed-criticality scheduling of sporadic task systems. In
*Proceedings of the 19th Annual European Symposium on Algorithms (ESA’11)*(Vienna, 2011a)Google Scholar - S.K. Baruah, A. Burns, R.I. Davis, Response-time analysis for mixed criticality systems. In
*Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS’11)*(2011b)Google Scholar - S.K. Baruah, A. Burns, R.I. Davis, Response-time analysis for mixed criticality systems. In
*2011 IEEE 32nd Real-Time Systems Symposium (RTSS)*(IEEE, Saarbrücken, 2011c), pp. 34–43Google Scholar - S. Baruah, V. Bonifaci, G. D’Angelo, H. Li, A. Marchetti-Spaccamela, N. Megow, L. Stougie, Scheduling real-time mixed-criticality jobs. IEEE Trans. Comput.
**61**(8), 1140–1152 (2012a)MathSciNetCrossRefGoogle Scholar - S. Baruah, V. Bonifaci, G. D’Angelo, H. Li, A. Marchetti-Spaccamela, S. Van Der Ster, L. Stougie, The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. In
*Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS’12)*(2012b)Google Scholar - S. Baruah, B. Chattopadhyay, Response-time analysis of mixed criticality systems with pessimistic frequency specification. In
*Proceedings of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’13)*(2013)Google Scholar - S. Baruah, V. Bonifaci, G. D’angelo, H. Li, A. Marchetti-Spaccamela, S. Van Der Ster, L. Stougie, Preemptive uniprocessor scheduling of mixed-criticality sporadic task systems. J. ACM (JACM)
**62**(2), 14 (2015a)Google Scholar - S. Baruah, A. Eswaran, Z. Guo, Mc-fluid: simplified and optimally quantified. In
*2015 IEEE Real-Time Systems Symposium*(IEEE, San Antonio, TX, 2015b), pp. 327–337Google Scholar - S. Baruah, A. Eswaran, Z. Guo, MC-Fluid: simplified and optimally quantified. In
*Proceedings of the 36th IEEE Real-Time Systems Symposium (RTSS’15)*(2015c)Google Scholar - E. Bini, G.C Buttazzo, Measuring the performance of schedulability tests. Real Time Syst.
**30**(1–2), 129–154 (2005)Google Scholar - K. Bletsas, S.M. Petters, Using nps-f for mixed-criticality multicore systems. In
*33rd IEEE Real-Time Systems Symposium*(ACM, San Juan, Puerto Rico, 2012), p. 36CrossRefGoogle Scholar - A. Burns, R.I. Davis, Mixed criticality on controller area network. In
*Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS’13)*(2013)Google Scholar - A. Burns, R.I. Davis, A survey of research into mixed criticality systems. ACM Comput. Surv.
**50**(6), 82:1–82:37 (2017)CrossRefGoogle Scholar - Y. Chen, Q. Li, Z. Li, H. Xiong, Efficient schedulability analysis for mixed-criticality systems under deadline-based scheduling. Chinese J. Aeronaut.
**27**(4), 856–866 (2014)CrossRefGoogle Scholar - D. De Niz, K. Lakshmanan, R. Rajkumar, On the scheduling of mixed-criticality real-time task sets. In
*30th IEEE Real-Time Systems Symposium, RTSS 2009*(IEEE, Washington DC, 2009), pp. 291–300Google Scholar - M.L. Dertouzos, Control robotics: the procedural control of physical processors. In
*Proceedings of the IFIP Congress*(1974)Google Scholar - A. Easwaran, Demand-based scheduling of mixed-criticality sporadic tasks on one processor. In
*2013 IEEE 34th Real-Time Systems Symposium (RTSS)*(IEEE, Vancouver, 2013), pp. 78–87Google Scholar - P. Ekberg, W. Yi, Bounding and shaping the demand of generalized mixed-criticality sporadic task systems. Real Time Syst.
**50**(1), 48–86 (2014)CrossRefGoogle Scholar - R. Gratia, T. Robert, L. Pautet, Generalized mixed-criticality scheduling based on run. In
*Proceedings of the 23rd International Conference on Real Time and Networks Systems*(ACM, Lille, 2015a), pp. 267–276Google Scholar - R. Gratia, T. Robert, L. Pautet, Scheduling of mixed-criticality systems with run. In
*2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)*(IEEE, Luxembourg, 2015b), pp. 1–8Google Scholar - C. Gu, N. Guan, Q. Deng, W. Yi, Improving OCBP-based scheduling for mixed-criticality sporadic task systems. In
*2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)*(IEEE, Taipei, Taiwan, 2013), pp. 247–256Google Scholar - N. Guan, P. Ekberg, M. Stigge, W. Yi, Effective and efficient scheduling for certifiable mixed criticality sporadic task systems. In
*Proceedings of the 32nd IEEE Real-Time Systems Symposium (RTSS’11)*(2011a)Google Scholar - N. Guan, P. Ekberg, M. Stigge, W. Yi, Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems. In
*32nd Real-Time Systems Symposium (RTSS)*(IEEE, Vienna, 2011b), pp. 13–23Google Scholar - Z. Guo, Real-time scheduling of mixed-critical workloads upon platforms with uncertainties. PhD thesis, The University of North Carolina at Chapel Hill (2016)Google Scholar
- Z. Guo, S. Baruah, The concurrent consideration of uncertainty in WCETs and processor speeds in mixed-criticality systems. In
*The 23rd International Conference on Real-Time and Network Systems (RTNS’15)*(2015)Google Scholar - P. Holman, J.H. Anderson, Adapting pfair scheduling for symmetric multiprocessors. J. Embed. Comput.
**1**(4), 543–564 (2005)Google Scholar - B. Kalyanasundaram, K. Pruhs, Speed is as powerful as clairvoyance. J. ACM
**47**(4), 617–643 (2000)MathSciNetCrossRefGoogle Scholar - O.R. Kelly, H. Aydin, B. Zhao, On partitioned scheduling of fixed-priority mixed-criticality task sets. In
*2011 IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)*(IEEE, Changsha, 2011), pp. 1051–1059Google Scholar - K. Lakshmanan, D. De Niz, R. Rajkumar, G. Moreno, Resource allocation in distributed mixed-criticality cyber-physical systems. In
*2010 IEEE 30th International Conference on Distributed Computing Systems (ICDCS)*(IEEE, Genoa, 2010), pp. 169–178Google Scholar - J. Lee, K.M. Phan, X. Gu, J. Lee, A. Easwaran, I. Shin, I. Lee, MCFluid: fluid model-based mixed-criticality scheduling on multiprocessors. In
*Proceedings of the 35th IEEE Real-Time Systems Symposium (RTSS’14)*(2014)Google Scholar - J.Y.T. Leung,
*Handbook of Scheduling: Algorithms, Models, and Performance Analysis*(CRC Press, Boca Raton, 2004)zbMATHGoogle Scholar - H. Li, Scheduling mixed-criticality real-time systems. PhD thesis, The University of North Carolina at Chapel Hill, 2013Google Scholar
- H. Li, S. Baruah, An algorithm for scheduling certifiable mixed-criticality sporadic task systems. In
*Proceedings of the 31st IEEE Real-Time Systems Symposium (RTSS’10)*(2010)Google Scholar - H. Li, S. Baruah, Global mixed-criticality scheduling on multiprocessors. In
*Proceedings of the 24th Euromicro Conference on Real-Time Systems (ECRTS’12)*(2012)Google Scholar - J. Li, D. Ferry, S. Ahuja, K. Agrawal, C. Gill, C. Lu, Mixed-criticality federated scheduling for parallel real-time tasks. In
*2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)*(IEEE, Vienna, 2016), pp. 1–12Google Scholar - C.L. Liu, J.W. Layland, Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM
**20**(1), 46–61 (1973)MathSciNetCrossRefGoogle Scholar - F. Liu, A. Narayanan, Q. Bai,
*Real-Time Systems*(Prentice-Hall, Upper Saddle River, 2000)Google Scholar - A. Masrur, D. Müller, M. Werner, Bi-level deadline scaling for admission control in mixed-criticality systems. In
*2015 IEEE 21st International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)*(IEEE, Hong Kong, 2015), pp. 100–109Google Scholar - R.M. Pathan, Schedulability analysis of mixed-criticality systems on multiprocessors. In
*2012 24th Euromicro Conference on Real-Time Systems (ECRTS)*(IEEE, Pisa, 2012), pp. 309–320Google Scholar - P. Regnier, G. Lima, E. Massa, G. Levin, S. Brandt, Run: optimal multiprocessor real-time scheduling via reduction to uniprocessor. In
*2011 IEEE 32nd Real-Time Systems Symposium (RTSS)*(IEEE, Vienna, 2011), pp. 104–115Google Scholar - P. Rodriguez, L. George, Y. Abdeddaım, J. Goossens, Multicriteria evaluation of partitioned EDF-VD for mixed-criticality systems upon identical processors. In
*Workshop on mixed criticality systems*(2013)Google Scholar - D. Socci, P. Poplavko, S. Bensalem, M. Bozga, Mixed critical earliest deadline first. In
*Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS’13)*(2013)Google Scholar - S. Vestal, Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In
*Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS’07)*(2007)Google Scholar - R. Wilhelm, J. Engblom, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra et al., The worst-case execution-time problem – overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. (TECS)
**7**(3), 1–53 (2008)CrossRefGoogle Scholar - H. Xu, A. Burns, Semi-partitioned model for dual-core mixed criticality system. In
*Proceedings of the 23rd International Conference on Real Time and Networks Systems*(ACM, Lille, 2015), pp. 257–266Google Scholar - F. Zhao, T.N. Asmus, D.N. Assanis, J.E. Dec, J.A. Eng, P.M. Najt,
*Homogeneous Charge Compression Ignition (HCCI) Engines: Key Research and Development Issues*(Society of Automotive Engineers, Warrendale, 2003), pp. 11–12Google Scholar