nasa/ogma

Generator of runtime monitors for flight and robotics applications.

语言：Haskell · GitHub 星标：588 · Fork：62

话题：assurance · autonomy · cfs · embedded-systems · flight-software · fprime · robot-operating-system · robotics

在 GitHub 上查看原仓库