[Haskell-cafe] ANN: NASA's Ogma 1.0.8 -- with FPrime support

[Ivan Perez]

Hi everyone!

I'm thrilled to announce the release of Ogma 1.0.8!

Ogma is a NASA tool that facilitates integrating runtime monitors or
runtime verification applications into other systems.

This is one of the biggest releases of Ogma ever: We can now generate
monitors for FPrime [1], a component-based flight software framework
used in many NASA missions, including the Ingenuity Mars Helicopter.

Since the last release, Ogma also has officially become one of the
solutions recommended for monitoring in Space ROS applications [2].

Use cases supported by Ogma also include producing Robot Operating
System (ROS 2) packages [3] and NASA Core Flight System (cFS) monitoring
applications [4], and generating monitors directly from requirements
specified using a structured natural language framework [5]. Ogma
leverages existing Haskell work, like the Copilot language [6] (also
funded by NASA) and BNFC [7].

For more details, including videos of monitors being generated and flown
in simulators, see:
https://github.com/nasa/ogma

* Releases

Ogma is released as a collection of packages in Hackage. The entry point
is https://hackage.haskell.org/package/ogma-cli.

* Code

The github repo is located at: https://github.com/nasa/ogma.

* What's coming

The next release is planned for May 21st, 2023.

Ogma is currently undergoing the qualification process necessary for
NASA Class D Software. Apart from the changes required by that process,
we also have the following in our roadmap:

- Extend ROS 2 monitors with further information about sources of
  violations.

- Add tests to generated code.

- Simplify NASA cFS monitor generation process.

We hope that you are as excited as we are and that our work demonstrates
that, with the right support, Haskell can reach farther than we ever
thought possible.

Happy Haskelling!

Ivan

[1] https://github.com/nasa/fprime

[2] https://space.ros.org/

[3] https://www.ros.org/

[4] https://github.com/nasa/cFS

[5] https://github.com/NASA-SW-VnV/fret

[6] https://github.com/Copilot-Language/copilot

[7] https://github.com/BNFC/bnfc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20230323/d31de6df/attachment.html>