一种民用航空发动机软件模型规范及自动化检查方法与流程

技术特征：
1.一种民用航空发动机软件模型规范及自动化检查方法，其特征在于，包括以下步骤：(1)标识所使用的建模工具，以及其语法、语义、特征和限制；(2)规定建模的风格及复杂性；(3)规定建模工具和支持库正确使用的约束；(4)建立需求追溯的方法，明确追溯的对象及方法以及派生设计的处理方案；(5)将条目化的需求规范结合scade工具，使用tcl脚本语言开发出检查工具并实现一键检查。2.根据权利要求1所述的一种民用航空发动机软件模型规范及自动化检查方法，其特征在于，所述步骤(2)具体为：(2.1)规定模型的命名约定，对文件名、目录名、模型名、变量、常量、常用数据结构类型制定命名的规则；(2.2)规定模型搭建的风格，涉及模型的可读性及模型批注与注释的方法；(2.3)设定模型的复杂度限制，对数组、结构体、枚举、条件组合、有限状态机、模块的扇出的复杂度做了明确的规定。3.根据权利要求1所述的一种民用航空发动机软件模型规范及自动化检查方法，其特征在于，所述步骤(3)具体为：(3.1)制定设计模型的规则，约定除法、事件触发、条件判定等算法的设计约束；(3.2)设定建模元素的禁用模块。4.根据权利要求1所述的一种民用航空发动机软件模型规范及自动化检查方法，其特征在于，所述步骤(5)具体为：(5.1)分析模型规范中的规则，使用tcl语言逐条将规则使用脚本语言实现；(5.2)在scade运行环境下，运行所需分析的模型工程，读取tcl脚本，选择需分析的规则，开展规则分析；(5.3)根据规则扫描的结果，生成报告，以报表形式给出相关的规则的扫描结果，报表的内容包括检查的工程名称、检查时间、问题个数、违反规则的模块、违反的具体规则条目。5.一种计算机存储介质，其上存储有计算机程序，其特征在于，该计算机程序被处理器执行时实现如权利要求1-4中任一项所述的一种民用航空发动机软件模型规范及自动化检查方法。6.一种计算机设备，包括储存器、处理器及存储在存储器上并可再处理器上运行的计算机程序，其特征在于，所述处理器执行所述计算机程序时实现如权利要求1-4中任一项所述的一种民用航空发动机软件模型规范及自动化检查方法。

技术总结
本发明公开了一种民用航空发动机软件模型规范及自动化检查方法，包括以下步骤：(1)标识所使用的建模工具，以及其语法、语义、特征和限制；(2)规定建模的风格及复杂性；(3)规定建模工具和支持库正确使用的约束；(4)建立需求追溯的方法，明确追溯的对象及方法以及派生设计的处理方案；(5)将条目化的需求规范结合SCADE工具，使用TCL脚本语言开发出检查工具并实现一键检查。本发明有效提高了模型对规范的符合性的检查效率，能够自动检查模型规范的落实情况，生成DO-331中MB.A-4.5“低层需求符合标准”的符合性证据，降低了人工分析不到位的风险，有效减轻了分析人员的工作负担。有效减轻了分析人员的工作负担。有效减轻了分析人员的工作负担。


技术研发人员：张春 周顾庭 范宇航 周彰毅 朱理化
受保护的技术使用者：中国航发控制系统研究所
技术研发日：2022.02.28
技术公布日：2022/7/5