Estimation of the execution time in real-time systems
- Authors: Kozyrev V.P.1,2
-
Affiliations:
- National Research Nuclear University MEPhI (Moscow Engineering Physics Institute)
- DS BARS
- Issue: Vol 42, No 1 (2016)
- Pages: 41-48
- Section: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176403
- DOI: https://doi.org/10.1134/S0361768816010059
- ID: 176403
Cite item
Abstract
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.
About the authors
V. P. Kozyrev
National Research Nuclear University MEPhI (Moscow Engineering Physics Institute); DS BARS
Author for correspondence.
Email: Vladimir.Kozyrev@dcbars.ru
Russian Federation, Kashirskoye shosse 31, Moscow, 115409; Vtoroy Silikatnyi proezd 9, str. 5, Moscow, 123308