Publications in Scientific Journals:
N. Li, C. Tsigkanos, Z. Jin, Z. Hu, C. Ghezzi:
"Early validation of cyber-physical space systems via multi-concerns integration";
Journal of Systems and Software,
Article 110742: 1
- Article 110742: 13.
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.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
Project Head Christos Tsigkanos:
Created from the Publication Database of the Vienna University of Technology.