<div dir="ltr"><div><span class="gmail-break-words"><span><span dir="ltr">Dear all,</span></span></span></div><div><span class="gmail-break-words"><span><span dir="ltr"><br></span></span></span></div><div><span class="gmail-break-words"><span><span dir="ltr">We are very happy to announce the release of Copilot 3.10. Copilot is a<br>runtime verification system implemented as a Haskell DSL that generates<br>hard-realtime C99. You can learn more about it at [1].<br><br>This new version of Copilot contains a small but important change in how<br>structs are handled in C functions invoked by the monitors when property<br>violations are detected. This change is API-breaking, so users of<br>Copilot may need to adapt their systems accordingly. The release also<br>contains a number of bug fixes, provides a simplified API, deprecates<br>outdated elements, removes unused code, and relaxes version constraints<br>for dependencies. 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] applications) from requirements in structured<br>natural language.<br><br>We'd like to take this opportunity to welcome Will Pogge to the team<br>with his first commit, and thank the Galois team for their<br>contributions. We also want to thank everyone who uses and helps promote<br>Copilot; we are seeing increased attention, and gave three talks in the<br>last two months at JPL, USC, and VCU, with two more taking place this<br>month.<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></span></span></span></div><div><br><span class="gmail-break-words"><span><span dir="ltr"></span></span></span></div><div><span class="gmail-break-words"><span><span dir="ltr"></span></span></span></div><div><span class="gmail-break-words"><span><span dir="ltr">[1] <span class="gmail-break-words"><span><span dir="ltr"><a href="https://github.com/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a></span></span></span></span></span></span></div><div><span class="gmail-break-words"><span><span dir="ltr"><span class="gmail-break-words"><span><span dir="ltr">[2] <span class="gmail-break-words"><span><span dir="ltr"><a href="https://github.com/Copilot-Language/copilot/milestone/14?closed=1">https://github.com/Copilot-Language/copilot/milestone/14?closed=1</a></span></span></span></span></span></span></span></span></span></div><div><span class="gmail-break-words"><span><span dir="ltr"><span class="gmail-break-words"><span><span dir="ltr"><span class="gmail-break-words"><span><span dir="ltr">[3] <a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a></span></span></span></span></span></span></span></span></span></div><div><span class="gmail-break-words"><span><span dir="ltr"><span class="gmail-break-words"><span><span dir="ltr"><span class="gmail-break-words"><span><span dir="ltr">[4] <a href="https://cfs.gsfc.nasa.gov/">https://cfs.gsfc.nasa.gov/</a></span></span></span></span></span></span></span></span></span></div></div>