+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.
I 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?
That'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.
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!)