<div dir="ltr"><div>Dear all,</div><div><br></div><div>We are very happy to announce the release of Copilot 3.11. Copilot is a</div>runtime verification system implemented as a Haskell DSL that generates<br>hard-realtime C99. Among others, Copilot is being used by the Safety<br>Critical Avionics Systems Branch of NASA Langley Research Center for<br>monitoring test flights of drones. You can learn more about it at [1].<br><br>Copilot 3.11 introduces a new library, copilot-interpreter, that<br>isolates all functions related to simulation of Copilot specifications.<br>The release also contains a number of bug fixes, provides a simplified<br>API, deprecates outdated elements, removes unused code, and introduces<br>support for GHC 9.2. A full list of changes merged is available at [2].<br><br>A substantial effort is being made to achieve NASA's Class D software<br>classification, most notably in terms of development process (which you<br>can partly witness in how issues and PRs are being handled on our github<br>repo), test coverage (mostly with quickcheck), and proofs of correctness<br>of the generated code (with what4).<br><br>Copilot is being used by the Safety-Critical Avionics Systems Branch<br>(D320) of NASA Langley Research Center to conduct experiments related to<br>flight safety of aerial vehicles. We have also built Ogma [3], a tool<br>that allows us to generate full monitoring applications (e.g., NASA's<br>Core Flight System [4] and Robot Operating System [5] applications) from<br>requirements in structured natural language.<br><br>We invite you all to explore Copilot, to try it, and to extend it. If<br>you like it, please help us draw attention to this work with a star on<br>github or a mention online.<br><br>Happy Haskelling,<br>The Copilot Team<br><br>[1] <a href="https://github.com/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a><br>[2] <a href="https://github.com/Copilot-Language/copilot/milestone/15?closed=1">https://github.com/Copilot-Language/copilot/milestone/15?closed=1</a><br>[3] <a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a><br>[4] <a href="https://cfs.gsfc.nasa.gov/">https://cfs.gsfc.nasa.gov/</a><br>[5] <a href="https://www.ros.org/">https://www.ros.org/</a></div>