Schedulability-driven performance analysis of multiple mode embedded real-time systems

被引:13
|
作者
Shin, Y [1 ]
Kim, D [1 ]
Choi, K [1 ]
机构
[1] Univ Tokyo, Ctr Collaborat Res, Tokyo 1068558, Japan
关键词
D O I
10.1145/337292.337556
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Providing multiple modes to support dynamically changing environments, standards, and new services is prevalent in embedded systems, especially in mobile radio systems. Because such a system frequently contains time-constrained tasks, it is important to analyze the temporal requirements as well as the functional correctness. This paper presents a method to analyze temporal requirements imposed on an embedded real-time system supporting multiple modes. While most performance analysis methods focus only on testing the feasibility of a task ora system, our method goes further by addressing the problem of locating hot spots of a system thereby helping the designer to choose among alternative designs or architectures. We formally define the analysis problem and show that it is very unlikely to be solved efficiently. We present a heuristic algorithm, which is accurate and fast enough to be used in iterative processes in system-level analysis and design. The analysis problem is extended to accommodate probabilistic behavior exhibited by soft real-time tasks.
引用
收藏
页码:495 / 500
页数:6
相关论文
共 50 条
  • [41] Schedulability of Real-Time Systems with Enhanced Safety
    Yang, Dingkun
    Hu, Fei
    MULTIMEDIA AND UBIQUITOUS ENGINEERING, 2014, 308 : 391 - 398
  • [42] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
    Kai Lampka
    Simon Perathoner
    Lothar Thiele
    Design Automation for Embedded Systems, 2010, 14 : 193 - 227
  • [43] Dynamic voltage scaling for the schedulability of jitter-constrained real-time embedded systems
    Mochocki, B
    Hu, XBS
    Racu, R
    Ernst, R
    ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2005, : 446 - 449
  • [44] Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems
    Lampka, Kai
    Perathoner, Simon
    Thiele, Lothar
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2010, 14 (03) : 193 - 227
  • [45] A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems
    Chen, Liqiong
    Shao, Zhiqing
    Fan, Guisheng
    Ma, Hanhua
    JOURNAL OF COMPUTERS, 2008, 3 (12) : 35 - 42
  • [46] Schedulability Analysis of Hierarchical Real-Time Systems under Shared Resources
    Biondi, Alessandro
    Buttazzo, Giorgio C.
    Bertogna, Marko
    IEEE TRANSACTIONS ON COMPUTERS, 2016, 65 (05) : 1593 - 1605
  • [47] Schedulability analysis for distributed heterogeneous time/event triggered real-time systems
    Pop, T
    Eles, P
    Peng, Z
    15TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2003, : 257 - 266
  • [48] Compositional schedulability analysis of real-time systems using time Petri nets
    Xu, DX
    He, XD
    Deng, Y
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2002, 28 (10) : 984 - 996
  • [49] 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
  • [50] 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