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

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