fret
cFS
Our great sponsors
- Appwrite - The open-source backend cloud platform
- Onboard AI - Learn any GitHub repo in 59 seconds
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
| fret | cFS | |
|---|---|---|
| 6 | 8 | |
| 227 | 613 | |
| 3.1% | 4.4% | |
| 8.7 | 0.0 | |
| 11 days ago | 24 days ago | |
| JavaScript | CMake | |
| GNU General Public License v3.0 or later | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
fret
-
[ANN] NASA's Ogma -- now with FPrime support
[5] https://github.com/NASA-SW-VnV/fret
-
[ANN] Copilot 3.12
Among others, Copilot has been used at the Safety Critical Avionics Systems Branch of NASA Langley Research Center for monitoring test flights of drones. It also serves as a runtime monitoring backend for the requirements elicitation tool FRET (https://github.com/NASA-SW-VnV/fret/), via Ogma (https://github.com/nasa/ogma).
-
Hacker News top posts: Dec 12, 2021
Formal Requirements Elicitation Tool\ (3 comments)
- ANN: NASA's Ogma
cFS
- Examples of excellently-written projects.
-
[ANN] NASA's Ogma -- now with FPrime support
[4] https://github.com/nasa/cFS
-
Resources for Space sector embedded programming
I'd recommend looking at some open source flight software frameworks, such as NASA's cFS (https://github.com/nasa/cfs), NASA's F' (https://github.com/nasa/fprime), or Kubos (https://github.com/kubos/kubos), just to name a few.
Nowadays there's a trend towards openness and reusability. There's frameworks like the NASA Core Flight System (cFS) and the NASA JPL F Prime framework. There's also workshops where all of us flight software engineers get together and discuss new research, trends etc: https://www.youtube.com/c/FlightSoftwareWorkshop
-
Ask HN: What open source projects go to space?
Core Flight System (cFS) https://github.com/nasa/cFS
NASA has a lot of open source projects including a bunch that don't "go to space" but are used in space related projects (check each project for contributor guidelines):
https://github.com/nasa/openmct - web based mission control software
-
ANN: NASA's Ogma
Your best bet is probably to read the documentation of the project itself, as well as documentation from the associated projects FRET, Copilot (https://copilot-language.github.io/documentation.html, https://ntrs.nasa.gov/citations/20200003164), and cFS (https://github.com/nasa/cFS).
What are some alternatives?
fprime - F´ - A flight software and embedded systems framework
Open MCT - A web based mission control framework.
copilot - A stream-based runtime-verification framework for generating hard real-time C code.
luos_engine - Open-source and real-time orchestrator for cyber-physical-systems, to easily design, test and deploy embedded applications and digital twins.
kubos - An open source platform for satellites
ogma
rust-brotli - Brotli compressor and decompressor written in rust that optionally avoids the stdlib
trick - Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.
pim - Source code for the book: Patterns in the Machine: A Software Engineering Guide to Embedded Development
IMUtility - A Safety-Critical Utility Code