[ main page ] [ back ]

2008 : The Loss of Explicity for Static WCET Analysis during Compilation

Author(s)
Wolfgang WŲgerer
Abstract
The analysis of the worst-case execution time of the processes of a real-time system is an important subtask of building those systems. Especially for hard real-time systems, where a system failure could lead to the loss of human lives, it needs to be ensured that in every case all deadlines of the system are met. Static worst-case execution time (WCET) analysis can provide the necessary safe (over)approximations. Those (over)approximations bear the risk that they are high above the actual worst-case execution time and the system as a whole cannot be built when adhering to the calculated execution time. Today many programs for real-time systems are written in high-level languages such as the C programming language. However, mainly due to the fact that object code contains information on the actually performed processor instructions, it is the state of the art in static WCET analysis to base the analysis on the object code. It turns out that when analyzing object code there are problems for static WCET analysis that are not existent when analyzing highlevel language code. Considered from an abstract point of view, it can be said that there is some information that is easier to extract in high-level language code than in the equivalent object code. In other words it can be claimed that the program representation in high-level language is more explicit as far as that information is concerned than the program representation in object code. This thesis analyses this loss of explicity and wants thereby to support researchers in the area of WCET analysis to reduce that loss of explicity in order to create better WCET analysis systems.
Bibtex
@mastersthesis{ wögerer:2008,
  author =      "Wolfgang Wögerer",
  title =       "The Loss of Explicity for Static WCET Analysis during Compilation",
  address =     "Treitlstr. 3/3/182-1, 1040 Vienna, Austria",
  school =      "Technische Universit{\"a}t Wien, Institut f{\"u}r Technische Informatik",
  year =        "2008"
}
Download
Get 20080424_Master_Thesis_Woegerer.pdf - Adobe PDF-format, (604.6289 KB; posted at July 09 2013)


[ main page ] [ back ]