基于模型的民机验证需求捕获及应用技术

针对当前验证工作顶层规划性不强、研制单位与承试单位接口不清晰、验证活动充分性不确定等问题，基于系统工程的民机研制过程，结合验证场景建模，形成以验证需求为核心的验证工作技术流程。承接产品设计需求，开展验证场景利益关联方识别、验证场景活动建模及时序建模研究；定义验证需求的内涵要素，基于模型开展验证需求捕获，形成设计需求到验证方法到验证需求的映射追溯；在此基础上，研究基于验证场景模型的验证计划及验证程序定义方法。结合某型飞机起落架系统案例，形成一套从设计需求到验证需求再到验证程序的完整技术方法。所提技术方法能够充分保证从产品设计需求到验证活动开展的完整追溯，有效促进民机研制验证过程与产品研制有机融合，为民机研制早期对验证活动的规划提供重要借鉴。 

Methodology for model based verification requirements capturing and application in civil aircraft development

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.