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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Worst-case execution time prediction by static program analysis


    Additional title:

    Vorhersage der Engpaß-Ausführungdauer mit Hilfe der statischen Progammanalyse


    Contributors:


    Publication date :

    2004


    Size :

    10 Seiten, 5 Bilder, 13 Quellen


    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Worst-Case Execution-Time-Aware Parallelization of Model-Based Avionics Applications

    Reder, Simon / Kempf, Fabian / Bucher, Harald et al. | AIAA | 2019



    A Hybrid Framework of Worst-Case Execution Time Analysis for Real-Time Embedded System Software

    Lee, J.-I. / Park, S.-H. / Bang, H.-J. et al. | British Library Conference Proceedings | 2005


    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, C. / Heckmann, R. / Wilhelm, R. | British Library Conference Proceedings | 2006


    Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code

    Ferdinand, Christian / Heckmann, Reinhold / Wilhelm, Reinhard | Springer Verlag | 2006