Departmental Papers (CIS)

Document Type

Conference Paper

Date of this Version

7-5-2010

Comments

Suggested Citation:
Phan, Linh T.X, Lee, Insup, Sokolsky, Oleg. "Compositional Analysis of Multi-Mode Systems" The 22nd Euromicro Conference on Real-Time Systems (ECRTS10). July 6-9, 2010. Brussels, Belgium.

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

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

Abstract

The paper presents a model for multi-mode realtime applications and develops new techniques for the compositional analysis of systems that contain multiple such applications. An algorithm for constructing an interface for a single multimode application is presented. Then, a method for computing an interface of a composite application is presented, which uses only the interfaces of constituent applications. A case study of an adaptive streaming system demonstrates that multi-mode analysis offers more precise results compared to a unimodal worst-case analysis.

Share

COinS
 

Date Posted: 14 July 2010

This document has been peer reviewed.