Banner Image: Ingenuity Mars Helicopter, Credit: NASA/JPL-Caltech

Streamline Your Software Development

F Prime code

Design

  • Developers model components, ports, topologies, and ground dictionaries
    in the F Prime Prime (FPP) domain-specific language
  • FPP tools check models for correctness
  • Companion tools visualize topology graphs
Diagram of F Prime Implementation process Diagram of F Prime Implementation process

Implementation

  • FPP tools translate models to partial implementations in C++
  • Developers write mission-specific code
  • Developers avoid writing boilerplate
Diagram of F Prime Unit Testing process Diagram of F Prime Unit Testing process

Unit Testing

  • FPP tools generate unit test harnesses from the component models
  • Each harness has a mirror-image interface to the component under test
  • Rules-based testing provides structured tests and enhanced coverage
Diagram of F Prime Integration Testing process

Integration Testing

  • Integrated Python-based Ground Data System supports integration and system level testing
  • Uses auto-generated command and telemetry dictionary
  • Provides a Python API for writing automated tests
  • Provides a Web-based GUI for command and telemetry
  • F Prime can be adapted to support other GDSs