基于SysML的民机自动飞控系统模式转换建模与验证方法

本发明公开了一种基于SysML语言对民机自动飞行系统模式转换进行建模和验证方法，首先详细分析了面向该领域进行形式化建模中存在的高层级抽象、层次化设计、模式转换逻辑和优先级特征的关键问题，构建飞控模式设计和转换的元模型；其次，基于提出的元模型对形式化建模语言SysML进行扩展，并将其编码为领域特定的SysMLprofile文件；随后在某型民用飞机的自动飞行系统模式转换建模项目中使用扩展的SysMLprofile进行设计，并采用NUSMV对该模型的安全性和正确性进行了验证。本发明提供了自动飞行系统相关领域较为完整且统一的模型搭建思想，可有效保证系统设计质量并提高系统开发效率和安全性。