TY - GEN
T1 - Towards a behavioral description of cyber-physical systems using the thing description
AU - Salama, Fady
AU - Korkan, Ege
AU - Käbisch, Sebastian
AU - Steinhorst, Sebastian
N1 - Publisher Copyright:
© 2021 ACM.
PY - 2021/12/7
Y1 - 2021/12/7
N2 - The World Wide Web Consortium (W3C) introduced the Thing Description (TD), a standardized and unified human- and machine-readable semantic description of Internet of Things (IoT) devices that focuses on describing how to interact with the described device using its network-interfaces. However, the TDs lack a way to describe the physical effect of said interactions on the device itself, as well as on the environment around the device, limiting its viability for cyber-physical scenarios. In this paper, we propose an extension for describing the effects of an interaction on the property affordances of a Thing in the TD as a first step towards a TD that is able to fully describe a Cyber-Physical System (CPS). We show this extension permits the generation of accurate Digital Twins, facilitates machine-aided system design and device mashup generation and allows for formal verification of the functionality of CPSs during their deployment and maintenance.
AB - The World Wide Web Consortium (W3C) introduced the Thing Description (TD), a standardized and unified human- and machine-readable semantic description of Internet of Things (IoT) devices that focuses on describing how to interact with the described device using its network-interfaces. However, the TDs lack a way to describe the physical effect of said interactions on the device itself, as well as on the environment around the device, limiting its viability for cyber-physical scenarios. In this paper, we propose an extension for describing the effects of an interaction on the property affordances of a Thing in the TD as a first step towards a TD that is able to fully describe a Cyber-Physical System (CPS). We show this extension permits the generation of accurate Digital Twins, facilitates machine-aided system design and device mashup generation and allows for formal verification of the functionality of CPSs during their deployment and maintenance.
KW - Behavioral description
KW - Internet of things
KW - Web of things
UR - http://www.scopus.com/inward/record.url?scp=85121683289&partnerID=8YFLogxK
U2 - 10.1145/3488661.3494030
DO - 10.1145/3488661.3494030
M3 - Conference contribution
AN - SCOPUS:85121683289
T3 - DAI-SNAC 2021 - Proceedings of the 2021 Descriptive Approaches to IoT Security, Network, and Application Configuration
SP - 6
EP - 9
BT - DAI-SNAC 2021 - Proceedings of the 2021 Descriptive Approaches to IoT Security, Network, and Application Configuration
PB - Association for Computing Machinery, Inc
T2 - 2021 Descriptive Approaches to IoT Security, Network, and Application Configuration, DAI-SNAC 2021
Y2 - 7 December 2021
ER -