Departmental Papers (CIS)
Document Type
Conference Paper
Date of this Version
10-2011
Abstract
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.
Keywords
Real-time interfaces, Compositional schedulability analysis, Hierarchical scheduling, Multi-mode systems
DownloadDate Posted: 13 September 2011
This document has been peer reviewed.
Comments
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).
©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.