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.

中文翻译：

---

波音 737 Max MCAS 算法的候选软件流程缺陷和拟议升级的风险

通过推理作为公共话语的一部分承诺的声明和推测，我们分析了软件工程缺陷在波音 737 MCAS 事件中发挥关键作用的假设。我们使用基于承诺的推理来讨论如何从局外人的角度收集有关出错的线索。我们不是像 Wendel 建议的那样寻找 Rational Alternative Design (RAD)，而是寻找软件过程中的候选缺陷。我们描述了四个这样的潜在缺陷。近日，波音公司发布了有关其设想的 MCAS 算法升级的信息。我们将此视为解决缺陷的承诺，即为 B737 Max 提供 RAD。我们根据公共话语对 B-Max-New 进行评估。