nasa / fprime
F´ - A flight software and embedded systems framework
nasa / fprime
nasa / nos3
NASA Operational Simulator for Space Systems
nasa / ogma
Generator of runtime monitors for flight and robotics applications.