Efficient flight software development from natural language requirements needs an effective way to test designs earlier in the software design cycle. A method to automatically derive logical safety constraints and the design state space from natural language requirements is described. The constraints can then be checked using a logical consistency checker and also be used in a symbolic model checker to verify the early design of the system. This method was used to verify a hybrid control design for the suit ports on NASA Johnson Space Center's Space Exploration Vehicle against safety requirements.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification Toolkit for Requirements and Early Design Stages


    Beteiligte:
    J. M. Badger (Autor:in) / S. J. Miller (Autor:in)

    Erscheinungsdatum :

    2011


    Format / Umfang :

    6 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Formal Verification Toolkit for Requirements and Early Design Stages

    Badger, Julia M. / Miller, Sheena Judson | NTRS | 2011


    A formal method for early spacecraft design verification

    Fischer, Philipp M. / Ludtke, Daniel / Schaus, Volker et al. | IEEE | 2013


    Formal verification of safety requirements on complex systems

    Bernardeschi, C. / Fantechi, A. / Gnesi, S. | Tema Archiv | 1996


    Formal Verification in Early Mission Planning

    Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012

    Freier Zugriff

    Formal Verification in Early Mission Planning

    Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012

    Freier Zugriff