| Citation: | GUO Tai, QIAN Xin, GONG Qi, et al. Methodology for model based verification requirements capturing and application in civil aircraft development[J]. Journal of Beijing University of Aeronautics and Astronautics, 2022, 48(10): 1933-1942. doi: 10.13700/j.bh.1001-5965.2021.0047(in Chinese)
|
From the perspectives of the current verification work there are a few issues need to be addressed, such as the top-level planning is not enough, the interfaces between the development organization and test organization are not well defined, the sufficiency of the verification activities is difficult to be determined. By combining the verification scenario modeling in civil aircraft development process based on system engineering and revolving around the verification requirements, a novel methodology of verification work process is introduced in this paper. Firstly, based on the product design requirements, the identification of stakeholders in the verification scenario is conducted, the activities and the time sequence of events associated with the scenario model are studied. Secondly, all the contained elements associated with the verification requirements are defined, the verification requirements capturing from the model is described, and the mapping traceability among the design requirements, the verification methods, and the verification requirements are constructed. At last, the methodology for defining the verification planning and the verification procedure based on the verification scenario model is investigated. Using the landing gear system of an aircraft as an example, a complete approach is demonstrated by proceeding from design requirements to verification requirements and then to verification procedures. The proposed technical method can ensure the completed traceability from product design requirements to verification activities, effectively facilitates the integration between the verification process and the product design process in civil aircraft development. Moreover, the method introduced here provides a valuable example for planning the verification activities in the early stage of civil aircraft development.
| [1] |
贺东风, 赵越让, 郭博智, 等. 中国商用飞机有限责任公司系统工程手册[M]. 上海: 上海交通大学出版社, 2017: 1-16.
HE D F, ZHAO Y R, GUO B Z, et al. COMAC systems engineering manual[M]. Shanghai: Shanghai Jiao Tong University Press, 2017: 1-16(in Chinese).
|
| [2] |
ROUSSEL J C. Airbus presentation benefits of requirement engineering with DOORS[C]//USA Presentation at Telelogic Capital Market Event, 2005: 12-18.
|
| [3] |
MIKE G. Before opening DOORS-best practices planning at Boeing[R]. Seattle: USA Boeing Management Company, 2010: 1-25.
|
| [4] |
US Department of Defense. Defense and program-unique specifications format and content: MIL-STD-961E[S]. Washington, D.C. : US Department of Defense, 2014: 36-37.
|
| [5] |
CHEN R, CHEN C H, LIU Y, et al. Ontology-based requirement verification for complex systems[J]. Advanced Engineering Informatics, 2020, 46: 101148. doi: 10.1016/j.aei.2020.101148
|
| [6] |
SAE Aerospace. Guidelines for development of civil aircraft and systems: SAE ARP 4754A[S]. Warrendale: SAE International, 2010: 54-70.
|
| [7] |
徐万萌, 陈芳, 齐林. 基于ARP4754A的飞行管理系统需求确认以及系统验证研究[C]//2019(第八届)民用飞机航电国际论坛, 2019: 636-640.
XU W M, CHEN F, QI L. Research on requirement validation and system verification of flight management system based on ARP4754A[C]//2019(8th) Civil Aircraft Avionics International Forum, 2019: 636-640(in Chinese).
|
| [8] |
许光磊, 刘永超, 高斌, 等. 基于模型的航电系统集成验证技术研究[J]. 民用飞机设计与研究, 2017, 3: 21-25. https://www.cnki.com.cn/Article/CJFDTOTAL-MYFJ201703007.htm
XU G L, LIU Y C, GAO B, et al. Research on model-based integration and verification technology of avionics system[J]. Civil Aircraft Design & Research, 2017, 3: 21-25(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-MYFJ201703007.htm
|
| [9] |
KARBAN R, HAUBER R, WEILKIENS T. MBSE in telescope modeling[J]. Insight, 2009, 12(4): 24-31. doi: 10.1002/inst.200912424
|
| [10] |
ESTEFAN J A. 基于模型的系统工程(MBSE)方法论综述[M]. 张新国, 译. 北京: 机械工业出版社, 2014: 1-20.
ESTEFAN J A. Survey of model-based system engineering methodology[M]. ZHANG X G, translated. Beijing: China Machine Press, 2014: 1-20(in Chinese).
|
| [11] |
MADNI A M, SIEVERS M. Model-based systems engineering: Motivation, current status, and research opportunities[J]. Systems Engineering, 2018, 21: 172-190. doi: 10.1002/sys.21438
|
| [12] |
张绍杰, 李正强, 海晓航, 等. 基于MBSE的民用飞机安全关键系统设计[J]. 中国科学: 技术科学, 2018, 48(3): 299-311. https://www.cnki.com.cn/Article/CJFDTOTAL-JEXK201803006.htm
ZHANG S J, LI Z Q, HAI X H, et al. Design of safety critical system for civil aircraft based on MBSE[J]. Chinese Science: Technical Science, 2018, 48(3): 299-311(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-JEXK201803006.htm
|
| [13] |
ZHU S, TANG J, GAUTHIER J M, et al. A formal approach using SysML for capturing functional requirements in avionics domain[J]. Chinese Journal of Aeronautics, 2019, 32(12): 2717-2726. doi: 10.1016/j.cja.2019.03.037
|
| [14] |
梅芊, 黄丹, 卢艺. 基于MBSE的民用飞机功能架构设计方法[J]. 北京航空航天大学学报, 2019, 45(5): 1042-1051. https://www.cnki.com.cn/Article/CJFDTOTAL-BJHK201905023.htm
MEI Q, HUANG D, LU Y. Design method of civil aircraft functional architecture based on MBSE[J]. Journal of Beijing University of Aeronautics and Astronautics, 2019, 45(5): 1042-1051(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-BJHK201905023.htm
|
| [15] |
郑党党, 吴颖, 任丽强. 飞机设计基于模型的系统工程技术研究与应用[C]//第21届中国系统仿真技术及其应用学术年会, 2020, 21: 224-228.
ZHENG D D, WU Y, REN L Q. Research on model based systems engineering and application in aircraft design[C]//The 21st Annual Conference of China's System Simulation Technology and Applications, 2020, 21: 224-228(in Chinese).
|
| [16] |
邓兴民, 张惠媛, 李建仁, 等. 基于运行场景的需求捕获方法在炮塔中的应用[J]. 西北工业大学学报, 2017, 35(S1): 88-92. https://www.cnki.com.cn/Article/CJFDTOTAL-XBGD2017S1015.htm
DENG X M, ZHANG H Y, LI J R, et al. The application of requirement capture method based on operational scenario[J]. Journal of Northwestern Polytechnical University, 2017, 35(S1): 88-92(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-XBGD2017S1015.htm
|
| [17] |
谢陵, 方俊伟, 徐州, 等. 基于功能场景分析的飞机需求捕获和确认方法研究[J]. 科技资讯, 2015, 13(18): 83-84. https://www.cnki.com.cn/Article/CJFDTOTAL-ZXLJ201518044.htm
XIE L, FANG J W, XU Z, et al. Research on capture and confirmation method for aircraft requirements based on functional scenario analysis[J]. Science & Technology Information, 2015, 13(18): 83-84(in Chinese). https://www.cnki.com.cn/Article/CJFDTOTAL-ZXLJ201518044.htm
|
| [18] |
ELIZABETH H, KEN J, JEREMY D. Requirements engineering[M]. 2nd ed. Berlin: Springer, 2005: 1-19.
|
| [19] |
ISO/IEC. Systems and software engineering-System life cycle processes: ISO 15288[S]. Geneva: ISO, 2015: 70-77.
|
| [20] |
JACKSON S. Systems engineering for commercial aircraft: A domain-specification adaptation[M]. 2nd ed. London: Routledge Taylor & Francis Group, 2015: 9-14.
|
| [21] |
汉斯-亨利奇·阿尔特菲尔德. 商用飞机项目——复杂高端产品的研发管理[M]. 唐长红, 等译. 北京: 航空工业出版社, 2013: 1-20.
ALTFELD H H. Commercial aircraft projects-Managing the development of highly complex products[M]. TANG C H, et al, translated. Beijing: Aviation Industry Press, 2013: 1-20(in Chinese).
|
| [22] |
ISO/IEC. Systems and software engineering-Life cycle processes-Requirements engineering: ISO 29148[S]. Geneva: ISO, 2011: 34-35.
|
| [23] |
中国民用航空局航空器适航审定司. 航空器型号合格审定程序: AP-21-AA-2011-03-R4[S]. 北京: 中国民用航空局航空器适航审定司, 2011: 123.
Airworthiness Certification Department of Civil Aviation Admi-nistration of China. Aircraft type certification procedure: AP-21-AA-2011-03-R4[S]. Beijing: Airworthiness Certification Department of Civil Aviation Administration of China, 2011: 123(in Chinese).
|
Figures(11) / Tables(3)
Copyright © Journal of Beijing University of Aeronautics and Astronautics
Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn
Supported by:
Beijing Renhe Information Technology Co., Ltd.
DownLoad:
