nasa/ogma

Gerador de monitores de tempo de execução para aplicações de voo e robótica.

↗ Abrir no GitHub

Estrelas

579

Bifurcações

59

Linguagem

Haskell

Licença

Apache-2.0

Último push

há 2 dias

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

Ainda não há intel relacionado

Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.