[1]战芸娇,魏欧,胡军,等.面向驾驶舱显示系统需求的形式化建模与分析[J].计算机技术与发展,2018,28(03):20-25.[doi:10.3969/ j. issn.1673-629X.2018.03.005]
　ZHAN Yun-jiao,WEI Ou,HU Jun,et al.Formal Modeling and Analysis of Cockpit Display System Requirements[J].,2018,28(03):20-25.[doi:10.3969/ j. issn.1673-629X.2018.03.005]
点击复制

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

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
28
期数:
2018年03期
页码:
20-25
栏目:
智能、算法、系统工程
出版日期:
2018-03-10

文章信息/Info

Title:
Formal Modeling and Analysis of Cockpit Display System Requirements
文章编号:
1673-629X(2018)03-0020-06
作者:
战芸娇1 ; 魏欧1 ; 胡军1 ; 王立松1 ; 谷青范2
1. 南京航空航天大学 计算机科学与技术学院,江苏 南京 211106;
2. 中国航空无线电电子研究所,上海 200000
Author(s):
ZHAN Yun-jiao1 ; WEI Ou1 ; HU Jun1 ; WANG Li-song1 ; GU Qing-fan 2
1. School of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics,Nanjing,211106,China;
2. China Aviation Radio Electronics Research Institute,Shanghai 200000,China
关键词:
驾驶舱显示系统; 需求工程; 一致性和完备性检测; 四变量模型; 表格符号; 形式化方法; T-VEC 工具
Keywords:
cockpit display system; requirement engineering; consistency and completeness checking; four-variable model; table symbol; formal methods; T-VEC tool
分类号:
V241.8;TP311.5
DOI:
10.3969/ j. issn.1673-629X.2018.03.005
文献标志码:
A
摘要:
在实际的工程项目中,需求错误普遍发生,对系统的安全有着很大的影响。对复杂的系统需求进行建模分析与检测,找出其中的错误仍然面临着很大的挑战。驾驶舱显示系统负责显示飞机的状态信息,并直接为飞行员提供飞行导引。保证驾驶舱显示系统需求的完整、一致和准确是飞机正常和安全运行的重要基础和保障。对此,提出了一种针对复杂系统需求的一致性和完备性描述方法,帮助检测需求中存在的错误。其中,根据四变量模型和表格符号表示以驾驶舱显示系统为例建立需求模型;在建立的需求模型的基础上,为需求模型提供精确的语义;最后,使用 T-VEC 工具对需求模型进行检测。通过使用该方法对驾驶舱显示系统需求文档进行一致性和完备性检测,找出了需求模型中的潜在错误。
Abstract:
In the actual project,the requirements for errors generally occur,which produce a great influence on the security of the system.It is still a challenge to identify the errors by modeling analysis and testing for the complex system requirements. The cockpit display system is responsible for displaying the status information of the aircraft and providing flight guides directly to the pilot,so it is an important foundation and guarantee for the normal and consistent operation of the cockpit to show the complete,consistent and accurate requirements
of the aircraft. For this,we present a consistency and completeness description method for complex system requirements to help detect errors in requirements. According to the four-variable model and the table symbol,the demand model is established with the cockpit display system as an example,based on which the requirements semantics are provided for the demand model. Finally,the requirements model is tested by the tool of T-VEC. By using this method to verify the consistency and completeness of the cockpit display system requirements document,the potential errors in the requirements model are found out.

相似文献/References:

[1]赵立军.基于SysML的需求分析研究[J].计算机技术与发展,2011,(12):139.
　ZHAO Li-jun.Research on Requirement Analysis Based on SysML[J].,2011,(03):139.
[2]李震,杨海亮,胡毅,等.需求工程对于软件开发的重要性[J].计算机技术与发展,2013,(03):199.
　LI Zhen,YANG Hai-liang,HU Yi,et al.Importance of Requirement Engineering in Software Development[J].,2013,(03):199.
[3]邓刘梦,葛晓瑜,宛伟健.基于 NuSMV 的 SysML 模型形式化验证[J].计算机技术与发展,2019,29(10):153.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 030]
　DENG Liu-meng,GE Xiao-yu,WAN Wei-jian.Formal Verification of SysML Model Based on NuSMV[J].,2019,29(03):153.[doi:10. 3969 / j. issn. 1673-629X. 2019. 10. 030]

更新日期/Last Update: 2018-04-03