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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Weitere Titelangaben:

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


    Beteiligte:


    Erscheinungsdatum :

    2008


    Format / Umfang :

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


    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 Archiv | 2011