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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Worst-case execution time prediction by static program analysis


    Weitere Titelangaben:

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


    Beteiligte:


    Erscheinungsdatum :

    2004


    Format / Umfang :

    10 Seiten, 5 Bilder, 13 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch





    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