Home

Welcome to the wiki for F Prime Prime (FPP). FPP is a domain-specific modeling language for the F Prime flight software framework.

To use FPP, you write a model in the source language; then you use the FPP tools to generate XML and C++. FPP provides a clean and succinct syntax, a well-defined semantics, robust error checking and reporting, and tight integration between the model and the generated code.

Our Motto

This motto, derived from the Fundamental Theorem of Calculus, explains the name F Prime Prime, or FPP:

• By "integrating" an F'' model (i.e., running the FPP tools), you get an F' deployment that is partially implemented.

• By "integrating" the generated F' deployment (i.e., completing the implementation), you get a FSW application.

For Users and Implementers

• User’s Guide

• Tools

• Code Generation

Primarily for Implementers

• Language Specification

• Analysis

• Pure Functional Programming in Scala