Compositional Analysis of Multi-Mode Systems
Loading...
Penn collection
Departmental Papers (CIS)
Degree type
Discipline
Subject
CPS Real-Time
Computer Sciences
Computer Sciences
Funder
Grant number
License
Copyright date
Distributor
Related resources
Contributor
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.
Advisor
Date of presentation
2010-07-05
Conference name
Departmental Papers (CIS)
Conference dates
2023-05-17T03:49:27.000
Conference location
Date Range for Data Collection (Start Date)
Date Range for Data Collection (End Date)
Digital Object Identifier
Series name and number
Volume number
Issue number
Publisher
Publisher DOI
Comments
The 22nd Euromicro Conference on Real-Time Systems (ECRTS10). July 6-9, 2010. Brussels, Belgium. Cross-reference to: http://repository.upenn.edu/cis_papers/476/">http://repository.upenn.edu/cis_papers/476/