The work in this paper builds upon prior work to analyze properties of applications running on top of the Deos real-time operating system. The authors describe how a control application's worst-case response time to an event can be 'computed' using the model checker SPIN. The authors lay out the steps involved in reusing their existing models for this analysis, and their solution to reducing the memory required to perform the analysis. This work highlights the benefit of expanding the use of formal models, and the necessity of changing existing abstractions (such as the timer model in this work) to reflect changed verification goals.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Computing worst-case response times in real-time avionics applications


    Additional title:

    Berechnung der ungünstigsten Antwortzeiten in Echtzeit-Avionik-Anwendungen


    Contributors:


    Publication date :

    2008


    Size :

    14 Seiten, 14 Bilder, 9 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


    Grumman's real time computing system for avionics testing

    SCHIANO, C. / SILBERTO, J. | AIAA | 1986



    Real Time Aspects of Manned Space Flight Avionics Computing

    Anderman, Alfred | Springer Verlag | 1994


    Real-time avionics optimization

    Eisenbrand, Friedrich / Niemeier, Martin / Skutella, Martin et al. | Tema Archive | 2011