DocumentCode
1914316
Title
Compositional Analysis of Multi-mode Systems
Author
Phan, Linh T X ; Lee, Insup ; Sokolsky, Oleg
Author_Institution
Dept. of Comput. & Inf. Sci., Univ. of Pennsylvania, Philadelphia, PA, USA
fYear
2010
fDate
6-9 July 2010
Firstpage
197
Lastpage
206
Abstract
The paper presents a model for multi-mode real-time 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 multi-mode 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.
Keywords
multiprocessing systems; object-oriented programming; real-time systems; scheduling; adaptive streaming system; compositional analysis; multi-mode real-time applications; Adaptation model; Automata; Computational modeling; Processor scheduling; Real time systems; Semantics; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems (ECRTS), 2010 22nd Euromicro Conference on
Conference_Location
Brussels
ISSN
1068-3070
Print_ISBN
978-1-4244-7546-9
Electronic_ISBN
1068-3070
Type
conf
DOI
10.1109/ECRTS.2010.35
Filename
5562912
Link To Document