<div dir="ltr"><div class="gmail-cooked"><p>(Apologies if you see this through multiple channels.)<br></p><p>Hi everyone,</p>
<p>I’m very excited to announce Copilot 3.14. Copilot is a stream-based 
EDSL in Haskell for writing and monitoring embedded C programs, with an 
emphasis on correctness and hard realtime requirements. Copilot is 
typically used as a high-level runtime verification framework, and 
supports temporal logic (LTL, PTLTL and MTL), clocks and voting 
algorithms.</p>
<p>Copilot has been used at NASA in drone test flights. Through the NASA tool Ogma [1] (also written in Haskell), Copilot also serves as a runtime 
monitoring backend for the requirements elicitation tool FRET [4], and can 
target NASA’s Core Flight System and the Robot Operating System (ROS2) 
applications.</p>
<p>This new version provides up-to-date compiler support, simplifies the
 API, and improves the documentation. For details, see [2].<br></p>
<p>As always, we’re releasing exactly 2 months since the last release. Our next release is scheduled for May 7th, 2023. We have almost 
completed the C99 unit tests, and plan to include those in the next 
version. Copilot is currently undergoing the qualification process 
necessary for NASA Class D Software. Current emphasis is on increasing 
test coverage, removing unnecessary dependencies, hiding internal 
definitions, and formatting the code to meet our new coding standards. 
Users are encouraged to participate by opening issues and asking 
questions via our github repo [3]</p>
<p>There’s been many more updates on the Copilot front in the last few months. We’ll be able to announce more soon. Stay tuned.</p>
<p>Happy Haskelling!</p>
<p>Ivan</p><p>[1] <a href="https://github.com/nasa/ogma">https://github.com/nasa/ogma</a></p><p>[2] <a href="https://github.com/Copilot-Language/copilot/releases/tag/v3.14">https://github.com/Copilot-Language/copilot/releases/tag/v3.14</a></p><p>[3] <a href="https://github.com/Copilot-Language/copilot">https://github.com/Copilot-Language/copilot</a></p><p>[4] <a href="https://github.com/NASA-SW-VnV/fret">https://github.com/NASA-SW-VnV/fret</a></p></div></div>