4 ms·
For those without a NASA-level drone at home that still want to play around with generating hard-realtime C code, there is the excellent arduino-copilot package
by WJW 5y ago
For those without a NASA-level drone at home that still want to play around with generating hard-realtime C code, there is the excellent arduino-copilot package (https://hackage.haskell.org/package/arduino-copilot https://hackage.haskell.org/package/arduino-copilot) that does exactly what the name implies. I wrote a blog post about it at https://wjwh.eu/posts/2020-01-30-arduino-copilot.html https://wjwh.eu/posts/2020-01-30-arduino-copilot.html.
- ivanperez-keera 5y ago+1. For those wondering what the connection is: Ogma generates Copilot code, which you can compile to Arduino. But you can also of course write Copilot code directly.
- sitkack 5y agoThank you for such a wonderful readme!
- ivanperez-keera 5y agoThat's very kind of you! I do try to make my READMEs very clear, so I'm glad someone noticed! :)
- i_don_t_know 5y agoI find this space fascinating. Can you recommend books or other resources to learn more about hard real-time systems, modeling and model-checking, and hardware-in-the-loop testing?
- ivanperez-keera 5y agoThat's an excellent question. The truth is that I do not know. What I didn't pick up during my uni studies, I did just through work. I'd love to hear other suggestions that people have. Specifically for the topic of this repo, we have a bunch of papers on Copilot, and related topics (FRP). I generally try to make the papers very accessible. I don't want to spam, but I can add the links if you think that may be interesting.
- i_don_t_know 5y agoI looked around on the Copilot page and found a link to the papers: https://github.com/Copilot-Language/copilot-discussion https://github.com/Copilot-Language/copilot-discussion You might consider adding a Publications or Papers section to the documentation page that links directly to the PDFs. (But the link to the repo is fine too!) Very nice project!
- pizza 5y agoIf I recall correctly, Galois also got involved in a DARPA initiative a few years back (HACMS [0]) to create un-hackable UAVs (drones) - use the Haskell type system to produce non-vulnerable C code [0] https://galois.com/project/hacms-high-assurance-cyber-military-systems/ https://galois.com/project/hacms-high-assurance-cyber-milita...