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 example 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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    FPP: A Modeling Language for F Prime


    Beteiligte:


    Erscheinungsdatum :

    2022-03-05


    Format / Umfang :

    1273012 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Universal Engine Oils: Prime Quality for Prime Movers

    Olson, Danford H. | SAE Technical Papers | 1974


    Agricultural Prime Mover

    EHLERT CHRISTIAN / WIECKHORST JAN CARSTEN / BIRKMANN CHRISTIAN et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    PRIME MOVER AND METHOD FOR OPERATING A PRIME MOVER

    EHLERT CHRISTIAN / WIECKHORST JAN CARSTEN / BIRKMANN CHRISTIAN et al. | Europäisches Patentamt | 2021

    Freier Zugriff

    Locomotive Prime Movers

    Dincer, Ibrahim / Hogerwaard, Janette / Zamfirescu, Calin | Springer Verlag | 2015


    Semi Prime Movers

    Online Contents | 2007