Tractable Schedulability Analysis and Resource Allocation for Real-Time Multimodal Systems

被引:3
|
作者
Ahmed, Masud [1 ]
Fisher, Nathan [1 ]
机构
[1] Wayne State Univ, Dept Comp Sci, Detroit, MI 48202 USA
基金
美国国家科学基金会;
关键词
Algorithms; Design; Reliability; Verification; EDF; periodic resource; temporal isolation; real-time systems; multimodal systems; schedulability analysis; resource allocation;
D O I
10.1145/2544375.2544385
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Real-time multimedia subsystems often require support for switching between different resource and application execution modes. To ensure that timing constraints are not violated during or after a subsystem mode change, real-time schedulability analysis is required. However, existing time-efficient multimode schedulability analysis techniques for application-only mode changes are not appropriate for subsystems that require changes in the resource execution behavior (e.g., processors with dynamic power modes). Furthermore, all existing multimode schedulability analysis that handles both resource and application mode changes is highly exponential and not scalable for subsystems with a moderate or large number of modes. As a result, the notion of resource optimality is still unaddressed for real-time multimodal systems. In this report, we first address the lack of tractable schedulability analysis for such subsystems by proposing a model for characterizing multiple resource and application modes and by deriving a sufficient schedulability test that has pseudo-polynomial time complexity. Finally, we propose an algorithm which leverages this pseudo-polynomial schedulability analysis to optimize the resource usages (e.g., to minimize peak-power load) of a multimodal real-time system. Simulation results show that our proposed algorithms for schedulability analysis and resource allocation, when compared with previously-proposed approaches, require significantly less time and are just as precise.
引用
收藏
页数:28
相关论文
共 50 条
  • [31] Schedulability analysis model for multiprocessor real-time systems using UPPAAL
    Dai, Sheng-Xin
    Hong, Mei
    Guo, Bing
    Yang, Qiu-Hui
    Huang, Wei
    Xu, Bao-Ping
    Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 279 - 296
  • [32] Schedulability Analysis for Memory Bandwidth Regulated Multicore Real-Time Systems
    Yao, Gang
    Yun, Heechul
    Wu, Zheng Pei
    Pellizzoni, Rodolfo
    Caccamo, Marco
    Sha, Lui
    IEEE TRANSACTIONS ON COMPUTERS, 2016, 65 (02) : 601 - 614
  • [33] Constraint-Based Schedulability Analysis in Multiprocessor Real-Time Systems
    Lee, Hyuk
    Choi, Jin-Young
    IEEE ACCESS, 2020, 8 : 165168 - 165177
  • [34] TIMES: A tool for schedulability analysis and code generation of real-time systems
    Amnell, T
    Fersman, E
    Mokrushin, L
    Pettersson, P
    Yi, W
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 60 - 72
  • [35] Schedulability analysis in hard real-time systems under thermal constraints
    Shengquan Wang
    Youngwoo Ahn
    Riccardo Bettati
    Real-Time Systems, 2010, 46 : 160 - 188
  • [36] Schedulability analysis of tasks and network traffic in distributed real-time systems
    Cardeira, Carlos
    Mammeri, Zoubir
    Measurement: Journal of the International Measurement Confederation, 1995, 15 (02): : 71 - 83
  • [37] Compositional schedulability analysis of real-time actor-based systems
    Mohammad Mahdi Jaghoori
    Frank de Boer
    Delphine Longuet
    Tom Chothia
    Marjan Sirjani
    Acta Informatica, 2017, 54 : 343 - 378
  • [38] Compositional schedulability analysis of real-time actor-based systems
    Jaghoori, Mohammad Mahdi
    de Boer, Frank
    Longuet, Delphine
    Chothia, Tom
    Sirjani, Marjan
    ACTA INFORMATICA, 2017, 54 (04) : 343 - 378
  • [39] Performance debugging of real-time systems using multicriteria schedulability analysis
    Bordoloi, Unmesh D.
    Chakraborty, Samarjit
    RTAS 2007: 13TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2007, : 193 - +
  • [40] Schedulability analysis in hard real-time systems under thermal constraints
    Wang, Shengquan
    Ahn, Youngwoo
    Bettati, Riccardo
    REAL-TIME SYSTEMS, 2010, 46 (02) : 160 - 188