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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    2023-04-01


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English