Open Source in Space.
summary
Two open-source tools, Copilot and Ogma, implement runtime monitoring for aerospace: Copilot generates hard real-time C with constant memory and time from a Haskell-embedded DSL and Ogma auto-generates runtime monitors for ROS 2, NASA cFS and F′, producing ready-to-run components that publish violations and call handlers. Projects follow NPR7150 processes, run property-based randomized tests (hundreds–thousands per PR), release every two months, and are already used in flights on unmanned aerial systems.
AI-written summary · about
chapters (12)
- 0:00Introduction to open source in space
- 1:34Assuring software in space missions
- 5:48Copilot and Ogma overview
- 10:22Why Haskell for these projects
- 15:18Challenges of using Haskell
- 17:04Ogma as a high-level translator
- 21:18Automating integration with specs
- 21:38NASA’s software qualification process
- 24:30Documentation and open source practices
- 26:13Making processes easier to adopt
- 29:05Licensing and community contributions
- 30:48Key takeaways and Q&A
related talks
51mOpen space: A revolution in robots for space exploration
45mOpen Source on Purpose; Strategy, Process and Tools to Succeed
28mGoverning Open Source in the Enterprise: OSPO Strategies for Innovation and Compliance
19mFrom InnerSource To Open Source: Building a Dual-Focused OSPO in a Tradition...
43mOpen Source Robotics Where we are and where we are heading
41mOpen Source in Action: Pioneering OSS in Real World Production
34mOpen Source in Safety Critical Applications: the Next Frontier
40mHow to Open Source a Project and Possibly Not Fail While Trying