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 NASA requirements elicitation tool FRET into corresponding 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.
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 fret-component-spec Generate a Copilot file from a FRET Component Specification fret-reqs-db Generate a Copilot file from a FRET Requirements Database
For further information, see:
"Copilot 3", Perez, Dedden and Goodloe. 2020.
"From Requirements to Autonomous Flight", Dutle et al. 2020.
Downloads
- ogma-cli-1.0.6.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 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.11.0.0 && <5), ogma-core (>=1.0.0 && <1.1), optparse-applicative [details] |
License | LicenseRef-OtherLicense |
Author | Ivan Perez, Alwyn Goodloe |
Maintainer | ivan.perezdominguez@nasa.gov |
Category | Aerospace |
Home page | http://nasa.gov |
Uploaded | by IvanPerez at 2022-11-22T00:59:41Z |
Distributions | |
Executables | ogma |
Downloads | 443 total (32 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 2022-11-22 [all 2 reports] |