[Zurück]


Zeitschriftenartikel:

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, Volume 170 (2020), S. Article 110742: 1 - Article 110742: 13.



Kurzfassung englisch:
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.


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.jss.2020.110742



Zugeordnete Projekte:
Projektleitung Christos Tsigkanos:
EDENSPACE


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.