The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by organizations belonging to different engineering domains, it is difficult to manage, trace and verify their properties, requirements and constraints throughout their lifecycle by using classical techniques. In this context, the paper presents an integrated solution to formally define system requirements and automate their verification through simulation. The solution is based on the FOrmal Requirements Modeling Language and the Modelica language. The solution is exemplified through two case studies concerning a Trailing-Edge High-Lift system and a Heating, Ventilation and Air Conditioning system.

网络物理系统 (CPS) 日益复杂，使其设计、开发和操作极具挑战性。由于 CPS 的性质涉及许多异构组件，这些组件通常由属于不同工程领域的组织设计和开发，因此很难使用经典技术在其整个生命周期中管理、跟踪和验证它们的属性、需求和约束。在此背景下，本文提出了一种集成解决方案，以正式定义系统需求并通过模拟自动验证。该解决方案基于正式需求建模语言和 Modelica 语言。该解决方案通过两个关于后缘高升力系统和加热、通风和空调系统的案例研究来举例说明。