系统工程与电子技术

作者：王鹏, 岳舒婷, 张帆, 董磊

单位：1. 中国民航大学民航航空器适航审定技术重点实验室, 天津 300300；2. 中国民航大学安全科学与工程学院, 天津 300300

关键词：需求一致性,定理证明,功能需求正确性,一阶逻辑,需求冲突

基金：中央高校基本科研业务费(3122022094)

针对民机安全关键系统在正向研发过程中, 系统级需求的正确性难以在设计早期全部完成确认的问题, 提出一种基于有限谓词追踪的功能需求一致性检查体系。首先, 引入一阶逻辑中的谓词追踪, 建立系统内部功能需求与交互功能需求形式化规约方法。其次, 针对单条、多条需求内容正确性以及需求关系一致性, 构建需求一致性检查形式化规约, 开展需求自冲突、集冲突与需求关系一致性检验, 并生成可解释的检查反例进行需求迭代。最后, 以机载平视显示(head-up display, HUD)系统飞行信息符号生成与显示功能为例, 验证该方法的正确性与有效性。研究结果表明, 基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本, 为民机系统级需求确认提供支持。

来源：2023年第1期

《系统工程与电子技术》期刊编辑部

查看系统工程与电子技术杂志2023年第1期