Date of this Version
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.
Phan, Linh T.X.; Lee, Insup; and Sokolsky, Oleg, "Compositional Analysis of Multi-Mode Systems" (2010). Departmental Papers (CIS). Paper 431.
Date Posted: 14 July 2010
This document has been peer reviewed.