<div dir="ltr">Hi everyone!<br><br>I'm really excited to announce the release of Ogma 1.0.7!<br><br>Ogma is a NASA tool that facilitates integrating runtime monitors or<br>runtime verification applications into other systems. Ogma extends<br><div>Copilot [1], a high-level runtime verification framework that generates</div><div>hard real-time code.</div><br>In spite of the small increase in the version number, the feature<br>included in this version is big: we now generate monitors for Robot<br>Operating System (ROS 2) applications.<br><br>Use cases supported by Ogma also include generating monitors directly<br>from requirements specified using a structure natural language<br>framework, and producing NASA Core Flight System (cFS) monitoring<br>applications.<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">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">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 March 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>Happy Haskelling!<br><br><div>Ivan</div><div><br></div><div>[1] <a href="https://github.com/Copilot-Language/copilot/">https://github.com/Copilot-Language/copilot/</a></div></div>