NTRS - NASA Technical Reports Server

Back to Results
Integrating FRET with Copilot: Automated Translation of Natural Language Requirements to Runtime MonitorsRuntime verification (RV) enables monitoring systems at runtime, to detect property violations early and limit their potential consequences. To provide the level of assurance required for ultra-critical systems, monitor specifications must faithfully reflect the original mission requirements, which are often written in ambiguous natural language. This paper presents an end-to-end framework to capture requirements in structured natural language and generate monitors that capture their semantics faithfully. We leverage NASA’s Formal Requirement Elicitation Tool (FRET), and the RV system Copilot. We extend FRET with mechanisms to capture additional information needed to generate monitors, and introduce OGMA, a new tool to bridge the gap between FRET and Copilot. With this framework, users can write requirements in an intuitive format and obtain real-time C monitors suitable for use in embedded systems. Our tool chain is available as open source.
Document ID
Acquisition Source
Ames Research Center
Document Type
Technical Memorandum (TM)
Ivan Perez
(National Institute of Aerospace Hampton, Virginia, United States)
Anastasia Mavridou
(Wyle (United States) El Segundo, California, United States)
Thomas Pressburger
(Ames Research Center Mountain View, California, United States)
Alwyn Goodloe
(Langley Research Center Hampton, Virginia, United States)
Dimitra Giannakopoulou
(Ames Research Center Mountain View, California, United States)
Date Acquired
January 17, 2022
Publication Date
February 28, 2022
Subject Category
Mathematical And Computer Sciences (General)
Report/Patent Number
Funding Number(s)
PROJECT: 80ARC020D0010
Distribution Limits
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
runtime monitoring
No Preview Available