计算机技术与发展2018，Vol.28Issue(3)：20-25,31,7.DOI:10.3969/j.issn.1673-629X.2018.03.005
面向驾驶舱显示系统需求的形式化建模与分析
Formal Modeling and Analysis of Cockpit Display System Requirements
摘要
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 sys-tem 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 er-rors 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.关键词
驾驶舱显示系统/需求工程/一致性和完备性检测/四变量模型/表格符号/形式化方法/T-VEC工具Key words
cockpit display system/requirement engineering/consistency and completeness checking/four-variable model/table symbol/formal methods/T-VEC tool分类
航空航天引用本文复制引用
战芸娇,魏欧,胡军,王立松,谷青范..面向驾驶舱显示系统需求的形式化建模与分析[J].计算机技术与发展,2018,28(3):20-25,31,7.基金项目
国家"973"重点基础研究发展计划项目(2014CB744901) （2014CB744901）
国家自然科学基金(61170043) （61170043）
