From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS ProjectThe Independent Configurable Architecture for Reliable Operations of Unmanned Systems(ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous operations of unmanned aircraft applications. This paper provides an overview of Monitoring ICAROUS, a project whose objective is to provide a formal approach to generating runtime monitors for autonomous systems from requirements written in a structured natural language. This approach integrates FRET, a formal requirement elicitation and authoring tool, and Copilot, a runtime verification framework. FRET is used to specify formal requirements in structured natural language. These requirements are translated into temporal logic formulae. Copilot is then used to generate executable runtime monitors from these temporal logic specifications. The generated monitors are directly integrated into ICAROUS to perform runtime verification during flight.
Document ID
20205007173
Acquisition Source
Langley Research Center
Document Type
Conference Paper
Authors
Aaron Dutle (Langley Research Center Hampton, Virginia, United States)
Cesar Munoz (Langley Research Center Hampton, Virginia, United States)
Esther Conrad (Langley Research Center Hampton, Virginia, United States)
Alwyn Goodloe (Langley Research Center Hampton, Virginia, United States)
Laura Titolo (National Institute of Aerospace Hampton, Virginia, United States)
Ivan Perez (National Institute of Aerospace Hampton, Virginia, United States)
Swee Balachandran (National Institute of Aerospace Hampton, Virginia, United States)
Dimitra Giannakopoulou (Ames Research Center Mountain View, California, United States)