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

• 作者: 战芸娇 王立松 胡军 谷青范 魏欧
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 驾驶舱显示系统 需求工程 一致性和完备性检测 四变量模型 表格符号 形式化方法 T-VEC工具
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 20-25,31
• 页数: 7页
• 分类号: V241.8|TP311.5
• 字数: 7152字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2018.03.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王立松	南京航空航天大学计算机科学与技术学院	64	442	11.0	19.0
2	魏欧	南京航空航天大学计算机科学与技术学院	31	153	7.0	11.0
3	胡军	南京航空航天大学计算机科学与技术学院	41	358	10.0	18.0
4	谷青范		10	95	4.0	9.0
5	战芸娇	南京航空航天大学计算机科学与技术学院	3	1	1.0	1.0