Abstract
In mixed criticality systems, functionalities with different criticalities share the same execution platform. The goal of a mixed criticality scheduling algorithm is to ensure a safe execution of the highest criticality tasks while using efficiently the execution platform. Classical real-time scheduling algorithms for mixed criticality systems propose to stop the execution of low criticality tasks to ensure that the highest criticality tasks meet their deadlines. In this work, we propose the Accurate Fault Mode (AFM) strategy for the scheduling problem of mixed criticality real-time systems. The advantages of this strategy are that firstly it can reduce the number of stopped low criticality tasks and secondly, that it allows the designer to define the low criticality tasks to be stopped depending on the criticality configuration of the system. Using model checking for timed game automata, we propose an exact feasibility test and exact schedulability tests for fixed priority and earliest deadline first scheduling algorithms for AFM strategy.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Abdeddaïm, Y.: Link to upload UPPAAL-TIGA files. https://perso.esiee.fr/~abdedday/VECOS2020.tar.gz
Abdeddaïm, Y., Masson, D.: Real-time scheduling of energy harvesting embedded systems with timed automata. In: 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA, pp. 31–40 (2012)
Alur, R., Dill, D.L.: Automata for modeling real-time systems. In: 17th International Colloquium on Automata, Languages and Programming, ICALP, pp. 322–335 (1990)
Baruah, S.K., Burns, A., Davis, R.I.: Response-time analysis for mixed criticality systems. In: Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS, pp. 34–43 (2011)
Baruah, S.K., Vestal, S.: Schedulability analysis of sporadic tasks with multiple criticality specifications. In: 20th Euromicro Conference on Real-Time Systems, ECRTS, pp. 147–155 (2008)
Bate, I., Burns, A., Davis, R.I.: A bailout protocol for mixed criticality systems. In: 27th Euromicro Conference on Real-Time Systems, ECRTS, pp. 259–268 (2015)
Bate, I., Burns, A., Davis, R.I.: An enhanced bailout protocol for mixed criticality embedded software. IEEE Trans. Software Eng. 43(4), 298–320 (2017)
Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D.: UPPAAL-TIGA: Time for playing games! In: 19th International Conference on Computer Aided Verification, CAV, pp. 121–125 (2007)
Burn, A.: Mixed criticality - a personal view. vol. 5. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2015)
Burns, A., Davis, R.I.: Mixed criticality systems - a review. https://www-users.cs.york.ac.uk/~burns/review.pdf
Fleming, T., Burns, A.: Incorporating the notion of importance into mixed criticality systems. In: 3rd Workshop on Mixed Criticality Systems, WMC (2013)
Gettings, O., Quinton, S., Davis, R.I.: Mixed criticality systems with weakly-hard constraints. In: Proceedings of the 23rd International Conference on Real Time Networks and Systems, RTNS, pp. 237–246 (2015)
Huang, P., Kumar, P., Stoimenov, N., Thiele, L.: Interference constraint graph - A new specification for mixed-criticality systems. In: Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA. pp. 1–8 (2013)
Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1982). https://doi.org/10.1007/BFb0025774
Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a nutshell. STTT 1(1–2), 134–152 (1997)
Maler, O., Pnueli, A., Sifakis, J.: On the synthesis of discrete controllers for timed systems (an extended abstract). In: STACS, 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, Proceedings, pp. 229–242 (1995)
Tamas-Selicean, D., Pop, P.: Design optimization of mixed-criticality real-time applications on cost-constrained partitioned architectures. In: Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS, pp. 24–33 (2011)
Tindell, K., Alonso, A.: A very simple protocol for mode change. In: Technical report, Universidad Politecnica de Madrid (1996)
Vestal, S.: Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In: Proceedings of the 28th IEEE Real-Time Systems Symposium RTSS, pp. 239–243 (2007)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Abdeddaïm, Y. (2020). Accurate Strategy for Mixed Criticality Scheduling. In: Ben Hedia, B., Chen, YF., Liu, G., Yu, Z. (eds) Verification and Evaluation of Computer and Communication Systems. VECoS 2020. Lecture Notes in Computer Science(), vol 12519. Springer, Cham. https://doi.org/10.1007/978-3-030-65955-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-65955-4_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-65954-7
Online ISBN: 978-3-030-65955-4
eBook Packages: Computer ScienceComputer Science (R0)