Departmental Papers (CIS)

Document Type

Conference Paper

Subject Area

CPS Real-Time

Date of this Version



Suggested Citation:
Phan, L.T.X., Lee, I., Sokolsky, O. (2011). Compositional Analysis of Real-Time Embedded Systems. IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES), Taipei, Taiwan, October 2011 (Tutorial Abstract).

Cross-reference to:

©2011 IEEE. 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 to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.


This tutorial is concerned with various aspects of component-based design and compositional analysis of real-time embedded systems. It will first give an overview of component-based frameworks and their underlying principles. It will then go in-depth into abstraction methods for real-time components and techniques for computing their optimal interfaces, for both systems implemented on uniprocessor and multiprocessor platforms, as well as extensions to multi-mode systems. Besides theoretical aspects, the tutorial will also present an implementation of the compositional analysis framework on Xen virtualization and a demonstration of the CARTS toolset with several examples seeing the techniques in action. It will also include two case studies highlighting the utility of the framework, including the ARINC-653 avionics software and a smart-phone application. We will conclude the tutorial with a number of open challenges and research opportunities in this domain.


Real-time interfaces, Compositional schedulability analysis, Hierarchical scheduling, Multi-mode systems



Date Posted: 13 September 2011

This document has been peer reviewed.