Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems

The ever-growing complexity of safety-critical control systems continues to require evolution in control system design, architecture and implementation. At the same time the cost of developing such systems must be controlled and importantly quality must be maintained. This paper examines the application of Mixed Criticality System (MCS) research to a DAL-A aircraft engine Full Authority Digital Engine Control (FADEC) system which includes studying porting the control system's software to a preemptive scheduler from a non-preemptive scheduler. The paper deals with three key challenges as part of the technology transitions. Firstly, how to provide an equivalent level of fault isolation to ARINC 653 without the restriction of strict temporal slicing between criticality levels. Secondly extending the current analysis for Adaptive Mixed Criticality (AMC) scheduling to include the overheads of the system. Finally the development of clustering algorithms that automatically group tasks into larger super-tasks to both reduce overheads whilst ensuring the timing requirements, including the important task transaction requirements, are met.

[1]  Thomas Nolte,et al.  An efficient scheduling of AUTOSAR runnables to minimize communication cost in multi-core systems , 2014, 7'th International Symposium on Telecommunications (IST'2014).

[2]  Alan Burns,et al.  Effective Analysis for Engineering Real-Time Fixed Priority Schedulers , 1995, IEEE Trans. Software Eng..

[3]  Sang Lyul Min,et al.  Analysis of cache-related preemption delay in fixed-priority preemptive scheduling , 1998, 17th IEEE Real-Time Systems Symposium.

[4]  Bogdan Korel,et al.  Automated Software Test Data Generation , 1990, IEEE Trans. Software Eng..

[5]  James H. Anderson,et al.  RTOS Support for Multicore Mixed-Criticality Systems , 2012, 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.

[6]  Alan Burns,et al.  An approach to task attribute assignment for uniprocessor systems , 1999, Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.

[7]  Neil C. Audsley,et al.  On priority assignment in fixed priority scheduling , 2001, Inf. Process. Lett..

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

[9]  Alan Burns,et al.  An Enhanced Bailout Protocol for Mixed Criticality Embedded Software , 2017, IEEE Transactions on Software Engineering.

[10]  Eduardo Tovar,et al.  Unified overhead-aware schedulability analysis for slot-based task-splitting , 2014, Real-Time Systems.

[11]  Alan Burns,et al.  Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies , 2018, ECRTS.

[12]  Iain Bate,et al.  TACO: An industrial case study of Test Automation for COverage , 2018, RTNS.

[13]  Jurgen Mottok,et al.  Optimization of real-time multicore systems reached by a Genetic Algorithm approach for runnable sequencing , 2014, 2014 International Conference on Applied Electronics.

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

[15]  Iain John Bate,et al.  Scheduling and timing analysis for safety critical real-time systems , 1998 .

[16]  Alan Burns,et al.  Implementing Mixed Criticality Systems in Ada , 2011, Ada-Europe.

[17]  Julien Forget,et al.  Automated runnable to task mapping , 2013 .

[18]  Alan Burns,et al.  An Integrated Approach to Scheduling in Safety-Critical Embedded Control Systems , 2003, Real-Time Systems.

[19]  Iain Bate,et al.  Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[20]  Sascha Uhrig,et al.  Virtual Timing Isolation for Mixed-Criticality Systems , 2018, ECRTS.

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

[22]  Alan Burns,et al.  A Bailout Protocol for Mixed Criticality Systems , 2015, 2015 27th Euromicro Conference on Real-Time Systems.

[23]  Andy J. Wellings,et al.  Analysing APEX applications , 1996, 17th IEEE Real-Time Systems Symposium.

[24]  Alan Burns,et al.  Response-Time Analysis for Mixed Criticality Systems , 2011, 2011 IEEE 32nd Real-Time Systems Symposium.

[25]  Patrick Graydon,et al.  Safety Assurance Driven Problem Formulation for Mixed-Criticality Scheduling , 2013, RTSS 2013.

[26]  Sylvain Girbal,et al.  Porting a safety-critical industrial application on a mixed-criticality enabled real-time operating system , 2017 .