<div dir="ltr">Hi everyone!<br><br>I'm thrilled to announce the release of Ogma 1.0.9!<br><br>Ogma is a NASA tool that facilitates integrating runtime monitors or<br>runtime verification applications into other systems.<br><br>Use cases supported by Ogma include producing Robot Operating System<br>(ROS 2) packages [3], NASA Core Flight System (cFS) applications [4],<br>and components for FPrime [1] (the software framework used for the Mars<br>Helicopter), as well as generating monitors from requirements specified<br>in natural language [5]. Ogma is also one of the solutions recommended<br>for monitoring in Space ROS applications [2].<br><br>Ogma leverages existing Haskell work, like the Copilot language [6]<br>(also funded by NASA) and BNFC [7].<br><br>For more details, including videos of monitors being generated and<br>flown in simulators, see:<br><a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a><br><br>* What's changed<br><br>This release improves the user experience and fixes a number of bugs in<br>the code and documentation. A new flag `--target-file-name` allows<br>users to specify the root for C monitoring files generated by some of<br>the backends, which makes for a simpler process.<br><br>For details about the release, see:<br><a href="https://github.com/nasa/ogma/releases/tag/v1.0.9">https://github.com/nasa/ogma/releases/tag/v1.0.9</a><br><br>* Releases<br><br>Ogma is released as a collection of packages in Hackage. The entry point<br>is <a href="https://hackage.haskell.org/package/ogma-cli">https://hackage.haskell.org/package/ogma-cli</a>.<br><br>* Code<br><br>The github repo is located at: <a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a>.<br><br>* What's coming<br><br>The next release is planned for Jul 21st, 2023.<br><br>Ogma is currently undergoing the qualification process necessary for<br>NASA Class D Software. Apart from the changes required by that<br>process, we also have the following in our roadmap:<br><br>- Extend ROS 2 monitors with further information about sources of<br>  violations.<br><br>- Add tests to generated code.<br><br>- Simplify NASA cFS monitor generation process.<br><br>- Simplify the architecture. More specifically, we now have improved<br>  the compilation process by using a higher-kinded data structure,<br>  allowing us to incorporate different kinds of information to syntax<br>  trees used during both parsing and code generation. This feature has<br>  been prototyped, and is currently undergoing testing.<br><br>We hope that you are as excited as we are and that our work demonstrates<br>that, with the right support, Haskell can reach farther than we ever<br>thought possible.<br><br>Happy Haskelling!<br><br>Ivan<br><br>[1] <a href="https://github.com/nasa/fprime">https://github.com/nasa/fprime</a><br><br>[2] <a href="https://space.ros.org/">https://space.ros.org/</a><br><br>[3] <a href="https://www.ros.org/">https://www.ros.org/</a><br><br>[4] <a href="https://github.com/nasa/cFS">https://github.com/nasa/cFS</a><br><br>[5] <a href="https://github.com/NASA-SW-VnV/fret">https://github.com/NASA-SW-VnV/fret</a><br><br>[6] <a href="https://github.com/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a><br><br>[7] <a href="https://github.com/BNFC/bnfc">https://github.com/BNFC/bnfc</a></div>