Date of this Version
Arvind Easwaran, Insup Lee, Oleg Sokolsky, and Steve Vestal, "A Compositional Scheduling Framework for Digital Avionics Systems", 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '09) , 371-380. August 2009. http://dx.doi.org/10.1109/RTCSA.2009.46
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.
15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '09)
© 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Date Posted: 01 October 2009