Date of this Version
Linh T.X. Phan, Insup Lee, and Oleg Sokolsky, "Compositional Analysis of Real-Time Embedded Systems", IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES) , 237-238. October 2011. http://dx.doi.org/10.1145/2038698.2038736
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.
IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES)
© ACM 2011. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in Proceedings of the IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES), http://dx.doi.org/10.1145/2038698.2038736.
Real-time interfaces, Compositional schedulability analysis, Hierarchical scheduling, Multi-mode systems
Date Posted: 13 September 2011
This document has been peer reviewed.