Formal analysis reveals two design vulnerabilities and one usability concern in Boeing 737 MAX flight controls, highlighting systemic risks in automated systems.
We describe a formal approach to identifying human factor design vulnerabilities and usability concerns in the context of automated control systems. We present an initial analysis of the design of the B737MAX that has suffered two fatal accidents. We highlight two main design vulnerabilities and one usability concern. Key formal generic properties used to identify these vulnerabilities and usability concerns are defined. These generic properties, and others referenced in this paper, can be applied to the analysis of any human-automation system.
No takes yet. Share an insight, caveat, or question.
Barshi et al. (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: