(List) Open-Source Flight Software Frameworks

I'm huge fan of flight software for satellites. I have been studing the topic for a while, understanding differente approaches and following different actors. This is a list of open-source flight software frameworks, and other resources, I have found acros the years.

Flight Software Frameworks

• NASA's Core Flight System
  • Technology: C
  • Probably the open-source framework with the largest heritage and maturity.
• NASA's F Prime
  • Technology: C++
  • Strongly based on code generation.
• ESA's NanoSat MO
  • Technology: Java
• CubedOS
  • Technology: SPARK/Ada
• Kobos
  • Technology: Rust, C, Python
• DLR's Outpost
  • Technology: C++
• Uni-Stuttgart's Flight Software Framework and sat-rs
  • Are two related frameworks implemented using C++ and Rust respectively.
  • Special mention for sat-rs for beeing the first framework writen in Rust, as far as I know.
• Uni-Colorado's Adamant
  • Technology: SPARK/Ada

---

Operating Systems

This is not list of frameworks, but operating systems envisioned for hosting flight softwares .

• RODOS
  • Technology: C++
  • Real-time microkernel, with its own messagin middleware, pheripherals HAL model, applications model.
  • Large flight heritage.

---

Reference Architectures

A list of reference architectures or technical requirements, in other words, how flight software should be according to someone.

• ESA's SAVOIR
  • Downside: Required to be in a ESA member state to access documentation =,(
• CCSDS CAST: Flight Software as a CCSDS Onboard Reference Architecture

---

Toy/Educational

Any of the aformentioned categories but for educational purpose only.

• SmallSat Flight Software Framework
  • Mine 😁

---

Publications similar to this post

Publications wich also survey flight software frameworks.

• Development of a flight software framework for student CubeSat missions
• A Comparative Survey on Flight Software Frameworks for ‘New Space’ Nanosatellite Missions
• Design and implementation of a framework for spacecraft flight software

Many are to be discovered...