Compositional Analysis of Real-Time Embedded Systems

Loading...
Thumbnail Image
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Real-Time
Real-time interfaces
Compositional schedulability analysis
Hierarchical scheduling
Multi-mode systems
Computer Sciences
Physical Sciences and Mathematics
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
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.

Advisor
Date of presentation
2011-10-01
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T06:31:58.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Journal Issue
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/
Recommended citation
Collection