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,244 commits to devel branch, last one 19 hours ago
nasa
ogma nasa
25
335
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
544 commits to develop branch, last one about a month ago