A Compositional Framework for Avionics (ARINC-653) Systems

Cyber-physical systems (CPSs) are becoming all-pervasive, and due to increasing complexity they are designed using component-based approaches. Temporal constraints of such complex CPSs can then be modeled using hierarchical scheduling frameworks. In this paper, we consider one such avionics CPS described by ARINC specification 653-2. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads, and can communicate with other processes in the system. In this work, we develop techniques for automated scheduling of such partitions. At present, system designers manually schedule partitions based on interactions they have with application vendors. This approach is not only time consuming, but can also result in under utilization of resources. Hence, in this work we propose compositional analysis based scheduling techniques for partitions. Comments University of Pennsylvania Department of Computer and Information Science Technical Report No. MSCIS-09-04 This technical report is available at ScholarlyCommons: http://repository.upenn.edu/cis_reports/898 A Compositional Scheduling Framework for Digital Avionics Systems Arvind Easwaran∗ CISTER/IPP-HURRAY Polytechnic Institute of Porto Portugal aen@isep.ipp.pt Insup Lee, Oleg Sokolsky Department of CIS University of Pennsylvania PA, 19104, USA {lee,sokolsky}@cis.upenn.edu Steve Vestal Boston Scientific MN 55112, USA stephen.vestal@bsci.com

[1]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[2]  Aloysius K. Mok,et al.  A model of hierarchical real-time virtual resources , 2002, 23rd IEEE Real-Time Systems Symposium, 2002. RTSS 2002..

[3]  Luís Almeida,et al.  Scheduling within temporal partitions: response-time analysis and server design , 2004, EMSOFT '04.

[4]  Andy J. Wellings,et al.  Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems , 1996, Proceedings of 3rd International Workshop on Real-Time Computing Systems and Applications.

[5]  Thomas A. Henzinger,et al.  Trading end-to-end latency for composability , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[6]  Joseph Y.-T. Leung,et al.  On the complexity of fixed-priority scheduling of periodic, real-time tasks , 1982, Perform. Evaluation.

[7]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

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

[9]  I. Lee,et al.  Bounding Preemptions under EDF and RM Schedulers Technical Report: MS-CIS-06-07 , 1998 .

[10]  Alan Burns,et al.  Hierarchical fixed priority pre-emptive scheduling , 2005, 26th IEEE International Real-Time Systems Symposium (RTSS'05).

[11]  Erik.  Scheduling of Hard Real-Time Periodic Systems with Various Kinds of Deadline and Offset Constraints , .

[12]  Daeyoung Kim,et al.  Scheduling tool and algorithm for integrated modular avionics systems , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

[13]  L. Kinnan,et al.  Porting applications to an ARINC 653 compliant IMA platform using Vxworks as an example , 2004, The 23rd Digital Avionics Systems Conference (IEEE Cat. No.04CH37576).

[14]  Insik Shin,et al.  SIRAP: a synchronization protocol for hierarchical resource sharingin real-time open systems , 2007, EMSOFT '07.

[15]  Sanjoy K. Baruah,et al.  The Design of an EDF-Scheduled Resource-Sharing Open Environment , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[16]  Nathan Fisher,et al.  The Design of an EDF-Scheduled Resource-Sharing Open Environment , 2007, RTSS 2007.

[17]  Frank Mueller,et al.  Tightening the Bounds on Feasible Preemption Points , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

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

[19]  Giuseppe Lipari,et al.  Resource partitioning among real-time applications , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..

[20]  Ken Tindell,et al.  ADDING TIME-OFFSETS TO SCHEDULABILITY ANALYSIS , 1994 .

[21]  John A. Stankovic,et al.  Dynamic end-to-end guarantees in distributed real time systems , 1994, 1994 Proceedings Real-Time Systems Symposium.

[22]  Alan Burns,et al.  Resource Sharing in Hierarchical Fixed Priority Pre-Emptive Systems , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).