Departmental Papers (CIS)

Date of this Version

10-2011

Document Type

Conference Paper

Comments

IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES), Taipei, Taiwan, October 2011 (Tutorial Abstract).

Cross-reference to:
http://repository.upenn.edu/cis_papers/431/
http://repository.upenn.edu/cis_reports/964/

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.

Subject Area

CPS Real-Time

Publication Title

IEEE International Conference on Compilers, Architectures and Synthesis of Embedded Systems (CASES)

First Page

237

Last Page

238

DOI

10.1145/2038698.2038736

Permission Statement

© 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.

Keywords

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

Share

COinS
 

Date Posted: 13 September 2011

This document has been peer reviewed.