Compositional Analysis of Multi-Mode Systems

被引：19
|
作者：
Phan, Linh T. X. [1 ]
Lee, Insup [1 ]
Sokolsky, Oleg [1 ]
机构：
[1] Univ Penn, Dept Comp & Informat Sci, Philadelphia, PA 19104 USA
来源：
22ND EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2010) | 2010年
关键词：
D O I：
10.1109/ECRTS.2010.35
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：197 / 206
页数：10
相关论文
共 50 条
  • [1] Fault Diagnosability Analysis of Multi-Mode Systems
    Hashemniya, Fatemeh
    Caillaud, Benoit
    Frisk, Erik
    Krysander, Mattias
    Malandain, Mathias
    [J]. IFAC PAPERSONLINE, 2024, 58 (04): : 210 - 215
  • [2] Structural Analysis of Multi-Mode DAE Systems
    Benveniste, Albert
    Caillaud, Benoit
    Elmqvist, Hilding
    Ghorbal, Khalil
    Otter, Martin
    Pouzet, Marc
    [J]. PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK) (HSCC' 17), 2017, : 253 - 263
  • [3] Multi-mode Cryptocurrency Systems
    Duong, Tuyet
    Chepurnoy, Alexander
    Zhou, Hong-Sheng
    [J]. PROCEEDINGS OF THE 2ND ACM WORKSHOP ON BLOCKCHAINS, CRYPTOCURRENCIES, AND CONTRACTS (BCC'18), 2018, : 35 - 46
  • [4] Efficient Mode Changes in Multi-Mode Systems
    Azim, Akramul
    Fischmeister, Sebastian
    [J]. PROCEEDINGS OF THE 34TH IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD), 2016, : 592 - 599
  • [5] Iteration methods in analysis and synthesis of multi-mode microwave systems
    Denisov, G. G.
    Chirkov, A. V.
    [J]. CONFERENCE DIGEST OF THE 2006 JOINT 31ST INTERNATIONAL CONFERENCE ON INFRARED AND MILLIMETER WAVES AND 14TH INTERNATIONAL CONFERENCE ON TERAHERTZ ELECTRONICS, 2006, : 196 - 196
  • [6] MULTI-MODE SWITCHABLE BREATHING SYSTEMS
    RAMAYYA, GP
    [J]. ANAESTHESIA, 1985, 40 (07) : 706 - 707
  • [7] Mode switch timing analysis for component-based multi-mode systems
    Yin, Hang
    Hansson, Hans
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2013, 59 (10) : 1299 - 1318
  • [8] Synthesis of multi-mode waveguide systems
    Kuzikov, S. V.
    Plotkin, M. E.
    [J]. 2007 JOINT 32ND INTERNATIONAL CONFERENCE ON INFRARED AND MILLIMETER WAVES AND 15TH INTERNATIONAL CONFERENCE ON TERAHERTZ ELECTRONICS, VOLS 1 AND 2, 2007, : 764 - 765
  • [9] Timing analysis for mode switch in component-based multi-mode systems
    Hang, Yin
    Hansson, Hans
    [J]. PROCEEDINGS OF THE 24TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2012), 2012, : 255 - 264
  • [10] Modelling of multi-mode servicing systems
    Amirkhanov, SD
    Sirazetdinov, RT
    [J]. IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII AVIATSIONAYA TEKHNIKA, 1995, (04): : 52 - 58
12345