Job-shifting: An algorithm for online admission of non-preemptive aperiodic tasks in safety critical systems

Abstract Modern safety critical systems require certification in order to guarantee correct operation before system deployment. The certification process requires rigorous verification and validation, the efforts for which can be greatly reduced by using resource partitioning. However, Lackorzynski et al. demonstrated that bandwidth reservation for event-triggered (ET) activities in partitioned systems may lead to significant bandwidth loss. In contrast, the online admission of ET activities can prevent bandwidth losses. However, the state-of-the-art approaches for online admission of ET activities fail to fulfill the requirements of safety critical systems as they do not support (i) partitioning, (ii) the industrial mixed-criticality task model or (iii) non-preemptive task execution. In this paper, we present job-shifting algorithm for online admission of non-preemptive aperiodic tasks in partitioned time-triggered environment. Our approach circumvents the bandwidth loss issue with partitioning, and provides guarantees similar to the bandwidth reservation technique such that the certification process of safety critical systems need not be modified. Our approach can be implemented on top of variety of hypervisors and can provide lower response-times for aperiodic tasks. Through evaluation, we demonstrate that our approach efficiently utilizes processor bandwidth and only incurs small scheduling overheads.

[1]  Laurent George,et al.  Multi-criteria evaluation of partitioning schemes for real-time systems , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[2]  Charles U. Martel,et al.  On non-preemptive scheduling of period and sporadic tasks , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.

[3]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[4]  Hermann Härtig,et al.  Flattening hierarchical scheduling , 2012, EMSOFT '12.

[5]  Hermann Kopetz,et al.  Sparse time versus dense time in distributed real-time systems , 1992, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems.

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

[7]  Lui Sha,et al.  Aperiodic task scheduling for Hard-Real-Time systems , 2006, Real-Time Systems.

[8]  Daniel Gracia Pérez,et al.  Online admission of non-preemptive aperiodic mixed-critical tasks in hierarchic schedules , 2017, 2017 IEEE 23rd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[9]  Jörn Migge,et al.  DREAMS Toolchain: Model-Driven Engineering of Mixed-Criticality Systems , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[10]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[11]  Jens Theis,et al.  Certification-Cognizant Mixed-Criticality Scheduling in Time-Triggered Systems , 2015 .

[12]  J. Leung,et al.  A Note on Preemptive Scheduling of Periodic, Real-Time Tasks , 1980, Inf. Process. Lett..

[13]  I. Ripoll,et al.  XtratuM: An Open Source Hypervisor for TSP Embedded Systems in Aerospace , 2009 .

[14]  Yang Cai,et al.  Nonpreemptive scheduling of periodic tasks in uni- and multiprocessor systems , 1996, Algorithmica.

[15]  Christoph Ruland,et al.  DREAMS: Secure communication between resource management components in networked multi-core systems , 2016, 2016 IEEE Conference on Open Systems (ICOS).

[16]  Gerhard Fohler,et al.  Non-work-conserving Non-preemptive Scheduling: Motivations, Challenges, and Potential Solutions , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[17]  Marc Boyer,et al.  Performance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet , 2016 .

[18]  John P. Lehoczky,et al.  An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems , 1992, [1992] Proceedings Real-Time Systems Symposium.

[19]  Stefan Schorr,et al.  Adaptive Real-Time Scheduling and Resource Management on Multicore Architectures , 2015 .

[20]  Sanjoy K. Baruah,et al.  On the Optimality of RM and EDF for Non-Preemptive Real-Time Harmonic Tasks , 2014, RTNS.

[21]  Julien Forget Proceedings of the 23rd International Conference on Real Time and Networks Systems , 2015 .

[22]  Vincent Aravantinos,et al.  AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems , 2015, ACES-MB&WUCOR@MoDELS.

[23]  Edward G. Coffman,et al.  An Application of Bin-Packing to Multiprocessor Scheduling , 1978, SIAM J. Comput..

[24]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[25]  Daniel Gracia Pérez,et al.  DREAMS about reconfiguration and adaptation in avionics , 2016 .

[26]  Gerhard Fohler,et al.  Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.

[27]  Jakob Axelsson,et al.  Design and implementation of a dynamic component model for federated AUTOSAR systems , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[28]  John P. Lehoczky,et al.  Algorithms for scheduling hard aperiodic tasks in fixed-priority systems using slack stealing , 1994, 1994 Proceedings Real-Time Systems Symposium.

[29]  Gerhard Fohler Flexibility in Statically Scheduled Real-Time Systems , 1994 .

[30]  Jin-yong Yin,et al.  An Algorithm for Scheduling Aperiodic Real-Time Tasks on a Static Schedule , 2009, 2009 Second International Conference on Information and Computing Science.

[31]  Jane W.-S. Liu,et al.  Algorithms and optimality of scheduling soft aperiodic requests in fixed-priority preemptive systems , 2004, Real-Time Systems.

[32]  M. Masmano,et al.  Xoncrete : a scheduling tool for partitioned real-time systems , 2011 .

[33]  Frank Mueller,et al.  Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions , 2008, 2008 IEEE Real-Time and Embedded Technology and Applications Symposium.

[34]  Giorgio C. Buttazzo,et al.  Measuring the Performance of Schedulability Tests , 2005, Real-Time Systems.

[35]  Giorgio C. Buttazzo,et al.  Integrating multimedia applications in hard real-time systems , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[36]  Steve Vestal,et al.  Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[37]  Eduardo Tovar,et al.  How realistic is the mixed-criticality real-time system model? , 2015, RTNS.