Unverified50% confidenceFactExact time
The DO-178C standard in the aviation sector requires full end-to-end traceability verification of airborne software from requirements to code.
1
Sources
50%
Confidence
Long-term
Relevance
9/8/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedSoftware systems in industries such as aerospace and nuclear power must pass certification standards such as DO-178C, which requires formal verification of every line of code; the Boeing 787 flight control software has approximately 6.5 million lines of code, all verified to this level.78% similarUnverifiedThe DO-178C standard in the aerospace field stipulates verification requirements of varying stringency based on the potential impact level of software failures.77% similarUnverifiedFAA的FAR 33.94条款和EASA CS-E 810条款均要求发动机制造商通过认证测试，证明机匣能够包容最高转速下叶片断裂产生的碎片62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/878924API
curl https://kongchang.com/api/v1/knowledge/claims/878924MCP
get_claim(id=878924)