Abstract
In mixed-criticality systems, tasks of different criticality share system resources, mainly to reduce cost. Cost is further reduced by using adaptive mode-based scheduling arrangements, such as Vestal’s model, to improve resource efficiency, while guaranteeing schedulability of critical functionality. To simplify safety certification, servers are often used to provide temporal isolation between tasks. In its simplest form, a server is a periodically recurring time window, in which some tasks are scheduled. A server’s computational requirements may greatly vary in different modes, although state-of-the-art techniques and schedulability tests do not allow different budgets to be used by a server in different modes. This results in a single conservative execution budget for all modes, increasing system cost.
The goal of this paper is to reduce the cost of mixed-criticality systems through three main contributions: (i) a scheduling arrangement for uniprocessor systems employing fixed-priority scheduling within periodic servers, whose budgets are dynamically adjusted at run-time in the event of a mode change, (ii) a new schedulability analysis for such systems, and (iii) heuristic algorithms for assigning budgets to servers in different modes and ordering the execution of the servers. Experiments with synthetic task sets demonstrate considerable improvements (up to 52.8%) in scheduling success ratio when using dynamic server budgets vs. static “one-size-fits-all-modes” budgets.
- 2016. Certification Authorities Software Team (CAST), Position Paper (CAST-32A) Multicore Processors.Google Scholar
- AERONAUTICAL RADIO, INC. 2010. Avionics application software standard interface, part 1, required services (ARINC SPECIFICATION 653P1-3 ed.). AERONAUTICAL RADIO, INC.Google Scholar
- M. A. Awan, K. Bletsas, P. F. Souto, and E. Tovar. 2017. Semi-partitioned mixed-criticality scheduling. In Proceedings of the 30th International Conference Architecture of Computing Systems. 205--218.Google Scholar
- Muhammad Ali Awan, Pedro F. Souto, Benny Akesson, Konstantinos Bletsas, and Eduardo Tovar. 2019. Uneven memory regulation for scheduling IMA applications on multi-core platforms. Journal of Real--Time Systems 55, 2 (01 Apr 2019), 248--292. DOI:https://doi.org/10.1007/s11241-018-9322-yGoogle Scholar
Digital Library
- S. K. Baruah and A. Burns. 2011. Implementing mixed criticality systems in Ada. In 16th Ada-Europe Conf. 174--188.Google Scholar
- S. K. Baruah, A. Burns, and R. I. Davis. 2011. Response-time analysis for mixed criticality systems. In Proceedings of the 32nd IEEE Real-Time Systems Symposium. 34--43.Google Scholar
- A. Bastoni, B. Brandenburg, and J. H. Anderson. 2010. Cache-related preemption and migration delays: Empirical approximation and impact on schedulability. In 6th Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT). 33--44.Google Scholar
- M. Beckert and R. Ernst. 2015. Designing time partitions for real-time hypervisor with sufficient temporal independence. In Proceedings of the 52nd Design Automation Conference. 1--6.Google Scholar
- Matthias Beckert and Rolf Ernst. 2017. Response time analysis for sporadic server based budget scheduling in real time virtualization environments. ACM Transactions on Embedded Computing Systems 16, 5s, Article 161 (Sept. 2017), 19 pages. DOI:https://doi.org/10.1145/3126559Google Scholar
Digital Library
- E. Bini and G. C. Buttazzo. 2009. Measuring the performance of schedulability tests. Journal of Real--Time Systems 30, 1–2 (2009), 129--154.Google Scholar
- K. Bletsas, M. A. Awan, P. F. Souto, B. Akesson, A. Burns, and E. Tovar. 2018. De-coupling criticality and importance in mixed-criticality scheduling. In Proceedings of the 6th Workshop on Mixed-Criticality Systems. 25--30.Google Scholar
- A. Burns and R. I. Davis. 2014. Adaptive mixed criticality scheduling with deferred preemption. In Proceedings of the 35rd IEEE Real-Time Systems Symposium. 21--30.Google Scholar
- M. Chisholm, N. Kim, S. Tang, N. Otterness, J. H. Anderson, F. D. Smith, and D. E. Porter. 2017. Supporting mode changes while providing hardware isolation in mixed-criticality multicore systems. In Proceedings of the 25th Conference Real-Time and Networked Systems. 58--67.Google Scholar
- C. Evripidou and A. Burns. 2016. Scheduling for mixed-criticality hypervisor systems in the automotive domain. In Proceedings of the 4th Workshop on Mixed-Criticality Systems.Google Scholar
- X. Gu and A. Easwaran. 2016. Dynamic budget management with service guarantees for mixed-criticality systems. In Proceedings of the 37rd IEEE Real-Time Systems Symposium. 47--56.Google Scholar
- X. Gu, A. Easwaran, K. Phan, and I. Shin. 2015. Resource efficient isolation mechanisms in mixed-criticality scheduling. In Proceedings of the 27th Euromicro Conference on Real-Time Systems. 13--24.Google Scholar
- F. Guan, L. Peng, L. Perneel, H. Fayyad-Kazan, and M. Timmerman. 2017. Adaptive reservation into mixed-criticality systems. Scientific Programming 2017 (2017).Google Scholar
- J. L. Herman, C. J. Kenna, M. S. Mollison, J. H. Anderson, and D. M. Johnson. 2012. RTOS support for multicore mixed-criticality systems. In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 197--208.Google Scholar
- B. Hu, K. Huang, G. Chen, L. Cheng, and A. Knoll. 2016. Adaptive workload management in mixed-criticality systems. ACM Transactions on Embedded Computing Systems 16, 1 (2016), 14:1--14:27.Google Scholar
Digital Library
- B. Hu, L. Thiele, P. Huang, K. Huang, C. Griesbeck, and A. S. Knoll. 2018. FFOB: Efficient online mode-switch procrastination in mixed-criticality systems. Journal of Real--Time Systems 55, 3 (2018), 471--513.Google Scholar
Digital Library
- H.-M. Huang, C. Gill, and C. Lu. 2012. Implementation and evaluation of mixed-criticality scheduling approaches for periodic tasks. In Proceedings of the 18th IEEE Real-Time and Embedded Technology and Applications Symposium. 23--32.Google Scholar
- Davis R. I. and Burns A. 2009. Priority assignment for global fixed priority pre-emptive scheduling in multiprocessor real-time systems. In Proceedings of the 30th IEEE Real-Time Systems Symposium. 398--409.Google Scholar
- M. Joseph and P. Pandya. 1986. Finding response times in a real-time system. Comput. J. 29, 5 (1986), 390--395.Google Scholar
Cross Ref
- N. Kim, B. C. Ward, M. Chisholm, C.-Y. Fu, J. H. Anderson, and F. D. Smith. 2017. Attacking the one-out-of-m multicore problem by combining hardware management with mixed-criticality provisioning. Journal of Real--Time Systems 53, 5 (2017), 709--759.Google Scholar
Digital Library
- S. Kirkpatrick, C. D. Gelatt, , and M. P. Vecchi. 1983. Optimization by simulated annealing. Science 220 (1983), 671--680.Google Scholar
Cross Ref
- Stephen Law, Iain Bate, and Benjamin Lesage. 2019. Industrial application of a partitioning scheduler to support mixed criticality systems. In Proceedings of the 31th Euromicro Conference on Real-Time Systems. 8:1--8:22.Google Scholar
- G. Lipari and G. C. Buttazzo. 2013. Resource reservation for mixed criticality systems. In Workshop on Real-Time Systems: The Past, The Present, and the Future.Google Scholar
- E. Missimer, K. Missimer, and R. West. 2016. Mixed-criticality scheduling with I/O. In Proceedings of the 28th Euromicro Conference on Real-Time Systems. 120--130.Google Scholar
- Alessandro Vittorio Papadopoulos, Enrico Bini, Sanjoy Baruah, and Alan Burns. 2018. AdaptMC: A control-theoretic approach for achieving resilience in mixed-criticality systems. In Proceedings of the 30th Euromicro Conference on Real-Time Systems. 14:1--14:22.Google Scholar
- Jiankang Ren and Linh Thi Xuan Phan. 2015. Mixed-criticality scheduling on multiprocessors using task grouping. In Proceedings of the 27th Euromicro Conference on Real-Time Systems. 25--34.Google Scholar
Digital Library
- RTCA, Inc. 2012. RTCA/DO-178C. U.S. Dept. of Transportation, Federal Aviation Administration.Google Scholar
- P. B. Sousa, K. Bletsas, E. Tovar, P. F. Souto, and B. Åkesson. 2014. Unified overhead-aware schedulability analysis for slot-based task-splitting. Journal of Real--Time Systems 50, 5-6 (2014), 680--735.Google Scholar
Digital Library
- P. Souto, P. B. Sousa, R. I. Davis, K. Bletsas, and E. Tovar. 2015. Overhead-aware schedulability evaluation of semi-partitioned real-time schedulers. In Proceedings of the 21st IEEE Conference on Embedded and Real-Time Computing and Applications. 110--121.Google Scholar
- Domitian Tamas-Selicean and Paul Pop. 2011. Optimization of time-partitions for mixed-criticality real-time distributed embedded systems. In Proceedings of the 14thIEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. 1--10.Google Scholar
Digital Library
- S. Vestal. 2007. Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Proceedings of the 28th IEEE Real-Time Systems Symposium. 239--243.Google Scholar
Digital Library
Index Terms
Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets
Recommendations
Mixed-criticality scheduling in real-time multiprocessor systems
FRUCT '18: Proceedings of the 18th Conference of Open Innovations Association FRUCTThe relevance and popularity of mixed-criticality real-time systems precipitously increase in many industrial domains. Today, mixed-criticality systems are increasingly being implemented on multicore platforms. So, one of the most actual and important ...
Dynamic budget management and budget reclamation for mixed-criticality systems
Many existing studies on mixed-criticality (MC) scheduling assume that low-criticality budgets for high-criticality applications are known apriori. These budgets are primarily used as guidance to determine when the scheduler should switch the system ...
Implementation and Evaluation of Mixed-Criticality Scheduling Approaches for Periodic Tasks
RTAS '12: Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications SymposiumTraditional fixed-priority scheduling analysis for periodic task sets is based on the assumption that all tasks are equally critical to the correct operation of the system. Therefore, every task has to be schedulable under the scheduling policy, and ...






Comments