Schiaparelli 分析：这是使用形式方法对 Schiaparelli 失败的简单分析-matlab开发

Schiaparelli 是 ExoMars 2016 任务的一部分，由质子火箭从哈萨克斯坦拜科努尔航天发射场发射。 众所周知，EDM 旨在验证和演示火星的进入、下降和着陆，为 ExoMars 2020 任务做准备。 2016 年 10 月 19 日，夏帕瑞丽模块于 14:42:07 (UTC) 进入火星大气层。 Schiaparelli 在下降到火星大气层期间不断传输数据。 Schiaparelli 的信号在 14:47:22 (UTC) 丢失，比预期在火星表面着陆前约 43 秒。 详细的故障分析报告为文档。 主要原因是大的振荡体率导致惯性传感器饱和。 对饱和值进行积分以提供姿态角。 该项的余弦乘以无线电高度计以获得正确的高度。 在下降过程中，角度变得高达 160 度，导致负高度被发送到控制器，从而关闭了复古火箭。 Simulink 设计验证器用于确定高度是否有可能为负值。 它提供了