科研之友
微信
新浪微博
Facebook
分享链接
摘要
针对民机安全关键系统在正向研发过程中，系统级需求的正确性难以在设计早期全部完成确认的问题，提出一种基于有限谓词追踪的功能需求一致性检查体系。首先，引入一阶逻辑中的谓词追踪，建立系统内部功能需求与交互功能需求形式化规约方法；其次，针对单条、多条需求内容正确性以及需求关系一致性，构建需求一致性检查形式化规约，开展需求自冲突、集冲突与需求关系一致性检验，并生成可解释的检查反例进行需求迭代。最后，以机载平视显示（Head-up Display，HUD）系统飞行信息符号生成与显示功能为例验证该方法的正确性与有效性。结论表明，基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本，为民机系统级需求确认提供支持。
- 出版日期2023
- 单位中国民航大学
