SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World

Fries J, Freund M, Harth A (2024)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2024

Pages Range: 99-113

Conference Proceedings Title: KI 2024: Advances in Artificial Intelligence

Event location: Würzburg DE

ISBN: 978-3-031-70893-0

URI: https://link.springer.com/chapter/10.1007/978-3-031-70893-0_8

DOI: 10.1007/978-3-031-70893-0_8

Abstract

We introduce SaVeWoT (Scripting and Verifying Web of Things Systems), an approach for designing, formally verifying, and deploying decentralized control systems based on the W3C WoT. SaVeWoT consists of two main parts: the SaVeWoT language and the SaVeWoT compiler. The SaVeWoT language models devices (i.e., Things), controllers that orchestrate Things, virtual composite Things (i.e., subsystems consisting of multiple Things), interactions between these components, and their effects on the physical world. The SaVeWoT compiler uses Thing Descriptions (TDs) and SaVeWoT behavior descriptions along with correctness specifications in Linear-time Temporal Logic (LTL) to automatically generate a Promela model, which is validated using the SPIN model checker. We demonstrate the feasibility of the SaVeWoT approach by verifying a conveyor belt system as an example and conducting an empirical evaluation.

Authors with CRIS profile

Michael Freund Lehrstuhl für Wirtschaftsinformatik, insbesondere Technische Informationssysteme Andreas Harth Lehrstuhl für Wirtschaftsinformatik, insbesondere Technische Informationssysteme

Involved external institutions

Fraunhofer-Institut für Integrierte Schaltungen (IIS) DE Germany (DE)

How to cite

APA:

Fries, J., Freund, M., & Harth, A. (2024). SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World. In Springer Nature Switzerland (Eds.), KI 2024: Advances in Artificial Intelligence (pp. 99-113). Würzburg, DE.

MLA:

Fries, Justus, Michael Freund, and Andreas Harth. "SaVeWoT: Scripting and Verifying Web of Things Systems and Their Effects on the Physical World." Proceedings of the 47th German Conference on Artificial Intelligence, Würzburg Ed. Springer Nature Switzerland, 2024. 99-113.

BibTeX: Download