Compositional Analysis of Multi-mode Systems

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...

Full description

Saved in:
Bibliographic Details
Published in2010 22nd Euromicro Conference on Real-Time Systems pp. 197 - 206
Main Authors Phan, L T X, Insup Lee, Sokolsky, O
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2010
Subjects
Adaptation model
Automata
Computational modeling
Processor scheduling
Real time systems
Semantics
Timing
Online AccessGet full text

Cover

More Information
Summary: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.
ISBN:1424475465
9781424475469
ISSN:1068-3070
2377-5998
DOI:10.1109/ECRTS.2010.35