ANN: NASA's Ogma

• ogma

  12 331 9.1 Haskell

  Generator of runtime monitors for flight and robotics applications.

  

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• fret

  6 281 8.9 JavaScript

  A framework for the elicitation, specification, formalization and understanding of requirements.

  

• copilot

  17 648 9.0 Haskell

  A stream-based runtime-verification framework for generating hard real-time C code. (by Copilot-Language)

  

• cFS

  8 766 6.9 CMake

  The Core Flight System (cFS)

  

  Your best bet is probably to read the documentation of the project itself, as well as documentation from the associated projects FRET, Copilot (https://copilot-language.github.io/documentation.html, https://ntrs.nasa.gov/citations/20200003164), and cFS (https://github.com/nasa/cFS).

Suggest a related project