nasa/ogma

Générateur de moniteurs d'exécution pour les applications de vol et de robotique.

↗ Ouvrir sur GitHub

Étoiles

579

Bifurcations

58

Langage

Haskell

Licence

Apache-2.0

Dernier push

il y a 15 heures

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

Aucune intel associée pour le moment

Ce dépôt n'est encore apparu dans aucune des sources que le radar suit. Le collecteur suit un calendrier — revenez une fois qu'il couvre ce dépôt.