Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
This addresses the challenge of early validation for complex cyber-physical systems, which is incremental as it builds on existing model-driven and statistical checking methods.
The paper tackles the problem of designing cyber-physical space systems with multiple stakeholder concerns by proposing a model-driven approach that enables separation, integration, and early validation via statistical model checking, and evaluates it on two case studies.
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.