Online Reconfiguration of Regularity-Based Resource Partitions in Cyber-Physical Systems

We consider the problem of resource provisioning for real-time cyber-physical applications in an open system environment where there does not exist a global resource scheduler that has complete knowledge of the real-time performance requirements of each individual application that shares the resources with the other applications. Regularity-based Resource Partition (RRP) model is an effective strategy to hierarchically partition and assign various resource slices among the applications. However, RRP model does not consider changes in resource requests from the applications at run time. To allow for the run time adaptation to change resource requirements, we consider in this paper the issues in online resource partition reconfiguration, including semantics issues that arise in configuration transitions that may cause application failures. Based on the reconfiguration semantics, we study the online resource reconfigurability problem under the RRP model where the availability factors of resource partitions may be reconfigured during run time. We formalize the Dynamic Partition Reconfiguration (DPR) problem and provide a solution to this problem. Extensive experiments have been conducted to evaluate the performance of the proposed approach in different scenarios. We also present a case study using the autonomous F1/10 model car; the controller of the F1/10 car requires resource adaptation to satisfy the computing needs of its PID controller and vision system under different operating conditions. Our implementation demonstrates the effectiveness and benefit of online resource partition reconfiguration using the DPR approach in a real system.

[1]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[2]  Chong Li,et al.  Multi-Mode Virtualization for Soft Real-Time Systems , 2018, 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[3]  Alan Burns,et al.  System Mode Changes-General and Criticality-Based , 2014 .

[4]  Dionisio de Niz,et al.  Partitioned scheduling of multi-modal mixed-criticality real-time systems on multiprocessor platforms , 2014, 2014 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).

[5]  Arvind Easwaran,et al.  Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems , 2016, 2016 IEEE Real-Time Systems Symposium (RTSS).

[6]  Alfons Crespo,et al.  Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal , 2004, Real-Time Systems.

[7]  Stefan Wesner,et al.  A Hierarchical Scheduling Model for Dynamic Soft-Realtime System , 2017, ECRTS.

[8]  Hennadiy Leontyev,et al.  LITMUS^RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[9]  James H. Anderson,et al.  Scheduling and locking in multiprocessor real-time operating systems , 2011 .

[10]  Albert Mo Kim Cheng,et al.  Transparent Real-Time Task Scheduling on Temporal Resource Partitions , 2016, IEEE Transactions on Computers.

[11]  Insup Lee,et al.  Periodic resource model for compositional real-time guarantees , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[12]  Alan Burns,et al.  A semi-partitioned model for mixed criticality systems , 2019, J. Syst. Softw..

[13]  Linh T. X. Phan,et al.  SafeMC: A System for the Design and Evaluation of Mode-Change Protocols , 2018, 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[14]  Lothar Thiele,et al.  FFOB: efficient online mode-switch procrastination in mixed-criticality systems , 2018, Real-Time Systems.

[15]  Alan Burns,et al.  A Survey of Research into Mixed Criticality Systems , 2017, ACM Comput. Surv..

[16]  Kim G. Larsen,et al.  Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems , 2018, 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).

[17]  Rolf Ernst,et al.  Self-awareness in autonomous automotive systems , 2017, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017.

[18]  Song Han,et al.  Regular Composite Resource Partition in Open Systems , 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).

[19]  Rolf Ernst,et al.  Multi-mode monitoring for mixed-criticality real-time systems , 2013, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[20]  Song Han,et al.  Schedulability Analysis of DeferrableScheduling Algorithms for MaintainingReal-Time Data Freshness , 2014, IEEE Transactions on Computers.

[21]  I. Lee,et al.  MC-ADAPT , 2017, ACM Trans. Embed. Comput. Syst..

[22]  Gang Chen,et al.  Adaptive Workload Management in Mixed-Criticality Systems , 2016, ACM Trans. Embed. Comput. Syst..

[23]  Alan Burns,et al.  Mixed Criticality Systems with Varying Context Switch Costs , 2018, 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[24]  Walter Brenner,et al.  The Impact of Cyber-physical Systems on Industrial Services in Manufacturing☆ , 2015 .

[25]  Christos Evripidou,et al.  Scheduling for mixed-criticality hypervisor systems in the automotive domain , 2016 .

[26]  Albert Mo Kim Cheng,et al.  Static Approximation Algorithms for Regularity-based Resource Partitioning , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

[27]  Jane W.-S. Liu,et al.  Scheduling real-time applications in an open environment , 1997, Proceedings Real-Time Systems Symposium.

[28]  Albert Mo Kim Cheng,et al.  Toward a Practical Regularity-based Model , 2017, ACM Trans. Embed. Comput. Syst..

[29]  Insup Lee,et al.  Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors , 2008, 2008 Euromicro Conference on Real-Time Systems.