基于模型的系统需求确认与验证技术研究

Research on Model-Based System Requirements Validation and Verification Technology

为了减少高升力系统设计错误、避免实物验证与迭代、缩短研制周期,提出了一种贯穿于联合定义、初步设计、详细设计及集成验证全生命周期各研发阶段的基于模型的系统需求确认与验证方法。该方法通过ADS2软件将Simulink及SCADE(safety critical application development)等模型集成在一个统一的虚拟集成平台上,分别创建系统架构模型和系统性能模型,并开展仿真分析,实现了在不同研发阶段对系统需求的确认和虚拟验证。此外,使用支持ADS2的I/O驱动模块,以及复用设计阶段建立的测试用例和用户界面,可以快速搭建计算机在环的半物理集成环境、控制分系统集成环境和系统全实物集成环境,支持开展分层级的系统需求验证。由于各研发阶段使用统一标准的模型和测试用例传递信息,因此可以确保研发过程中信息传递的一致性,极大地降低了设计错误,加快了研发周期,并降低了研发成本。

In order to reduce high lift system design errors, avoid physical verification and iteration,accelerate the development progress, this paper proposes a model-based system requirements validation and verification technology throughout the development stages of the whole life cycle including joint definition, preliminary design, detailed design and integrated verification. This technology integrates Simulink and SCADE models into a unified virtual integration platform through ADS2 software. The system architecture model and system performance model are respectively created and simulated based on this platform, which realizes the validation and verification of system requirement at different stages of research and development. In addition, using ADS2-enabled I/O driver modules, reusing test cases and user interfaces established during the design phase, a computer-in-the-loop semi-physical integration environment, control subsystem integration environment and a fully physical integration verification environment can be quickly built to support hierarchical verification of system requirements. Because unified models and test cases are used at various stages of R&D to convey information, which ensures consistency of information transmission during R&D, greatly reduces design errors, accelerates the R&D cycle, and reduces R&D costs.