Skip to main content
SpringerLink
Log in

Mixed-Criticality Real-Time Systems

Cyber-Physical Systems: A Reference

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

References

  • N.C. Audsley, Optimal priority assignment and feasibility of static priority tasks with arbitrary start times. Technical report, The University of York, 1991

    Google Scholar 

  • N.C. Audsley, On priority assignment in fixed priority scheduling. Inform. Process. Lett. 79(1), 39–44 (2001)

    Article  Google 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–218

    Google 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)

    Article  Google 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–236

    Book  Google 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–34

    Google 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. 24

    Google Scholar 

  • S. Baruah, A. Burns, Implementing mixed criticality systems in ADA. In International Conference on Reliable Software Technologies (Springer, Edinburgh, 2011), pp. 174–188

    Google 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–43

    Google 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)

    Article  MathSciNet  Google 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–337

    Google 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. 36

    Google 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)

    Google 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)

    Article  Google 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–300

    Google 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–87

    Google 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)

    Article  Google 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–276

    Google 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–8

    Google 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–256

    Google 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–23

    Google 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)

    Article  MathSciNet  Google 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–1059

    Google 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–178

    Google 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)

    MATH  Google Scholar 

  • H. Li, Scheduling mixed-criticality real-time systems. PhD thesis, The University of North Carolina at Chapel Hill, 2013

    Google 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–12

    Google Scholar 

  • C.L. Liu, J.W. Layland, Scheduling algorithms for multiprogramming in a hard real-time environment. J. ACM 20(1), 46–61 (1973)

    Article  MathSciNet  Google 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–109

    Google 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–320

    Google 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–115

    Google 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)

    Google 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–266

    Google 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–12

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Central Florida Orlando, FL, USA

    Zhishan Guo

  2. Department of Computer Science & Engineering, Washinton University at St Louis, St Louis, MO, USA

    Sanjoy Baruah

Authors
  1. Zhishan Guo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sanjoy Baruah
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Zhishan Guo .

Editor information

Editors and Affiliations

  1. Tsinghua University, Beijing, Beijing, China

    Xue Wang

Section Editor information

  1. Department of Electrical, Computer and Biomedical Engineering, University of Pavia, Pavia, Italy

    Tullio Facchinetti

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer-Verlag GmbH Germany, part of Springer Nature

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Guo, Z., Baruah, S. (2018). Mixed-Criticality Real-Time Systems. In: Wang, X. (eds) Cyber-Physical Systems: A Reference. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54477-4_6-1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54477-4_6-1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54477-4

  • Online ISBN: 978-3-642-54477-4

  • eBook Packages: Springer Reference EngineeringReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Chapter history

  1. Latest

    Mixed-Criticality Real-Time Systems
    Published:
    16 October 2018

    DOI: https://doi.org/10.1007/978-3-642-54477-4_6-2

  2. Original

    Mixed-Criticality Real-Time Systems
    Published:
    04 August 2018

    DOI: https://doi.org/10.1007/978-3-642-54477-4_6-1

Search

Navigation