论文标题
波音737 MAX MCAS算法的候选软件流程缺陷和拟议升级的风险
Candidate Software Process Flaws for the Boeing 737 Max MCAS Algorithm and Risks for a Proposed Upgrade
论文作者
论文摘要
通过对公众话语一部分承诺的主张和猜测进行推理，我们分析了以下假设：软件工程中的缺陷在波音737 MCAS事件中起着至关重要的作用。我们使用基于承诺的推理来讨论如何从局外人的角度来组装有关出了什么问题的线索。我们没有像Wendel所建议的那样寻找合理的替代设计（RAD），而是在软件过程中寻找候选缺陷。我们描述了四个这样的潜在缺陷。最近，波音已经散发了有关其设想的MCAS算法升级的信息。我们将其作为解决缺陷的承诺，即为最大B737提供RAD。我们根据公众话语对B-Max-New进行评估。
By reasoning about the claims and speculations promised as part of the public discourse, we analyze the hypothesis that flaws in software engineering played a critical role in the Boeing 737 MCAS incidents. We use promise-based reasoning to discuss how, from an outsider's perspective, one may assemble clues about what went wrong. Rather than looking for a Rational Alternative Design (RAD), as suggested by Wendel, we look for candidate flaws in the software process. We describe four such potential flaws. Recently, Boeing has circulated information on its envisaged MCAS algorithm upgrade. We cast this as a promise to resolve the flaws, i.e. to provide a RAD for the B737 Max. We offer an assessment of B-Max-New based on the public discourse.
