Skip to content

You are not viewing the documentation for the latest release of F Prime. Click here to go to latest release.

F Prime

Nil

Initializing search

Home
Overview
Getting Started
Documentation
Support
Events
News

F Prime

Home
Overview
Getting Started
Getting Started
- Installation and Troubleshooting
Documentation
Documentation
- Tutorials
  Tutorials
- User Manual
  User Manual
  - Overview
    Overview
    
    Introduction To F´
    
    F´ Software Architecture
    
    Core Constructs: Ports, Components, and Topologies
    
    Data Constructs: Commands, Events, Channels, and Parameters
    
    Data Structures and Types
    
    F´ Development Process
    
    The F´ Ground Data System
    
    Projects and Deployments
    
    A Tour of the Source Tree
    
    Unit Testing in F´
  - Framework
    Framework
    
    Asserts in F
    
    F´ Autocoded Functions and Component Classes
    
    F´ On Baremetal and Multi-Core Systems
    
    Constructing the F´ Topology
    
    Configuring F´
    
    Data Products
    
    Dynamic Memory and Buffer Management
    
    Ground Interface Architecture and Customization
    
    State Machines
    
    Supported Platforms
  - FPP
  - GDS
    GDS
    
    The F´ GDS CLI
    
    The GDS Dashboard
    
    GDS Dashboard Component Reference
    
    GDS Developer's Guide
    
    GDS Integration Test API
    
    Sequencing In F´
  - Design Pattens
    Design Pattens
    
    Application-Manager-Driver Architecture
    
    Common Port Design Patterns
    
    Health Checking Pattern
    
    A Quick Look at the Hub Pattern
    
    The Manager/Worker Pattern
    
    Rate Groups and Timeliness
    
    Subtopologies
  - Build System
    Build System
    
    F´ CMake Build System
    
    Cmake api
    
    CMake Customization
    
    CMake Implementations
    
    F´ and CMake Platforms
    
    Targets
    
    CMake Toolchain Files
    
    CMake Build System Unit Tests
    
    settings.ini: Build Settings Configuration
  - Security
    Security
    
    Software Bill Of Materials Generation
- How To
  How To
