Departmental Papers (CIS)

Date of this Version


Document Type

Conference Paper


Presented at IEEE Real-Time Computing Systems and Applications 2009, Beijing, Aug 24-26, 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.

Subject Area

CPS Real-Time

Publication Source

15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '09)

Start Page


Last Page




Copyright/Permission Statement

© 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