<div dir="ltr">Hi everyone!<br><br>I'm thrilled to announce the release of Ogma 1.0.8!<br><br>Ogma is a NASA tool that facilitates integrating runtime monitors or<br>runtime verification applications into other systems.<br><br>This is one of the biggest releases of Ogma ever: We can now generate<br>monitors for FPrime [1], a component-based flight software framework<br>used in many NASA missions, including the Ingenuity Mars Helicopter.<br><br>Since the last release, Ogma also has officially become one of the<br>solutions recommended for monitoring in Space ROS applications [2].<br><br>Use cases supported by Ogma also include producing Robot Operating<br>System (ROS 2) packages [3] and NASA Core Flight System (cFS) monitoring<br>applications [4], and generating monitors directly from requirements<br>specified using a structured natural language framework [5]. Ogma<br>leverages existing Haskell work, like the Copilot language [6] (also<br>funded by NASA) and BNFC [7].<br><br>For more details, including videos of monitors being generated and flown<br>in simulators, see:<br><a href="https://github.com/nasa/ogma" target="_blank">https://github.com/nasa/ogma</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" target="_blank">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" target="_blank">https://github.com/nasa/ogma</a>.<br><br>* What's coming<br><br>The next release is planned for May 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 process,<br>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>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" target="_blank">https://github.com/nasa/fprime</a><br><br>[2] <a href="https://space.ros.org/" target="_blank">https://space.ros.org/</a><br><br>[3] <a href="https://www.ros.org/" target="_blank">https://www.ros.org/</a><br><br>[4] <a href="https://github.com/nasa/cFS" target="_blank">https://github.com/nasa/cFS</a><br><br>[5] <a href="https://github.com/NASA-SW-VnV/fret" target="_blank">https://github.com/NASA-SW-VnV/fret</a><br><br>[6] <a href="https://github.com/Copilot-Language/copilot" target="_blank">https://github.com/Copilot-Language/copilot</a><br><br>[7] <a href="https://github.com/BNFC/bnfc" target="_blank">https://github.com/BNFC/bnfc</a></div>