fret
cFS
fret | cFS | |
---|---|---|
6 | 8 | |
317 | 851 | |
2.5% | 3.9% | |
8.9 | 7.1 | |
3 months ago | 10 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).
- FRET: A framework for the elicitation, specification, formalization and understanding of requirements
-
Hacker News top posts: Dec 12, 2021
Formal Requirements Elicitation Tool\ (3 comments)
- Formal Requirements Elicitation Tool
- ANN: NASA's Ogma
cFS
- NASA CoreFlight System (CFS)
- Examples of excellently-written projects.
-
[ANN] NASA's Ogma -- now with FPrime support
[4] https://github.com/nasa/cFS
-
C programming jobs?
I definitely recommend looking at https://github.com/nasa/cFS for some great pure C coding.
-
Resources for Space sector embedded programming
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?
copilot - A stream-based runtime-verification framework for generating hard real-time C code.
fprime - F´ - A flight software and embedded systems framework
copilot - 🤖 🔥 Language-to-actions engine
ogma - Generator of runtime monitors for flight and robotics applications.
IMUtility - A Safety-Critical Utility Code
bnfc - BNF Converter
rust-brotli - Brotli compressor and decompressor written in rust that optionally avoids the stdlib
pim - Source code for the book: Patterns in the Machine: A Software Engineering Guide to Embedded Development
kubos - An open source platform for satellites