- Reference
  Reference
  - APIs
    APIs
    
    C++
    
    CMake
    CMake
    
    API
    
    Config assembler
    
    deployment CMakeLists.txt template
    
    FPrime
    
    FPrime Code
    
    FPrimeConfig
    
    Fprime util
    
    Implementation
    
    Module
    
    Options
    
    Required
    
    Sanitizers
    
    Settings
    
    Utilities
    
    Autocoder
    Autocoder
    
    Autocoder
    
    Fpp
    
    Fpp ut
    
    Helpers
    
    Platform
    Platform
    
    Darwin
    
    Linux
    
    Platform
    
    Platform template
    
    Unix
    Unix
    
    Platform
    
    Settings
    Settings
    
    Ini
    
    Sub build
    Sub build
    
    Sub build
    
    Sub build config
    
    Target
    Target
    
    Build
    
    Default
    
    Dictionary
    
    Install
    
    Refresh cache
    
    Sbom
    
    Target
    
    Ut
    
    Version
    
    Sub build
    Sub build
    
    Fpp depend
    
    Fpp locs
    
    Fpp to json
    
    Module info
    
    Test
    Test
    
    Data
    Data
    
    TestConfigDeployment
    
    TestDeployment
    
    Cmake
    Cmake
    
    Autocoder
    Autocoder
    
    Test build autocoder
    
    Test chained autocoder
    
    Test header autocoder
    
    Test target autocoder
    
    Target
    Target
    
    Test autocoder
    
    Test chained autocoder
    
    Test recursion
    
    Test rerun autocoder
    
    TestConfigDeployment
    TestConfigDeployment
    
    Override
    Override
    
    Project
    
    TestDeployment
    TestDeployment
    
    TestBuildAutocoder
    
    TestChainedAutocoder
    
    TestHeaderAutocoder
    
    TestRelative
    
    TestTargetAutocoder
    
    Test config library
    Test config library
    
    ConfigLibrary
    
    Library
    
    ConfigLibrary
    ConfigLibrary
    
    Default
    Default
    
    Config
    
    Test fprime library
    Test fprime library
    
    Test fprime library
    
    Cmake
    Cmake
    
    Autocoder
    Autocoder
    
    Test
    
    Target
    Target
    
    Sub
    
    Test
    
    Toolchain
    Toolchain
    
    Generic native
    
    TestLibrary
    TestLibrary
    
    TestComponent
    
    Test fprime library2
    Test fprime library2
    
    Library
    
    TestLibrary2
    TestLibrary2
    
    TestComponent
    
    Test implementations
    Test implementations
    
    Deployment
    
    Deployment
    Deployment
    
    TestModule
    
    Test platforms
    Test platforms
    
    Library
    
    Cmake
    Cmake
    
    Platform
    Platform
    
    Darwin
    
    Linux
    
    Toolchain
    Toolchain
    
    Aarch64 linux
    
    Arm hf linux
    
    Arm sf linux
    
    Raspberrypi
    
    Toolchain template
    
    Helpers
    Helpers
    
    Arm linux base
  - Component SDDs
    Component SDDs
    
    Svc
    Svc
    
    Svc::ActivePhaser
    
    Svc::ActiveRateGroup Component
    
    Svc::ActiveTextLogger Component
    
    Svc::AssertFatalAdapter Component
    
    BufferAccumulator Component Dictionary
    
    Svc::BufferManager
    
    Svc::BufferRepeater: Buffer Repeater (Passive Component)
    
    Svc::Ccsds::ApidManager
    
    Svc::Ccsds::SpacePacketDeframer
    
    Svc::Ccsds::SpacePacketFramer
    
    Svc::Ccsds::TcDeframer
    
    Svc::Ccsds::TmFramer
    
    Svc::ChronoTime
    
    Svc::CmdDispatcher Component
    
    Svc::CmdSequencer Component
    
    Svc::CmdSplitter Component
    
    Svc::ComAggregator
    
    Svc::ComQueue (Active Component)
    
    Svc::ComStub (Passive Component)
    
    Svc::DpCatalog Component
    
    Svc::DpManager (Active Component)
    
    Svc::DpWriter (Active Component)
    
    Svc::EventManager Component
    
    Svc::Fatal Port
    
    Svc::FatalHandler Component
    
    Svc::FileDownlink Component
    
    Svc::FileManager Component
    
    Svc::FileUplink Component
    
    Svc::FprimeDeframer
    
    Svc::FprimeFramer
    
    The F Prime communications protocol
    
    Svc::FprimeRouter
    
    Svc::FpySequencer
    
    Svc::FrameAccumulator
    
    Svc::FramingProtocol Library
    
    Svc::GenericHub Generic Hub Component
    
    Svc::Health Component
    
    Svc FPP Interfaces
    
    Svc::OsTime Component
    
    Svc::PassiveConsoleTextLogger Component
    
    RateGroupDriver Component
    
    Svc::Ping Port
    
    Svc::PolyDb Component
    
    Svc::Poly Port
    
    Svc::PosixTime Component
    
    Svc::PrmDb Component
    
    Svc::RateGroupDriver Component
    
    Svc::Sched Port
    
    components::SeqDispatcher
    
    Svc::StaticMemory Component
    
    CdhCore Subtopology — Software Design Document (SDD)
    
    ComCcsds (CCSDS Framing) Subtopology — Software Design Document (SDD)
    
    ComFprime (F´ Framing) Subtopology — Software Design Document (SDD)
    
    FileHandling Subtopology — Software Design Document (SDD)
    
    SystemResources Component
    
    Svc::TlmChan Component
    
    Svc::TlmPacketizer Component
    
    Svc::Version
    
    Svc::WatchDog Port
    
    Fw
    Fw
    
    Fw::Buffer Serializable / Fw::BufferGet Port / Fw::BufferSend Port
    
    Fw::Cmd / Fw::CmdResponse / Fw::CmdReg Ports
    
    Fw::Com Port
    
    Fw/DataStructures: Basic Data Structures
    
    Fw::Dp Framework Support for Data Products
    
    Fw::FilePacket Classes
    
    Fw::Log / Fw::LogText Ports
    
    Fw::Obj Classes
    
    Fw::Port Classes
    
    Fw::PrmGet / PrmSet Ports
    
    Fw::Time Port
    
    Fw::Tlm Port
    
    Fw::Type Classes and Types
    
    Drv
    Drv
    
    Drv::ByteStreamDriverModel Byte Stream Driver Model
    
    Drv FPP Interfaces
    
    Drv::Ip IPv4 Socket Implementations
    
    Drv::LinuxUartDriver
    
    Drv::TcpClient TCP Client Component
    
    Drv::TcpServer Tcp Server Component
    
    Drv::Udp UDP Component
  - Specifications
    Specifications
    
    FPP Language Spec
    
    GDS Plugins
    GDS Plugins
    
    Communication Plugin
    
    Data Handler Plugin
    
    Framing Plugin
    
    App Plugin
    
    GDS Function Plugin
    
    Communication Adapter Interface
    
    FPP JSON Dictionary Specification
    
    F Prime Translation Guide: Software Engineering Terminology to F Prime Nomenclature
    
    Nomenclature
    
    F´ Numerical Types
Support
Events
News

Nil

Nil is an empty type. It is a placeholder that is used as the value type when a SetOrMapImplEntry is used as a set iterator.

F´ GitHub
Discussion Forum
Report Issues
Email Us

NASA
JPL
Caltech
Privacy
Image Policy
FAQ
Feedback

Site Manager: Jeffrey Levison
Site Editors: Michael Starch, Thomas Boyer-Chammard, Ashley Nilo
CL#24-6514

JPL is a federally funded research and development center managed for NASA by Caltech. © 2025 California Institute of Technology. Government sponsorship acknowledged.