面向驾驶舱显示系统需求的形式化建模与分析

摘要：

在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响.对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战.驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引.保证驾驶舱显示系统需求的完整、一致和准确是飞机正常和安全运行的重要基础和保障.对此,提出了一种针对复杂系统需求的一致性和完备性描述方法,帮助检测需求中存在的错误.其中,根据四变量模型和表格符号表示以驾驶舱显示系统为例建立需求模型;在建立的需求模型的基础上,为需求模型提供精确的语义;最后,使用T-VEC工具对需求模型进行检测.通过使用该方法对驾驶舱显示系统需求文档进行一致性和完备性检测,找出了需求模型中的潜在错误.

关键词：驾驶舱显示系统、需求工程、一致性和完备性检测、四变量模型、表格符号、形式化方法、T-VEC工具

所属期刊栏目：28

分类号：V241.8;TP311.5(航空仪表、航空设备、飞行控制与导航)

资助基金：国家重点基础研究发展计划（973计划）;国家自然科学基金

在线出版日期：2021-07-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：20-25,31