Many tasks in safety-critical embedded systems have hard real-time characteristics. Failure to meet deadlines may result in the loss of life or in large damages. Utmost carefulness and state-of-the-art machinery have to be applied to make sure that all requirements are met. To do so lies in the responsibility of the system designer(s). Fortunately, the state of the art in deriving run-time guarantees for real-time systems has progressed so much that tools based on sound methods are commercially available and have proved their usability in industrial practice. Recent advances in the area of abstract interpretation have led to the development of static program analysis tools that efficiently determine upper bounds for the Worst-Case Execution Time (WCET) of code snippets given as routines in executables. The predicted WCETs can be used to determine an appropriate scheduling scheme for the tasks and to perform an overall schedulability analysis in order to guarantee that all timing constraints will be met (also called timing validation). Some real-time operating systems offer tools for schedulability analysis, but all these tools require the WCETs of tasks as input. aiT enables one to develop complex hard real-time systems on state-of-the-art hardware, increases safety, and saves development time. It has been applied to real-life benchmark programs containing realistically sized code modules. Precise timing predictions make it possible to choose the most cost-efficient hardware. Tools like aiT are of high importance as recent trends, e.g., X-by-wire, require the knowledge of the WCET of tasks.
Worst-case execution time prediction by static program analysis
Vorhersage der Engpaß-Ausführungdauer mit Hilfe der statischen Progammanalyse
2004
10 Seiten, 5 Bilder, 13 Quellen
Aufsatz (Konferenz)
Englisch
A Hybrid Framework of Worst-Case Execution Time Analysis for Real-Time Embedded System Software
British Library Conference Proceedings | 2005
|Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
British Library Conference Proceedings | 2006
|Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code
Springer Verlag | 2006
|