Modeling and Verification of Evolving Cyber-Physical Spaces
| dc.contributor.author | Tsigkanos, Christos | |
| dc.contributor.author | Kehrer, Timo | |
| dc.contributor.author | Ghezzi, Carlo | |
| dc.contributor.editor | Tichy, Matthias | |
| dc.contributor.editor | Bodden, Eric | |
| dc.contributor.editor | Kuhrmann, Marco | |
| dc.contributor.editor | Wagner, Stefan | |
| dc.contributor.editor | Steghöfer, Jan-Philipp | |
| dc.date.accessioned | 2019-03-29T10:24:19Z | |
| dc.date.available | 2019-03-29T10:24:19Z | |
| dc.date.issued | 2018 | |
| dc.description.abstract | In this work, we report about recent research results on the Modeling and Verification of Evolving Cyber-Physical Spaces, published in ESEC/FSE17. We increasingly live in cyber-physical spaces – spaces that are both physical and digital, and where the two aspects are intertwined. Such spaces are highly dynamic and typically undergo continuous change. Software engineering can have a profound impact in this domain, by defining suitable modeling and specification notations as well as supporting design-time formal verification. In this paper, we present a methodology and a technical framework which support modeling of evolving cyber-physical spaces and reasoning about their spatio-temporal properties. We utilize a discrete, graph-based formalism for modeling cyber-physical spaces as well as primitives of change, giving rise to a reactive system consisting of rewriting rules with both local and global application conditions. Formal reasoning facilities are implemented adopting logic-based specification of properties and according model checking procedures, in both spatial and temporal fragments. We evaluate our approach using a case study of a disaster scenario in a smart city. | en |
| dc.identifier.isbn | 978-3-88579-673-2 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/21180 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik | |
| dc.relation.ispartof | Software Engineering und Software Management 2018 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-279 | |
| dc.subject | Cyber-Physical Spaces | |
| dc.subject | Dependable Software-Intensive Systems | |
| dc.subject | Safety and Reliability | |
| dc.subject | Modelling and Specification | |
| dc.subject | Formal Verification | |
| dc.title | Modeling and Verification of Evolving Cyber-Physical Spaces | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 114 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 113 | |
| gi.conference.date | 5.-9. März 2018 | |
| gi.conference.location | Ulm | |
| gi.conference.sessiontitle | Software Engineering 2018 - Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1