Date of this Version
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
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.
22nd Euromicro Conference on Real-Time Systems (ECRTS 2010)
© 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.
Date Posted: 14 July 2010
This document has been peer reviewed.