Virtual Verification of System Designs against System Requirements
Virtual Verification of System Designs against System Requirements
复制标题
根据系统要求对系统设计进行虚拟验证
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
C. Paredis
中科院分区：
文献类型：
--
作者：
W. Schamai;Philipp Helle;P. Fritzson;C. Paredis
在进入服务时具有足够成熟度的系统开发和集成是航空航天部门的一个竞争性挑战。随着产品复杂性的不断增加，这只能通过使用有效的基于模型的系统设计和系统测试技术来实现。然而，自然语言需求工程是一种成熟的技术，由于许多原因无法完全取代。这是任何新方法都必须考虑的事实。建立在基于模型的系统工程的一般思想，我们的目标是建立一个集成的虚拟验证环境建模系统，需求和测试用例，使系统设计可以模拟和验证的需求，在系统开发的早期阶段。本文描述了一种针对系统需求方法的系统设计虚拟验证方法，并阐述了其在ModelicaML建模环境中的应用。
System development and integration with a sufficient maturity at entry into service is a competitive challenge in the aerospace sector. With the ever-increasing complexity of products, this can only be achieved using efficient model-based techniques for system design as well as for system testing. However, natural language requirements engineering is an established technique that cannot be completely replaced for a number of reasons. This is a fact that has to be considered by any new approach. Building on the general idea of model-based systems engineering, we aim at building an integrated virtual verification environment for modeling systems, requirements, and test cases, so that system designs can be simulated and verified against the requirements in the early stages of system development. This paper provides a description of the virtual verification of system designs against system requirements methodology and exemplifies its application in a ModelicaML modeling environment.