Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Real-Time

Date of this Version



Copyright 2009 IEEE. Reprinted from forthcoming:
Arvind Easwaran , Insup Lee , Oleg Sokolsky , Steve Vestal. A Compositional Scheduling Framework for Digital Avionics Systems. Presented at IEEE Real-Time Computing Systems and Applications 2009, Beijing, Aug 24-26, 2009.

This material is posted here with permission of the IEEE. Such permission of the IEEE does not in any way imply IEEE endorsement of any of the University of Pennsylvania's products or services. Internal or personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution must be obtained from the IEEE by writing to By choosing to view this document, you agree to all provisions of the copyright laws protecting it.


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.



Date Posted: 01 October 2009