nasa/ogma

用于飞行与机器人应用程序的运行时监控生成器。

↗ 在 GitHub 打开

星数

579

Fork 数

59

语言

Haskell

许可

Apache-2.0

最后推送

5天前

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

还没有相关情报

radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。