← Back
Home › Systems › Embedded and IoT

satellite-flight-software

satellite flight software

NASA cFS

SystemTechniques · 5Primitives · 33 satellite-flight-softwa… Fault detection isolation recoveryembedded · medium: Monitor/response tables, fault isolation and safe-mode recovery hierarchies for autonomous systemsOrbit propagationnumerics · medium: Propagate satellite orbits (Kepler, SGP4, numerical with perturbations) and frame transformsAttitude determinationrobotics · medium: Estimate orientation from vector observations (TRIAD, QUEST/Wahba) and gyrosLdpc codessignal-processing · medium: Low-density parity-check codes with soft-decision min-sum decoding, used in NAND flashSpherical harmonic transformnumerics · medium: Fast spherical harmonic transforms via FFT in longitude and Legendre in latitudeRedundancy votingembedded · low: N-modular redundancy and MooN voting (2oo3, TMR) with discrepancy detectionWatchdog timerembedded · low: A hardware down-counter that resets the chip unless software proves, in time and in a plausible pattern, that it is still healthy.›Hierarchical state machinesystems · low: Nest states so a substate inherits its parent's reactions and only overrides what differs, with ordered entry and exit actions along the path.›Rigid-body transforms (SE(3) poses)robotics · low: Represent, compose, invert, integrate and interpolate 3D poses as unit quaternion plus translation, with exp/log maps for small motions and uncertainty.›Extended Kalman filterrobotics · low: Kalman filter for nonlinear motion and measurement models: linearize f and h with Jacobians at the current estimate each step. The default estimator in robot navigation.›Edac memory scrubbingembedded · low: ECC/EDAC memory with periodic scrubbing to correct radiation-induced bit flipsPreemptive priority schedulingembedded · low: Always run the highest-priority ready task, switching the instant a higher one becomes ready; selection is O(1) with one FIFO per priority and a bitmap.›CRC32C checksumshardware-os · low: The Castagnoli CRC-32 with dedicated instructions on x86 (SSE4.2) and ARMv8. It is the standard fast integrity check for storage blocks, logs and network frames.›Ccsds space packetsnetworking · low: CCSDS space packet and transfer frame protocols: APIDs, sync markers, virtual channelsRunge-Kutta 4numerics · low: The classic four-stage, fourth-order ODE step; error drops 16× when the step halves, with no derivatives or past steps needed.›PID controllerrobotics · low: Drive a measured value to a setpoint with three terms on the error: proportional, integral, derivative. The default feedback loop for motors, heaters, drones and gimbals.›Message authentication codes (HMAC,…security · low: A keyed short tag proving a message is unmodified and came from a key holder; pick HMAC, CMAC, KMAC or a one-time polynomial MAC by what primitive you already have.›Convolutional codes and the Viterbi…signal-processing · low: Streaming error-correcting code: each output bit is a parity of the last K input bits; the Viterbi decoder finds the most likely path through a 2^(K-1)-state trellis.›Reed-Solomon codessignal-processing · low: Byte-oriented MDS code: n-k parity symbols correct (n-k)/2 unknown symbol errors or n-k known erasures; the workhorse for bursts, QR codes, discs and storage.›Hierarchical timing wheelsystems · low: Timers bucketed by expiry into wheels of slots, coarser wheels for far deadlines: O(1) insert and cancel for millions of timeouts.›Publish subscribe event bussystems · low: In-process or on-box topic bus decoupling producers and consumers with bounded queues+ 17 more primitives

Similar systems

Share the most building blocks with this one.