Estimation of the Execution Time in Real-Time Systems

被引：11
|
作者：
Kozyrev, V. P. [1 ,2 ]
机构：
[1] Natl Res Nucl Univ MEPhI, Moscow Engn Phys Inst, Kashirskoye Shosse 31, Moscow 115409, Russia
[2] DS BARS, Vtoroy Silikatnyi Proezd 9,Str 5, Moscow 123308, Russia
来源：
PROGRAMMING AND COMPUTER SOFTWARE | 2016年 / 42卷 / 01期
关键词：
Execution Time; Model Check; Symbolic Execution; Static Analysis Method; Computation Environment;
D O I：
10.1134/S0361768816010059
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Estimation of the worst-case execution time (WCET) of programs is an important problem for the development of real-time systems. In particular, the estimation of the WCET is a goal in the verification of aeronautical software specified in DO-178B/C. This is a difficult problem, and its exact solution is often practically impossible. This problem has been studied for many years; as a result, a lot of techniques for various cases have been developed. A survey of the available techniques for estimating the WCET is presented, which can be useful for choosing methods for solving particular problems.
引用
收藏
页码：41 / 48
页数：8
相关论文
共 50 条
  • [1] Estimation of the execution time in real-time systems
    V. P. Kozyrev
    [J]. Programming and Computer Software, 2016, 42 : 41 - 48
  • [2] Use of Measurements in Worst-Case Execution Time Estimation for Real-Time Systems
    Santillo Costa, Jessica Junia
    de Oliveira, Romulo Silva
    Arcaro, Luis Fernando
    [J]. 2021 XI BRAZILIAN SYMPOSIUM ON COMPUTING SYSTEMS ENGINEERING (SBESC), 2021,
  • [3] Real-time performance estimation for dynamic, distributed real-time systems
    Huh, EN
    Welch, LR
    Mun, Y
    [J]. COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS, 2002, 2331 : 1071 - 1079
  • [4] EXECUTION MODELS FOR RECONFIGURABLE EMBEDDED REAL-TIME SYSTEMS
    Khalgui, Mohamed
    Hanisch, Hans-Michael
    [J]. ASIAN JOURNAL OF CONTROL, 2009, 11 (03) : 249 - 260
  • [5] THE EXECUTION MODEL AND THE ARCHITECTURE FOR REAL-TIME PARALLEL SYSTEMS
    YAMAGUCHI, Y
    TODA, K
    NISHIDA, K
    TAKAHASHI, E
    [J]. INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 177 - 182
  • [6] LETT: An Execution Model for Distributed Real-Time Systems
    Baron, Wojciech
    Arestova, Anna
    Sippl, Christoph
    Hielscher, Kai-Steffen
    German, Reinhard
    [J]. 2021 IEEE 94TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2021-FALL), 2021,
  • [7] Statically safe speculative execution for real-time systems
    Younis, MF
    Marlowe, TJ
    Stoyen, AD
    Tsai, G
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1999, 25 (05) : 701 - 721
  • [8] REAL-TIME EXECUTION MONITORING
    PLATTNER, B
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1984, 10 (06) : 756 - 764
  • [9] Time-accurate ASM As A Refinement Scheme For Worst-Case Execution Time Estimation in Hard Real-Time Systems
    Mguidich, Achraf
    Paun, Vladimir-Alexandru
    Monsuez, Bruno
    Baufreton, Philippe
    [J]. PROCEEDINGS OF 2016 IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS), 2016, : 372 - 372
  • [10] Energy-Aware Scheduling with Uncertain Execution Time for Real-Time Systems
    ZHANG Longxin
    TONG Zhao
    ZHU Ningbo
    XIAO Zheng
    LI Kenli
    [J]. Chinese Journal of Electronics, 2017, 26 (01) : 42 - 49
12345