Optimised Adaptation of Mixed-Criticality Systems with Periodic Tasks on Uniform Multiprocessors in Case of Faults

The standard real-time computing model is based on a notion of deadline that represents both, a design parameter and a critical latency. The tolerance-based real-time computing model (TRTCM) extends the standard real-time computing model to reflect good engineering practice, where a safety margin is added to the critical latency to obtain the corresponding design parameter. The key feature of TRTCM is to add a tolerance range, which in combination with criticality specifications for services allows for fault-tolerant mixed-criticality scheduling with smooth degradation of service utility in case of resource shortage. In this paper we study the applicability of TRTCM for periodic tasks with mixed criticality on uniform multiprocessor systems. To optimise the system adaptation in case of resource shortage we formulate utility maximisation based on TRTCM as an optimisation problem. We describe two implementation strategies and derive an optimisation problem to be solved by a constraint solver for each. We use a video processing application for a concrete evaluation. Our results show that TRTCM can provide better utility than standard mixed-criticality approaches where lower criticality services are skipped in case of resource shortage.

[1]  Binoy Ravindran,et al.  Consensus-Driven Distributable Thread Scheduling in Networked Embedded Systems , 2007, EUC.

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

[3]  Sanjoy K. Baruah,et al.  Rate-monotonic scheduling on uniform multiprocessors , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

[4]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[5]  Raimund Kirner A Uniform Model for Tolerance-Based Real-Time Computing , 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[6]  Sanjoy K. Baruah,et al.  Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications , 2008, 2008 Euromicro Conference on Real-Time Systems.

[7]  Raimund Kirner Ingredients for the Specification of Mixed-Criticality Real-Time Systems , 2014, 2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[8]  A. Burns Towards A More Practical Model for Mixed Criticality Systems , 2013 .

[9]  Lothar Thiele,et al.  On the scheduling of fault-tolerant mixed-criticality systems , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[10]  S. Vestal Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, RTSS 2007.

[11]  Giuseppe Lipari,et al.  Elastic task model for adaptive rate control , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[12]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[13]  Roman Obermaisser,et al.  Fundamental Design Principles for Embedded Systems: The Architectural Style of the Cross-Domain Architecture GENESYS , 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[14]  Sanjoy K. Baruah,et al.  Towards the Design of Certifiable Mixed-criticality Systems , 2010, 2010 16th IEEE Real-Time and Embedded Technology and Applications Symposium.