Nauka ta progres transportu (Jun 2018)
RESEARCH OF LIMIT TIME INDICES OF SOFTWARE ENVIRONMENTS OF REAL TIME OPERATING SYSTEMS
Abstract
Purpose. More than 20 years of the Worst Case Execution Time (WCET) studies have led to the development of many methods for its evaluation. So far, there are no definitive conclusions about usage of these methods. Therefore, the purpose of this paper is to determine the possibility of using a hybrid method for estimating WCET in real-time systems. Methodology. The approach for evaluating WCET for a hybrid method is to parse the input code in the C++ programming language and, after constructing the control flow graph, get the execution time of its base blocks. After finding the longest way of the graph, to estimate the time of execution of this way and get the WCET evaluation. To find the longest-running way, the reverse Dijkstra algorithm was chosen. After that, there was made a comparison of the limiting time estimations that were obtained by static and hybrid methods, as well as an analysis of the discrepancy between these results. Findings. Determining the worst execution time of programs is most important for "hard real-time" tasks. Underestimation of this indicator can lead to catastrophic consequences. An overestimation – to a significant overexpenditure of resources. Therefore, WCET was evaluated using static and dynamic methods. It was determined that the results obtained by the two methods correlate well. For the class of tasks that are under consideration, WCET execution time can be determined using a hybrid method. Adding an extra time of 15–20 % to the results, obtained by the hybrid method, allows getting a foolproof estimate of WCET in real-time systems. Originality. The hybrid method has been existing for some time, but the reliability of its use has not been sufficiently studied yet. The given study makes a step in determining the practical applicability of the hybrid method for time estimation of real-time tasks. Practical value. The results of this research allow us to conclude that a hybrid method could be used for obtaining WCET in "hard real-time" tasks. Furthermore, some unknown at this moment influence of the OS RT environment can be taken into account by adding extra time.
Keywords