2 results found Sort:

nasa
fprime nasa
1.3k
10.1k
apache-2.0
261
F´ - A flight software and embedded systems framework
cpp nasa flight fprime embedded framework real-time components spaceflight raspberry-pi flight-software embedded-systems object-oriented-programming
Created 2017-06-22
5,260 commits to devel branch, last one 7 days ago
nasa
ogma nasa
26
339
other
13
Generator of runtime monitors for flight and robotics applications.
rv cfs ros ros2 fprime autonomy robotics assurance space-ros spacecraft flight-software embedded-systems runtime-monitoring runtime-verification robot-operating-system runtime-monitoring-system
Created 2021-08-05
615 commits to develop branch, last one 7 days ago