Compositional analysis of real-time embedded systems

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

Full description

Saved in:
Bibliographic Details
Published in2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES) pp. 237 - 238
Main Authors Phan, Linh T.X., Lee, Insup, Sokolsky, Oleg
Format Conference Proceeding
LanguageEnglish
Published New York, NY, USA ACM 09.10.2011
IEEE
SeriesACM Conferences
Subjects
Compositional schedulability analysis
Computational modeling
Computer systems organization > Embedded and cyber-physical systems
Computer systems organization > Real-time systems
Computers
Educational institutions
Embedded systems
Hierarchical scheduling
Multi-mode systems
Real time systems
Real-time interfaces
Software and its engineering > Software notations and tools > General programming languages > Language features > Modules > packages
Software and its engineering > Software organization and properties > Contextual software domains > Operating systems > Process management > Scheduling
Tutorials
multi-mode systems
hierarchical scheduling
real-time interfaces
compositional schedulability analysis
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:9781450307130
1450307132
DOI:10.1145/2038698.2038736