Press Enter or click the Search button to begin your search.
- Capture mission requirements in high-level language.
- Monitor requirements for robots.
At a Glance
- Transform requirements into runtime monitors for ROS2:
- Requirements elicitation.*
- Transform requirements into Temporal Logic formulas.*
- Transform Temporal Logic formulas into runtime monitors.*
- Generate hard real-time code for monitors.*
- Generate ROS2 application directly from requirements.+
*Steps done in prior work.
+Steps extended from prior work.
Document ID
20220014517
Acquisition Source
Ames Research Center
Document Type
Presentation
Authors
Date Acquired
September 23, 2022
Subject Category
Meeting Information
Meeting: Fourth Workshop on Formal Methods for Autonomous Systems (FMAS 2022)
Location: Berlin
Country: DE
Start Date: September 26, 2022
End Date: September 27, 2022
Sponsors: Humboldt University of Berlin
Funding Number(s)
Distribution Limits
Public
Copyright
Portions of document may include copyright protected material.
Technical Review
NASA Peer Committee
Keywords
No Preview Available