论文标题
通过多关注集成对网络物理空间系统的早期验证
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
论文作者
论文摘要
网络物理空间系统是在物理空间内运行的工程系统，其设计要求取决于空间，例如位置或运动行为。它们是由计算和物理组件的无缝集成而构建的，并取决于它们。典型的示例包括软件驱动的机器人（例如移动机器人）探索空间并执行操作以完成特定任务的系统。这种系统的设计通常取决于不同利益相关者表达的多个问题，从而捕获了系统的不同方面。我们提出了一种模型驱动的方法，该方法支持（a）在设计过程中分离关注点，（b）单独建模的关注点系统和半自动集成，最后（c）通过统计模型检查（c）早期验证。我们在两个不同的网络物理空间系统的案例研究中评估了我们的方法。
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.
