正在加载陈远的个人网站

opinion

DO-178C 与 MCAS:Coding Agent 能救 737 MAX 吗

X:马东锡 NLP (@dongxi_nlp)

导读

航空软件认证标准 DO-178C 要求需求可追溯、测试覆盖决策逻辑,安全关键软件还须由开发者之外的独立人员验证,波音 737 MAX 的 MCAS 也走了这套流程。