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.
Using FRET to Create, Analyze and Monitor Requirements for a Lift Plus Cruise Case Study
2023-04-01
Report
Keine Angabe
Englisch