Copilot and NASA's Ogma

Projects Showcase
1

Hi everyone :wave:

I'd like to announce a couple of projects related to arduino that the community may find useful:

The first one is Copilot (link), a stream-based language that we use at NASA Langley Research Center for runtime monitoring of drone flights. There's a community library called arduino-copilot (link) that facilitates writing code to implement or monitor arduinos. The author of that library gave a talk showing how to use it (link).

I'd like to also mention Ogma (link), a NASA research tool that facilitates transforming high-level languages into runtime monitors. We have not used it to write arduino code yet, but perhaps people in this community will find a use for it and help us figure out what we can do better or whether anything is missing.

Sorry for the "self"-promotion :slight_smile: I really hope you find this interesting!

Thanks!

4 Likes
2

That's great stuff, thanks for sharing.
The documentation I read so far is clear and well written.
I look forward to seeing how the userbase puts it to use.

1 Like
3

Thanks!! :blush:

4

This is really cool! Do you know if it has been used on any flight hardware yet? If so, which? Thanks!

1 Like
5

Thanks, @paulwb !

NASA uses these systems for experimental flights, yes.