Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Software_assurance_level
|
| gptkbp:alternativeName |
Level A
|
| gptkbp:appliesTo |
Software whose failure could cause catastrophic aircraft failure
|
| gptkbp:definedIn |
gptkb:RTCA
|
| gptkbp:hasCriticality |
Catastrophic failure condition
|
| gptkbp:hasLevelNumber |
A
|
| gptkbp:hasReviewProcess |
Most comprehensive
|
| gptkbp:hasVerificationProcess |
Most rigorous
|
| gptkbp:partOf |
gptkb:DO-178B
|
| gptkbp:requires |
MC/DC coverage
100% code coverage 100% requirements coverage Highest level of software assurance Independence of verification activities Traceability from requirements to code and tests |
| gptkbp:usedIn |
Avionics software certification
|
| gptkbp:bfsParent |
gptkb:Green_Hills_Software
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
DO-178B Level A
|