Copy the page URI to the clipboard
Tsigkanos, Christos; Kehrer, Timo; Ghezzi, Carlo; Pasquale, Liliana and Nuseibeh, Bashar
(2016).
DOI: https://doi.org/10.1145/2897035.2897042
URL: http://dl.acm.org/citation.cfm?id=2897042&CFID=631...
Abstract
Smart cyber-physical spaces indicate spatial environments which include both cyber and physical elements interacting with each other. In the construction industry, Building Information Models are the de facto standard for specifying complex information about building infrastructures, a representation which can also be extended for the specification of cyber-physical spaces. By providing formal static and dynamic semantics in terms of topological concepts of locality and connectivity of entities it is possible to support many forms of advanced analyses typically performed in software engineering. Static semantics aim to broadly support reasoning about latent qualities of a design. Dynamic semantics aim to deal with the dynamism that a space exhibits when additionally considering the ways it may change along with entities inhabiting it. Motivated by the setting of a smart hospital, we show how both qualitative and quantitative properties can be specified and verified.
Viewing alternatives
Metrics
Public Attention
Altmetrics from AltmetricNumber of Citations
Citations from DimensionsItem Actions
Export
About
- Item ORO ID
- 46668
- Item Type
- Conference or Workshop Item
- ISBN
- 1-4503-4171-3, 978-1-4503-4171-4
- Project Funding Details
-
Funded Project Name Project ID Funding Body SMScom 227977 ERC (European Research Council) ASAP 291652 ERC (European Research Council) - Keywords
- Cyber-Physical Spaces; Building Information Modelling; Formal Verification
- Academic Unit or School
-
Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications
Faculty of Science, Technology, Engineering and Mathematics (STEM) - Research Group
-
Centre for Research in Computing (CRC)
International Development & Inclusive Innovation - Copyright Holders
- © 2016 ACM
- Depositing User
- Danielle Lilly