-
题名基于有限谓词追踪的民机系统需求一致性检查方法
- 1
-
-
作者
王鹏
岳舒婷
张帆
董磊
-
机构
中国民航大学民航航空器适航审定技术重点实验室
中国民航大学安全科学与工程学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2024年第1期205-218,共14页
-
基金
中央高校基本科研业务费(3122022094)资助课题。
-
文摘
针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。
-
关键词
需求一致性
定理证明
功能需求正确性
一阶逻辑
需求冲突
-
Keywords
requirements consistency
theorem proving
correctness of functional requirements
first-order logic(FOL)
requirements conflict
-
分类号
V37
[航空宇航科学与技术—航空宇航推进理论与工程]
-
