nasa/ogma

Generator of runtime monitors for flight and robotics applications.

What it solves

Ogma is a tool designed to integrate safe runtime monitors into larger software systems, specifically for high-reliability environments like spacecraft and robotics. It automates the glue code generation needed to connect high-level runtime verification frameworks (specifically Copilot) to real-world data sources like message buses and software buses.

How it works

Ogma extends the Copilot framework to generate hard real-time C99 code. It acts as a bridge between the monitoring specifications and the target platform by generating the necessary application wrappers and message handlers. It supports several target environments:

  • NASA Core Flight System (cFS): Generates applications that subscribe to the software bus, process incoming messages, and trigger fault handlers when properties are violated.
  • Robot Operating System (ROS): Generates monitoring applications that subscribe to ROS topics to obtain data and report violations.
  • F' (F Prime): Generates runtime monitoring components.
  • Diagrammatic Input: Can generate monitors directly from diagrams in formats like DOT/Graphviz or Mermaid.

Who it’s for

It is intended for software engineers and systems engineers working on safety-critical embedded systems, robotics, and aerospace software who need to ensure their systems behave correctly at runtime.

Highlights

  • Multi-platform support: Native generation for NASA cFS, ROS, and F Prime.
  • Automated Glue Code: Handles the tedious process of creating message handlers and C struct interfaces.
  • Customizable Templates: Allows users to provide their own templates to customize the generated application structure.
  • External Translation: Supports translating properties via external commands or LLMs (though the user is responsible for verifying the output).
  • Real-time focus: Produces C99 code suitable for hard real-time constraints.

Related

  • Project
    meta-llama/PurpleLlama

    An umbrella project providing a suite of safety tools and cybersecurity benchmarks to help developers build and deploy open generative AI models responsibly.

  • Project
    unicity-aos/aos-ce

    An open agent operating system that provides a composable environment for AI agents to run, manage, and extend their own capabilities via modular capsules.

  • Project
    sammcj/gollama

    Gollama is a Go‑based terminal UI for listing, inspecting, editing, running, copying, deleting and pushing Ollama LLM models, with hot‑key navigation, vRAM estimation, configurable JSON settings, and theme support.

  • Project
    OpenMind/OM1

    A modular AI runtime for creating and deploying multimodal agents across digital environments and physical robots, supporting diverse sensors and AI models.

  • Dispatch
    CUGA on Hugging Face: Democratizing Configurable AI Agents

    IBM Research has released CUGA (Configurable Generalist Agent), an open-source agent framework that achieves state-of-the-art performance on AppWorld and WebArena benchmarks for complex API and web tasks.