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

[1]  Insup Lee,et al.  Incremental schedulability analysis of hierarchical real-time components , 2006, EMSOFT '06.

[2]  Insup Lee,et al.  Compositional real-time scheduling framework , 2004, 25th IEEE International Real-Time Systems Symposium.

[3]  Insup Lee,et al.  Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems , 2009, 2009 30th IEEE Real-Time Systems Symposium.

[4]  Jean-Chrysostome Bolot,et al.  Control mechanisms for packet audio in the Internet , 1996, Proceedings of IEEE INFOCOM '96. Conference on Computer Communications.

[5]  Lothar Thiele,et al.  Adaptive power management for real-time event streams , 2010, 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC).

[6]  Mohamad Sofian Abu Talip,et al.  IEICE Transactions on Information and Systems , 2012 .

[7]  Tei-Wei Kuo,et al.  RTSS 2007: Preface , 2007, RTSS 2007.

[8]  LeeInsup,et al.  Compositional real-time scheduling framework with periodic model , 2008 .

[9]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, 28th IEEE International Real-Time Systems Symposium (RTSS 2007).

[10]  Alfons Crespo,et al.  Mode Change Protocols for Real-Time Systems: A Survey and a New Proposal , 2004, Real-Time Systems.

[11]  Giuseppe Lipari,et al.  Elastic task model for adaptive rate control , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[12]  Gerhard Fohler,et al.  Changing Operational Modes in the Context of Pre Run-Time Scheduling (Special Issue on Responsive Computer Systems) , 1993 .

[13]  Samarjit Chakraborty,et al.  A Multi-mode Real-Time Calculus , 2008, 2008 Real-Time Systems Symposium.

[14]  Frank Slomka,et al.  Advanced Hierachical Event-Stream Model , 2008, 2008 Euromicro Conference on Real-Time Systems.

[15]  Lothar Thiele,et al.  Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling , 2005, EMSOFT.

[16]  Insup Lee,et al.  Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors , 2008, 2008 Euromicro Conference on Real-Time Systems.

[17]  Samarjit Chakraborty,et al.  Cache-aware timing analysis of streaming applications , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[18]  Insup Lee,et al.  Compositional real-time scheduling framework with periodic model , 2008, TECS.

[19]  Lui Sha,et al.  Mode change protocols for priority-driven preemptive scheduling , 1989, Real-Time Systems.

[20]  Lothar Thiele,et al.  Reliable mode changes in real-time systems with fixed priority or EDF scheduling , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[21]  Lothar Thiele,et al.  Interface-Based Rate Analysis of Embedded Systems , 2006, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06).

[22]  Insup Lee,et al.  Compositional Analysis Framework Using EDP Resource Models , 2007, RTSS 2007.