DO-178C: Software Considerations in Airborne Systems and Equipment Certification¶
RTCA. (2011). DO-178C: Software Considerations in Airborne Systems and Equipment Certification.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Surjectivity
- The structural payoff is the completeness guarantee the standard demands: a requirements-traceability matrix is exactly a check for surjectivity, and a requirement with no covering test is an orphaned codomain element — the prime's characteristic failure — flagged as a coverage gap that must be closed before sign-off.
This sourceRequirements-to-test traceability and structural coverage obligations in safety-critical software, where a requirement with no covering test is a flagged coverage gap.
- The structural payoff is the completeness guarantee the standard demands: a requirements-traceability matrix is exactly a check for surjectivity, and a requirement with no covering test is an orphaned codomain element — the prime's characteristic failure — flagged as a coverage gap that must be closed before sign-off.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:ee8b5bf12137 · see in the full table