波音 737 Max MCAS 算法的候选软件过程缺陷及拟议升级的风险
计算机与社会
2020-01-17 v1
摘要
通过对公开讨论中作为承诺与推测所呈现内容的推理，我们分析了一个假设：软件工程中的缺陷在波音 737 MCAS 事件中起到了关键作用。我们使用基于承诺的推理来讨论，从外部视角出发，人们如何拼凑出关于出错原因的线索。与 Wendel 所建议的寻找理性替代设计（RAD）不同，我们寻找软件过程中的候选缺陷。我们描述了四个此类潜在缺陷。最近，波音已就其设想的 MCAS 算法升级散发了信息。我们将其视为解决这些缺陷的承诺，即为 B737 Max 提供 RAD。我们基于公开讨论对 B-Max-New 进行了评估。
引用
@article{arxiv.2001.05690,
title = {Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade},
author = {Jan A. Bergstra and Mark Burgess},
journal= {arXiv preprint arXiv:2001.05690},
year = {2020}
}
备注
Sequel to arXiv:2001.01543 [cs.OH]