JPL Technical Report Server

FPP: A Modeling Language for F Prime

Show simple item record

dc.contributor.author Bocchino Jr., Robert L.
dc.contributor.author Levison, Jeffrey W.
dc.contributor.author Starch, Michael D.
dc.date.accessioned 2022-08-16T03:06:54Z
dc.date.available 2022-08-16T03:06:54Z
dc.date.issued 2022-03-05
dc.identifier.citation 2022 IEEE Aerospace Conference, Big Sky, Montana, March 5-12, 2022 en_US
dc.identifier.clearanceno 22-0143
dc.identifier.uri http://hdl.handle.net/2014/55048
dc.description.abstract We present F Prime Prime (FPP), a new open-source modeling language for F Prime. F Prime is an open-source flight software framework developed at JPL and deployed, among other places, on the Mars helicopter Ingenuity. FPP provides a convenient way to model the architectural elements of an F Prime application, e.g., components, ports, and their connections. It has a succinct and readable syntax, a well- defined semantics, and robust error checking and reporting. The FPP tool suite, written in Scala, analyzes FPP models, reports errors, and translates correct FPP models to a combination of XML and C++. Existing F Prime tools translate the XML to a partial implementation in C++, to be completed by the developers. The model elements have clean interfaces and are highly reusable. An accompanying visualization tool constructs diagrams of components and connections that FSW developers can use to understand and communicate their designs, for ex- ample at reviews. We discuss the design and implementation of FPP and the integration of FPP into F Prime. We also discuss our experience using FPP to construct F Prime models. Finally, we discuss our plans for future work, including improved code generation, improved visualization, and more advanced analysis capabilities. en_US
dc.description.sponsorship NASA/JPL en_US
dc.language.iso en_US en_US
dc.publisher Pasadena, CA: Jet Propulsion Laboratory, National Aeronautics and Space Administration, 2022 en_US
dc.title FPP: A Modeling Language for F Prime en_US
dc.type Preprint en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account