CARTS: a tool for compositional analysis of real-time systems
ACM SIGBED Review
Towards mode switch handling in component-based multi-mode systems
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Safe schedulability of bounded-rate multi-mode systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Compositional real-time scheduling framework for periodic reward-based task model
Journal of Systems and Software
Timing analysis of multi-mode applications on AUTOSAR conform multi-core systems
Proceedings of the Conference on Design, Automation and Test in Europe
Tractable schedulability analysis and resource allocation for real-time multimodal systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section ESFH'12, ESTIMedia'11 and Regular Papers
Mode switch timing analysis for component-based multi-mode systems
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |
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.