波音737MAX飞机坠机事件对嵌入式软件测试的启示

2018年10月29日印尼狮子航空一架737MAX8客机起飞13分钟就坠毁，机上189人全数罹难。2019年3月10日埃塞俄比亚航空一架737MAX8客机坠毁，机上157人全数罹难。两起坠机事件共造成了346人死亡和重大财产损失，以至于全世界都停飞这一机型飞机。
坠毁原因虽至今未正式公布，但整理各种媒体消息得出原因：由于飞机高迎角传感器（AOA）将错误的数据输入给了MCAS系统， MCAS系统误认为飞机处于失速状态，从而引起错误的机头降低指令，使得驾驶员难以判断和控制飞机状态造成的。
MCAS操纵辅助系统全称为maneuvering characteristics augmentation system，翻译过来就是机动特性增强系统，简单解释就是让飞机在高迎角进入失速坠毁的时候自动压低机头，改出失速状态，从而拯救飞机。MCAS设计的目的是为了加强在高马赫和高迎角条件下的速度稳定性。MCAS只在人工操作模式下起左右。
MCAS系统启动的触发：飞机迎角传感器（AOA）是当前飞机的迎角数据，MCAS系统根据当前飞机高度和速度计算出临界失速迎角数据。当飞机当前的迎角数据值大于界失速迎角数据值，就触发MCAS系统工作，即自动压低机头。
波音737MAX上的MCAS系统怎么造成事故的呢？飞行员干什么去呢？MCAS系统启动后，MCAS系统也可能导致飞机急剧下降时间长达10秒。飞行员在这段时间内难以控制飞机，就算飞行员手动拉起机头，5秒钟后机头又会自动重复下降过程。这就表明，在失事飞机俯冲下降时，即使是在飞行员手动飞行模式，飞机的防失速系统仍然处于激活状态，事故发生时，飞行员应该没有获得飞机的完全控制权。
737MAX飞机检测迎角依靠机头两侧2个迎角传感器，但是这一套系统做的很滑稽ÿ