Hi everyone! I'm thrilled to announce the release of Ogma 1.10.0! NASA's Ogma is a mission assurance tool that generates robotics and flight applications. Use cases supported by Ogma include producing Robot Operating System (ROS 2) packages [3], NASA Core Flight System (cFS) applications [4], and components for FPrime [1] (the software framework used for the Mars Helicopter). Ogma is also one of the solutions recommended for monitoring in Space ROS applications [2]. Ogma is fully written in Haskell, and leverages existing Haskell work, like the Copilot language [5] (also funded by NASA) and BNFC [6]. For more details, including videos of monitors being generated and flown in simulators, see: https://github.com/nasa/ogma * What's changed This major release includes the following improvements: - Ogma is now released under Apache license. - Fix several small errors in cFS template. - Fix bug in ROS 2 template generation when handlers have no arguments. - Install ROS 2 package locally in generated Dockerfile. - Add examples demonstrating ROS 2, cFS. - Add CI action for cFS test. - Fix several other smaller maintenance issues. For details about the release, see: https://github.com/nasa/ogma/releases/tag/v1.10.0 * Releases Ogma is released as a collection of packages in Hackage. The entry point is https://hackage.haskell.org/package/ogma-cli. It is also available in new releases of Ubuntu and Debian (testing), from the official package repositories of those distros; thanks to Scott Talbert and the rest of the Debian Haskell Group. * Code The github repo is located at: https://github.com/nasa/ogma. * What's coming The next release is planned for Nov 21st, 2025. We are currently working on a GUI for Ogma that facilitates collecting all mission data relative to the design, diagrams, requirements and deployments, and help users refine designs and requirements, verify them for correctness, generate monitors and full applications, follow live missions, and produce reports. We also want to remind users that both Ogma and Copilot can now accept contributions from external users, and we are also keen to see students use them for their school projects, their final projects and theses, and other research. If you are interested in collaborating, please reach out to ivan.perezdominguez@nasa.gov. We hope that you are as excited as we are and that our work demonstrates that, with the right support, Haskell can reach farther than we ever thought possible. Happy Haskelling! Ivan [1] https://github.com/nasa/fprime [2] https://space.ros.org/ [3] https://www.ros.org/ [4] https://github.com/nasa/cFS [5] https://github.com/Copilot-Language/copilot [6] https://github.com/BNFC/bnfc