Departmental Papers (CIS)
Document Type
Conference Paper
Date of this Version
7-5-2010
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.
DownloadDate Posted: 14 July 2010
This document has been peer reviewed.
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.
"©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."