Space ROS Documentation: Rolling Logo
  • Introduction
    • About Space ROS
    • How Space ROS Differs from ROS 2
    • The Space ROS Development and Release Model
  • Getting Started
    • The Space ROS Docker Images
    • Building Space ROS from Source
  • Demos
    • Canadarm Demo
    • Mars Rover Demo
  • Tutorials
    • First Time Building Space ROS
    • The Eventing and Telemetry Subsystem
    • Requirements Tools and Processes
    • Back-Porting Requirements
    • Running Space ROS on RTEMS
  • How-to Guides
    • Using a Custom Memory Allocator with Space ROS
    • 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
    • Using Space-Related Simulation Assets
    • 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 that are part of an overall requirements methodology 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 2024, Open Robotics.

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