  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.
