ROS Index
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file
CONTRIBUTING
Repository Summary
| Description | Generator of runtime monitors for flight and robotics applications. |
| Checkout URI | https://github.com/nasa/ogma.git |
| VCS Type | git |
| VCS Version | develop |
| Last Updated | 2026-02-21 |
| Dev Status | UNKNOWN |
| Released | UNRELEASED |
| Contributing |
Help Wanted (-)
Good First Issues (-) Pull Requests to Review (-) |
Packages
| Name | Version |
|---|---|
| copilot | 0.0.0 |
| test_requirements | 0.0.0 |
README
OGMA
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.
Features
-
Generating NASA Core Flight System runtime monitoring applications that monitor data received from the message bus.
-
Generating Robot Operating System runtime monitoring applications.
-
Generating F’ (FPrime) runtime monitoring components.
-
Generating message handlers for NASA Core Flight System applications to make external data in structs available to a Copilot monitor.
-
Generating monitors from diagrams in diagrammatic formats (e.g., DOT/Graphviz, mermaid).
-
Generating the glue code necessary to work with C structs in Copilot.
Integration of monitors into larger applications (e.g., simulators).
Integration of monitors into robotics applications.
Table of Contents
Installation
Linux Installation
Ubuntu 25.10 / Debian Forky or newer
On Ubuntu 25.10 / Debian Forky or newer, Ogma can be installed directly from the package repositories with:
$ sudo apt-get install ogma
To test that Ogma is available, execute the following to print the list of commands supported:
$ ogma --help
Other Linux distributions
On other Linux distributions or older Debian-based distributions, to use Ogma
you must compile it from source, for which you need a number of pre-requisites,
such as a Haskell compiler (GHC) and the package manager Cabal
(cabal-install), the libraries bz2 and expat, and the theorem prover
z3. At this time, we recommend GHC 8.6 and a version of cabal-install
between 2.4 and 3.2. (Ogma has been tested with GHC versions up to 9.2 and
cabal-install versions up to 3.6, although the installation steps may vary
slightly depending on the version of cabal-install being used.)
On Debian or Ubuntu Linux, these dependencies can be installed with:
$ apt-get install ghc cabal-install libz-dev libbz2-dev libexpat-dev z3
Once the compiler is installed, install Ogma from Hackage with:
```sh $ cabal update $ cabal install –lib copilot copilot-core copilot-c99 copilot-language \
File truncated at 100 lines see the full file