nasa/ogma

Generator of runtime monitors for flight and robotics applications.

★ 588 Stars

⑂ 61 Forks

○ 588 Watchers

✖ 14 Issues

Haskell

assurance autonomy cfs embedded-systems flight-software fprime robot-operating-system robotics ros ros2 runtime-monitoring runtime-monitoring-system runtime-verification rv space-ros spacecraft

Last push: 1mo ago

Created:

↗ View on GitHub

Loading additional information…