displayName
Flight Software Certification
workflowKind
release
triggerType
event-driven
typicalCadence
per-release
complexity
cross-team
description
Certifies flight software against DO-178C standards -- verifying
requirements traceability, structural coverage analysis, formal
verification of safety-critical modules, regression testing against
hardware-in-the-loop simulators, and generating the Data Item
Submittal list for the Designated Engineering Representative (DER).
Excludes initial software development.