Space ROS Documentation: Rolling Logo
  • Introduction
    • About Space ROS
    • How Space ROS Differs from ROS 2
  • Getting Started
  • Demos
    • Moveit2 Image
    • Canadarm Demo
    • Mars Rover Demo
  • Tutorials
    • First Time Building Space ROS
  • How-to Guides
    • Reproducing CI Results Locally
    • Using the Cobra Static Analyzer
    • Using the MC/DC Testing Tool
    • Using VSCode with the Space ROS Docker Images
    • Using the Space ROS Dashboard
    • Releasing Space ROS
  • Related Projects
    • IKOS
    • Cobra
    • Doorstop
    • FRET
    • Ogma
  • Contributing
Space ROS Documentation: Rolling
  • »
  • Related Projects
  • Edit on GitHub

Related Projects

Space ROS makes use of several external projects that aren’t part of standard ROS 2 distributions. The first pair of tools, IKOS and Cobra, are static analysis tools that have been integrated into Space ROS using the same Python wrapper method used for other code analysis tools integrated into standard ROS 2 distributions, such as clang-tidy and cpplint. The full set of code analysis tools are run automatically when building and running package tests (‘colcon test’). The next set of tools, Doorstop and FRET, are requirements tools used for Space ROS. The last tool, Ogma, is a runtime verification tool that produces monitoring applications for Space ROS.

  • IKOS
  • Cobra
  • Doorstop
  • FRET
  • Ogma
Previous Next

© Copyright 2025, Open Robotics.

Built with Sphinx using a theme provided by Read the Docs.