Home

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

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

• Schedule