Failure of a safety-critical application on an embedded processor can lead to severe damage or even loss of life. Here we are concerned with two kinds of failure: stack overflow, which usually leads to run-time errors that are difficult to diagnose, and failure to meet deadlines, which is catastrophical for systems with hard real-time characteristics. Classical validation methods like code review and testing with repeated measurements require a lot of effort, are expensive, and do not really help in proving the absence of such errors. AbsInt's tools StackAnalyzer and aiT (timing analyzer) provide a solution to this problem. They use abstract interpretation as a formal method that allows to obtain statements valid for all program runs with all inputs.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Static Memory and Execution Time Analysis of Embedded Code


    Weitere Titelangaben:

    Sae Technical Papers


    Beteiligte:

    Kongress:

    SAE 2006 World Congress & Exhibition ; 2006



    Erscheinungsdatum :

    2006-04-03




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Static memory and execution time analysis of embedded code

    Ferdinand,C. / Heckmann,R. / AbsInt Angewandte Informatik,Saarbruecken,DE | Kraftfahrwesen | 2006


    Worst-case execution time prediction by static program analysis

    Heckmann, Reinhold / Ferdinand, Christian | Tema Archiv | 2004




    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