nasa/ogma

用於飛行與機器人應用程式的執行時期監控產生器。

↗ 在 GitHub 開啟

星數

579

Fork 數

59

語言

Haskell

授權

Apache-2.0

最後推送

4 天前

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 再回來看看。