Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Using a Worst-Case Execution Time Tool for Real-Time Verification of the Debie Software



    Conference:

    Conference, Data systems in aerospace; DASIA 2000 data systems in aerospace ; 2000 ; Montreal, Canada



    Publication date :

    2000-01-01


    Size :

    6 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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


    Worst-case execution time prediction by static program analysis

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


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

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



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

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