Our great sponsors
cFS | IMUtility | |
---|---|---|
8 | 5 | |
684 | 31 | |
3.4% | - | |
7.4 | 7.4 | |
14 days ago | 20 days ago | |
CMake | C | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
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.
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).
IMUtility
-
An open-source project that aims to comply with safety-critical requirements
Does anyone know of a small or medium-sized open-source project that would be interested in adapting its code to comply with safety-critical standards? Our project, https://github.com/IMProject/IMUtility, would like to port all reusable code as a utility so it could be added as a submodule. We also offer assistance in integrating ECALIER into the project.
-
Running MISRA-C analysis tool.
You can take look at how we integrated MISRA C 2012 from cppcheck. We also have ECLAIR but it is not free. https://github.com/IMProject/IMUtility
-
What should I look for in a Master's Degree for Embedded Systems?
You can join our project at https://github.com/IMProject/IMUtility and write a master's thesis in which you compare the latency and memory usage of algorithms written in compliance with the MISRA coding standard versus those that are not. I would expect non-MISRA algorithms to be more optimized, but nobody really knows the answer since no one has yet conducted such a comparison. This could open doors for you at all automotive companies in Germany. ;)
-
Examples of excellently-written projects.
Link to project: https://github.com/IMProject/IMUtility
-
Open-source MISRA-compliant projects
We started this small Utility code https://github.com/IMProject/IMUtility and we make sure we set up cppchecker for MISRA C 2012. Soon we get contacted by Bugseng and get the offer to integrate ECLAIR so we did it. Since ECLAIR is certificated we can tell that our open-source project is checked with a certified tool and this can maybe help some startups that don't have the money at the beginning of journey to pay for all development.
What are some alternatives?
fprime - F´ - A flight software and embedded systems framework
pim - Source code for the book: Patterns in the Machine: A Software Engineering Guide to Embedded Development
Open MCT - A web based mission control framework.
Melon - A generic cross-platform C library that includes many commonly used components and frameworks, and a new scripting language interpreter. It currently supports C99 and Aspect-Oriented Programming (AOP).
copilot - A stream-based runtime-verification framework for generating hard real-time C code.
IMBootloader - Safety-Critical bootloader, written by following MISRA guidelines
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
fret - A framework for the elicitation, specification, formalization and understanding of requirements.
trick - Trick Simulation Environment. Trick provides a common set of simulation capabilities and utilities to build simulations automatically.