Models And Algorithms Of Worst-Case Execution Time Analysis For Real-Time Programs

In recent years, there are some increasing requirements of embedded real-time system in traffic vehicles, industrial control, mobile communications and so on. These system are controlled by computer systems interacting in real-time with their environments. Since failure of many of these real-time computer systems may endanger human life or substantial economic values, there is a high demand for development methods which minimize the risk of failure. A common cause of such failures is timing problems.Timing analysis is an essential process for development of real-time embedded system and the knowledge about the worst-case execution time (WCET) of real-time programs is critical to validation of temporal correctness of implemented system.The purpose of Worst-Case Execution Time (WCET) analysis is to provide a priori information about the worst possible execution time of a piece of code before using it in a system. WCET estimates are used in the development of real-time systems and embedded systems to perform scheduling and schedulability analysis, to determine whether performance goals are met for real-time tasks, to check that interrupts have sufficiently short reaction times, and for many other purposes.The models and algorithms of WCET analysis for embedded real-time programs are analyzed In this paper. A WCET analysis framework for embedded real-time programs is presented and the experimental result based on GCC is given.