In today's engineering projects, companies continuously have to adapt their systems to changing customers or dynamic market requirements. This requires a flexible, iterative development process in which different parts of the system under construction are built and updated concurrently. However, concurrent engineering becomes quite challenging in domains where different engineering artifacts from different disciplines come into play, such as safety-critical cyber-physical systems, where the involved engineering artifacts are quite heterogeneous in nature. In such systems, it is of utmost importance that different artifacts remain consistent in order to guarantee a correctly functioning end product. In this article, we discuss our experiences (with a leading company working in the areas of production automation and product processing) in maintaining the consistency between electrical models and the corresponding software controller, when both are subject to continuous changes. The article discusses how we let engineers describe the relationships between electrical models and the corresponding software controller code in the form of links and consistency rules. Additionally, we demonstrate that how our approach, through a process of continuous consistency checking, notifies engineers about the erroneous impact of their changes in various engineering artifacts.

中文翻译：

---

确保网络物理生产系统的安全和一致协同工程：案例研究

在当今的工程项目中，公司必须不断地调整其系统以适应不断变化的客户或动态的市场需求。这需要一个灵活的、迭代的开发过程，在这个过程中，在建系统的不同部分同时构建和更新。然而，在来自不同学科的不同工程工件发挥作用的领域中，并发工程变得非常具有挑战性，例如安全关键的网络物理系统，其中所涉及的工程工件本质上是非常异构的。在这样的系统中，最重要的是不同的工件保持一致，以保证最终产品的正确运行。在本文中，我们讨论了我们（与一家在生产自动化和产品加工领域工作的领先公司）在保持电气模型和相应软件控制器之间一致性方面的经验，当两者都受到持续变化时。文章讨论了我们如何让工程师以链接和一致性规则的形式描述电气模型和相应的软件控制器代码之间的关系。此外，我们还展示了我们的方法如何通过持续的一致性检查过程通知工程师他们在各种工程工件中的更改的错误影响。文章讨论了我们如何让工程师以链接和一致性规则的形式描述电气模型和相应的软件控制器代码之间的关系。此外，我们还展示了我们的方法如何通过持续的一致性检查过程通知工程师他们在各种工程工件中的更改的错误影响。文章讨论了我们如何让工程师以链接和一致性规则的形式描述电气模型和相应的软件控制器代码之间的关系。此外，我们展示了我们的方法如何通过持续的一致性检查过程通知工程师他们在各种工程工件中的更改的错误影响。