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++. Compared to writing XML by hand, FPP provides a cleaner and more succinct syntax, a well-defined semantics, good error checking and reporting, and better 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