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 resource requirement changes, 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 at run time. We formalize and solve the Dynamic Partition Reconfiguration (DPR) problem for uniform environment where the minimal intervals assigned to each task for execution on each resource are the same. Extensive experiments have been conducted to evaluate the performance of the proposed approaches 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 proposed approach in a real-world cyber-physical system.

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

[2]  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).

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

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

[5]  Yifan Wu,et al.  Partitioning Parallel Applications on Multiprocessor Reservations , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

[6]  Insup Lee,et al.  Compositional Analysis of Multi-mode Systems , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.

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

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

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

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

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

[12]  Sanjoy K. Baruah,et al.  Proportionate progress: A notion of fairness in resource allocation , 1993, Algorithmica.

[13]  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).

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

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

[16]  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).

[17]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, RTSS 2007.

[18]  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).

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

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

[21]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[22]  S. Shirero,et al.  On the schedulability conditions on partial time slots , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

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

[24]  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).

[25]  Tei-Wei Kuo,et al.  RTSS 2007: Preface , 2007, RTSS 2007.

[26]  Aloysius K. Mok,et al.  Towards compositionality in real-time resource partitioning based on regularity bounds , 2001, Proceedings 22nd IEEE Real-Time Systems Symposium (RTSS 2001) (Cat. No.01PR1420).

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

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

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

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

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

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

[33]  Yifan Wu,et al.  Partitioning Real-Time Applications Over Multicore Reservations , 2011, IEEE Transactions on Industrial Informatics.

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

[35]  Giorgio C. Buttazzo,et al.  A design flow for supporting component-based software development in multiprocessor real-time systems , 2018, Real-Time Systems.

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