航空航天工程学杂志
开放获取

抽象的

使用半形式化方法分析自动飞行控制系统的模式转换逻辑

Rathina Kumar V*,Nanda M,Jayanthi J

自动驾驶系统是现代飞机中非常重要的航空电子系统，因为它自动驾驶飞机。自动驾驶仪是一个由复杂逻辑驱动的高度复杂的系统，是自动客机发生事故的主要原因之一。自动驾驶仪逻辑由模式转换逻辑组成，模式转换逻辑在自动模式下根据飞机空气动力学驾驶飞机。在自动化模式下，模式转换的正确和高效工作非常关键；因此，需要采用高度可靠的方法来分析其功能和性能的逻辑。在本文中，我们提出了一种基于半形式化方法的方法来分析和验证本土开发的商用飞机在垂直和横向方向上的模式转换逻辑（MTL）。MTL 经过分析和验证其正确性，使用 Stateflow 实现完整、可靠的功能和操作。根据功能和安全要求，根据输入组合对建模的 MTL 逻辑进行允许的转换验证。与传统的手动测试方法相比，该方法的结果在功能、性能和安全性保证方面显示出令人鼓舞的结果。与手动分析相比，类似的基于半形式的方法可用于减少复杂系统设计的设计和开发中的设计工作。与传统的手动测试方法相比，该方法的结果在功能、性能和安全性保证方面显示出令人鼓舞的结果。与手动分析相比，类似的基于半形式的方法可用于减少复杂系统设计的设计和开发中的设计工作。与传统的手动测试方法相比，该方法的结果在功能、性能和安全性保证方面显示出令人鼓舞的结果。与手动分析相比，类似的基于半形式的方法可用于减少复杂系统设计的设计和开发中的设计工作。