cFS VS IMUtility

[4] https://github.com/nasa/cFS

I definitely recommend looking at https://github.com/nasa/cFS for some great pure C coding.

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

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

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).

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.

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

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. ;)

Link to project: https://github.com/IMProject/IMUtility

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.