[Haskell-cafe] ANN: Copilot 3.10
ivanperezdominguez at gmail.com
Sat Jul 16 09:49:35 UTC 2022
> We also want to thank everyone who uses and helps promote
By the way, I'd like to give a shoutout to Joey Hess, who has built
arduino-copilot <https://hackage.haskell.org/package/arduino-copilot> and
zephyr-copilot <https://hackage.haskell.org/package/zephyr-copilot>. Joey
updated both projects immediately after our release so that they work with
I've just found out that he also gave a talk
<https://www.youtube.com/watch?v=l-luyVRgWVU> on his work, which I think
does an amazing job at showing how easy it is to get it running on arduinos.
On Tue, 12 Jul 2022 at 07:43, Ivan Perez <ivanperezdominguez at gmail.com>
> Dear all,
> We are very happy to announce the release of Copilot 3.10. Copilot is a
> runtime verification system implemented as a Haskell DSL that generates
> hard-realtime C99. You can learn more about it at .
> This new version of Copilot contains a small but important change in how
> structs are handled in C functions invoked by the monitors when property
> violations are detected. This change is API-breaking, so users of
> Copilot may need to adapt their systems accordingly. The release also
> contains a number of bug fixes, provides a simplified API, deprecates
> outdated elements, removes unused code, and relaxes version constraints
> for dependencies. A full list of changes merged is available at .
> A substantial effort is being made to achieve NASA's Class D software
> classification, most notably in terms of development process (which you
> can partly witness in how issues and PRs are being handled on our github
> repo), test coverage (mostly with quickcheck), and proofs of correctness
> of the generated code (with what4).
> Copilot is being used by the Safety-Critical Avionics Systems Branch
> (D320) of NASA Langley Research Center to conduct experiments related to
> flight safety of aerial vehicles. We have also built Ogma , a tool
> that allows us to generate full monitoring applications (e.g., NASA's
> Core Flight System  applications) from requirements in structured
> natural language.
> We'd like to take this opportunity to welcome Will Pogge to the team
> with his first commit, and thank the Galois team for their
> contributions. We also want to thank everyone who uses and helps promote
> Copilot; we are seeing increased attention, and gave three talks in the
> last two months at JPL, USC, and VCU, with two more taking place this
> We invite you all to explore Copilot, to try it, and to extend it. If
> you like it, please help us draw attention to this work with a star on
> github or a mention online.
> Happy Haskelling,
> The Copilot Team
>  https://github.com/Copilot-Language/copilot
>  https://github.com/Copilot-Language/copilot/milestone/14?closed=1
>  https://github.com/nasa/ogma
>  https://cfs.gsfc.nasa.gov/
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe