<div dir="ltr">Dear café<br><br>We are thrilled to announce the release of Ogma, a new open-source NASA tool, written in Haskell, to generate hard-realtime C runtime monitoring applications from high-level specifications.<br><br>Ogma takes the output of existing tools, like NASA's requirements elicitation tool FRET [2], and produces monitors in Copilot [3], a runtime verification language that can be compiled to hard-realtime C99. <br><br>Ogma is also able to produce monitoring applications for NASA's Core Flight System (cFS), which can be compiled alongside existing applications to flag requirement violations.<br><br>On the website you will see several videos, including one with a FRET requirement being monitored inside the XPlane flight simulator by taking the code generated by Ogma and making it accessible to the simualtor via a custom on-screen plugin.<br><br>This is research-only software (Class E) and it has not been certified for use in aircraft or UAVs. We are currently using it for upcoming experiments at NASA Langley.<br><br>We'd like to also take this opportunity to publicly thank the team that creates BNFC, for their tool, their response to technical questions during the development of ogma, and for accommodations made to help us speed up our release process.<br><br>If you have any issues, feel free to open a ticket in the github repo directly.<br><br>Happy haskelling,<br><br>[1] <a href="https://github.com/NASA/ogma">https://github.com/NASA/ogma</a><br>[2] <a href="https://github.com/NASA-SW-VnV/fret">https://github.com/NASA-SW-VnV/fret</a><br>[3] <a href="https://github.com/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a></div>