信息物理系统工程：差距分析与展望

计算与网络的虚拟化、IT-OT 融合、网络安全以及基于 AI 的自主性增强正显著地增加 CPS 与 CPSoS 的复杂性。已出现新的挑战以证明这些系统是安全且可靠的。我们强调控制及其中的新兴领域（如符号控制或基于集合的容错与分散控制）在解决安全性方面的作用。我们选择了三个开放的验证问题，认为它们对于安全关键 CPSoS 的具成本效益的开发与认证至关重要。我们回顾了一些有前景的研究脉络，长期来看可能导向可扩展且强大的验证策略。其主要组成部分是基于集合与不变量的设计、契约、对抗性测试、动力学的算法几何，以及源自组合大规模测试的概率估计。为在协作项目中探索这些方向，并在认证领域推广它们，我们提议延续并升级一个源自航空认证改革协作研究项目的基于无人机的开放创新用例。