Statements (19)
Predicate | Object |
---|---|
gptkbp:instanceOf |
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
|
https://www.w3.org/2000/01/rdf-schema#label |
DO-178B Level A
|
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
|