The executable software built from the verified source code with qualified or controlled tools, in the form loaded into the airborne equipment, with its identification and checksums.
Release package Work product in the Avionics and airborne electronics lifecycle
DO-178C verification is credited against the executable object code, not the source. This item fixes exactly what flies; without it, verification may have run on a different build, and the configuration index cannot identify the loaded software.
The full lifecycle detail, with its charts, flows, tables and every section, is for registered members. Registration is free and takes a minute. You come back to this page afterwards.