<div dir="ltr">Hi everyone!<br><br>I'm thrilled to announce the release of Ogma 1.6.0!<br><br>NASA's Ogma is a mission assurance tool that facilitates integrating<br>runtime monitors or runtime verification applications into other<br>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). Ogma is also one of the solutions recommended for<br>monitoring in Space ROS applications [2].<br><br>Ogma is fully written in Haskell, and leverages existing Haskell work,<br>like the Copilot language [5] (also funded by NASA) and BNFC [6].<br><br>For more details, including videos of monitors being generated and<br>flown in simulators, see:<br><br><a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a><br><br>* What's changed<br><br>This major release includes the following improments:<br><br>- Update Ogma to be able to extract data from XML files, including<br>  standard formats used in MBSE tools.<br><br>- Provide a new diagram command capable of generating state machine<br>  implementations from diagrams.<br><br>- Make the ROS and F' backend able to use any JSON- or XML files as<br>  input, makes the ROS, F', standalone backends capable of using<br>literal Copilot expressions in requirements and state transitions.<br><br>- Extend Ogma to be able to use external tools to translate<br>  requirements, including LLMs.<br><br>- Make the F' backend able to use templates.<br><br>- Allow users to provide custom definitions for XML and JSON formats<br>  unknown to the tool.<br><br>- Fixes several other smaller maintenance issues.<br><br>- Upgrades the README to include instructions for external<br>  contributors.<br><br>This constitutes the single largest release of Ogma in number of new<br>features added, since its first release.<br><br>For details about the release, see:<br><br><a href="https://github.com/nasa/ogma/releases/tag/v1.6.0">https://github.com/nasa/ogma/releases/tag/v1.6.0</a><br><br>* Releases<br><br>Ogma is released as a collection of packages in Hackage. The entry<br>point 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 Mar 21st, 2025.<br><br>We are currently working on a GUI for Ogma that facilitates collecting<br>all mission data relative to the design, diagrams, requirements and<br>deployments, and help users refine designs and requirements, verify<br>them for correctness, generate monitors and full applications, follow<br>live missions, and produce reports.<br><br>We also want to announce that both Ogma and Copilot can now accept<br>contributions from external users, and we are also keen to see students<br><div>use them for their school projects, their final projects and theses, and</div><div>other research. If you are interested in collaborating, please reach out to</div><a href="mailto:ivan.perezdominguez@nasa.gov">ivan.perezdominguez@nasa.gov</a>.<br><br>We hope that you are as excited as we are and that our work<br>demonstrates that, with the right support, Haskell can reach farther<br>than we ever 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/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a><br><br>[6] <a href="https://github.com/BNFC/bnfc">https://github.com/BNFC/bnfc</a></div>