ScholarlyCommons

Title

Compositional Analysis of Multi-Mode Systems

Author(s)

Linh T.X. Phan, University of PennsylvaniaFollow
Insup Lee, University of PennsylvaniaUniversity of PennsylvaniaFollow
Oleg Sokolsky, University of PennsylvaniaFollow

Date of this Version

7-5-2010

Document Type

Conference Paper

Recommended Citation

Linh T.X. Phan, Insup Lee, and Oleg Sokolsky, "Compositional Analysis of Multi-Mode Systems", 22nd Euromicro Conference on Real-Time Systems (ECRTS 2010) , 197-206. July 2010. http://dx.doi.org/10.1109/ECRTS.2010.35

Comments

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/

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.

Subject Area

CPS Real-Time

Publication Source

22nd Euromicro Conference on Real-Time Systems (ECRTS 2010)

Start Page

197

Last Page

206

DOI

10.1109/ECRTS.2010.35

Copyright/Permission Statement

© 2010 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.