TGViewer
黑科技资源分享 黑科技资源分享 @deeptech123 · 3.57K subscribers
Post #5437 56
航空业拥有世界上最严格的软件认证标准之一:DO-178C。
它根据软件故障可能造成的后果划分安全等级,并要求提供相应严格的验证证据。
每一项需求都必须能够追溯到代码和测试,测试必须充分覆盖程序的决策逻辑。对于安全关键软件,验证工作还必须由开发者之外的独立人员完成。
波音 737 MAX 的 MCAS 也经历了这套流程。
为了让安装了更大更靠前发动机的 737 MAX 保持与旧款 737 相似的操纵特性,波音引入了 MCAS。
这个系统仅依赖一个迎角传感器的数据,自动推动机头向下。开发过程中,MCAS 的控制能力被增强,但安全分析未能得到充分更新。
2018 年和 2019 年,错误的传感器读数触发了 MCAS,导致狮航 610 航班和埃塞俄比亚航空 302 航班相继坠毁,346 人遇难,而软件只是严格执行了它收到的指令。
现在,想象一下,如果当年的 MCAS 是由 Coding Agent 开发的。
一位工程师输入:“增强 MCAS 的控制权限,并允许它在低速状态下启动。”
十分钟后,修改完成。
需求文档更新了,测试用例重写了,代码覆盖率达到 100%。Agent 完美执行了任务,速度比任何人类工程师都快,交付结果也更加整洁规范。
但系统依然只依赖一个传感器,因为没有人要求 Agent 质疑这个设计。
当然,也有另一种可能。
Agent 主动发出警告:
“这个功能依赖单一传感器,没有交叉验证机制。请确认这是预期设计吗?”
接下来的问题是:团队真的会停下来重新评估设计,还是直接点击 Approve,继续推进?
More from @deeptech123
  1. Oct 17, 2026用游戏程序逻辑解读物理现象,比单纯背知识点更容易看懂。光速上限好比显卡渲染上限,普朗克长度是世界像素。双缝干涉类似引擎视锥剔除,不观测就不完整渲染;量子纠缠如同同一文件的不同快捷方…
  2. Oct 16, 2026企业现在学的 AI 实操技巧,会随大模型快速迭代快速贬值。各家大模型能力差距不大,落地成败关键在自有知识库与数据积累。AI 只是业务杠杆,不是救命良方,要做好人机协同、数据沉淀,养…
  3. Oct 16, 2026表格、文档、Photoshop、AutoCAD、Slack 这些日常被商业软件占住的工具,Puter 想用 MIT 许可从零写一份开源版本,全塞进一个仓库。 https://git…
  4. Oct 16, 2026苹果特努斯上任仅一月推出三项改革,打破苹果沿用十余年运营逻辑。取消 15 年固定季度新品节奏,产品就绪即可发布;精简中层,裁撤 Siri、Vision Pro 团队多名管理岗,决策…
  5. Oct 16, 2026给 iTerm2 和 Ghostty 换上一套半透明玻璃外观,颜色都按窗口压在真实桌面上的样子算过对比度。 https://github.com/vukkt/iglass
  6. Oct 16, 2026只要人的注意力是有限的,就一定有某种机制在替人排序。 一个有力的反对意见是:注意力并不是一桶固定的水。 好的搜索工具可以让你用十分钟找到过去要一小时才能找到的东西; 好的推荐可以让…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →