ogma-cli: Ogma: Helper tool to interoperate between Copilot and other languages.
Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code.
Some use cases supported by Ogma include:
Translating requirements defined in structured natural language into monitors in Copilot.
Generating the glue code necessary to work with C structs in Copilot.
Generating NASA Core Flight System applications that use Copilot for monitoring data received from the message bus.
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
Generating Robot Operating System (ROS 2) applications that use Copilot for monitoring data received from different topics.
Generating F' components that use Copilot for monitoring.
The main invocation with --help
lists sub-commands available.
$ ogma --help ogma - an anything-to-Copilot application generator Usage: ogma COMMAND Generate complete or partial Copilot applications from multiple languages Available options: -h,--help Show this help text Available commands: structs Generate Copilot structs from C structs handlers Generate message handlers from C structs cfs Generate a complete CFS/Copilot application fprime Generate a complete F' monitoring component ros Generate a ROS 2 monitoring application standalone Generate a Copilot file from an input specification
For further information, see:
"Copilot 3", Perez, Dedden and Goodloe. 2020.
"From Requirements to Autonomous Flight", Dutle et al. 2020.
Downloads
- ogma-cli-1.5.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 1.0.6, 1.0.7, 1.0.8, 1.0.9, 1.0.10, 1.0.11, 1.1.0, 1.2.0, 1.3.0, 1.4.0, 1.4.1, 1.5.0 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.11.0.0 && <5), ogma-core (>=1.5.0 && <1.6), optparse-applicative [details] |
License | LicenseRef-OtherLicense |
Author | Ivan Perez, Alwyn Goodloe |
Maintainer | ivan.perezdominguez@nasa.gov |
Category | Aerospace |
Home page | https://github.com/nasa/ogma |
Uploaded | by IvanPerez at 2024-11-22T23:40:24Z |
Distributions | |
Executables | ogma |
Downloads | 492 total (14 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2024-11-23 [all 2 reports] |