Organizing Information for Execution Time Analysis in Real-Time Embedded Systems.
Yun-Kwan Kim, Won Shin, Tae Wan Kim, Chun-Hyon Chang · Software Engineering Research and Practice · 2007
Response-time constraint is the most important property in real-time systems. Therefore, timing prediction for the guarantee of response-time is requisite for real-time software development. Real-time software is composed of a number of timeand event-triggered methods. As the relationship of different methods caused by time definitions, the execution time analysis of software for timing prediction is generally extremely difficult. As such, this paper presents a program segment for a unit of automation analysis that divides control flows by behaviors of time and events. This program segment is the result of dividing complex programs into simple intuitive codes. The proposed program segment simplifies the analysis target, reduces the overhead due to duplicate analysis and yields formal execution time analysis methods. It can be used to either a static or dynamic execution time analysis by infrastructure. Therefore, developers can easily verify temporal correctness, and understand the timing relationship of software.