In this technical report we provide information on the use of the NASA Formal RequirementsElicitation Tool (FRET) to create requirements for a Lift Plus Cruise (LPC) aircraft case study. Furthermore, we provide details on using FRET to translate these requirements into an appropriate format for the Copilot tool, enabling their usage to perform runtime verification on a synthesized LPC system.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study


    Beteiligte:
    Thomas Pressburger (Autor:in) / Andreas Katis (Autor:in) / Aaron Dutle (Autor:in) / Anastasia Mavridou (Autor:in)

    Erscheinungsdatum :

    2023-04-01


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch