TY - GEN
T1 - A compositional scheduling framework for digital avionics systems
AU - Easwaran, Arvind
AU - Lee, Insup
AU - Sokolsky, Oleg
AU - Vestal, Steve
PY - 2009
Y1 - 2009
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=72349088813&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=72349088813&partnerID=8YFLogxK
U2 - 10.1109/RTCSA.2009.46
DO - 10.1109/RTCSA.2009.46
M3 - Conference contribution
AN - SCOPUS:72349088813
SN - 9780769537870
T3 - Proceedings - 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009
SP - 371
EP - 380
BT - Proceedings - 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009
T2 - 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009
Y2 - 24 August 2009 through 26 August 2009
ER -