A Compositional Scheduling Framework for Digital Avionics Systems
Ref: HURRAY-TR-090905 Publication Date: 24 to 26, Aug, 2009
A Compositional Scheduling Framework for Digital Avionics SystemsRef: HURRAY-TR-090905 Publication Date: 24 to 26, Aug, 2009
ARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. 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 compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources. In contrast, the technique proposed in this paper is a principled approach for scheduling ARINC-653 partitions and therefore should facilitate system integration.
15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'09), IEEE.
WOS ID: 000276774500041.