Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration of computation and physical components. Typical examples include systems where software-driven agents such as mobile robots explore space and perform actions to complete particular missions. Design of such a system often depends on multiple concerns expressed by different stakeholders, capturing different aspects of the system. We propose a model-driven approach supporting (a) separation of concerns during design, (b) systematic and semi-automatic integration of separately modeled concerns, and finally (c) early validation via statistical model checking. We evaluate our approach over two different case studies of cyber-physical space systems.

中文翻译：

---

通过多关注点集成对信息物理空间系统进行早期验证

信息物理空间系统是在物理空间内运行的工程系统，其设计要求取决于空间，例如位置或移动行为。它们构建于并依赖于计算和物理组件的无缝集成。典型的例子包括软件驱动的代理（如移动机器人）探索空间并执行操作以完成特定任务的系统。这样一个系统的设计通常取决于不同利益相关者表达的多个关注点，捕捉系统的不同方面。我们提出了一种模型驱动的方法，支持（a）设计期间的关注点分离，（b）单独建模的关注点的系统和半自动集成，最后（c）通过统计模型检查进行早期验证。