In embedded systems, there is a clear movement from autonomous systems towards collaborative systems, forming so-called collaborative system groups (CSGs), which collaborate to achieve common goals. Verification of CSGs, however, imposes new challenges, which are difficult to address with traditional verification techniques. In the following, we investigate the use of strategic logics for the analysis of CSGs, by means of a use-case in the domain of smart production systems. Our results show that strategic model checking is useful to investigate certain aspects of CSGs, such as the impact of environmental changes. However, our results also show some limitations of the approach, when it comes to the analysis of implementation-level aspects, such as performance. Thus, we conclude that strategic model checking might complement existing approaches for the analysis of CSGs.

中文翻译：

---

协作嵌入式系统的战略逻辑

在嵌入式系统中，从自治系统到协作系统的转移非常明显，形成了所谓的协作系统组（CSG），它们通过协作来实现共同的目标。但是，CSG的验证会带来新的挑战，而传统的验证技术很难解决这些挑战。在下文中，我们将通过智能生产系统领域中的一个用例来研究战略逻辑在CSG分析中的使用。我们的结果表明，战略模型检查可用于研究CSG的某些方面，例如环境变化的影响。但是，在分析实现级别方面（例如性能）时，我们的结果也显示了该方法的一些局限性。从而，