Skip to content
Oihana Garcia Anakabe edited this page Jun 27, 2022 · 7 revisions

RUNTIME VERIFICATION FOR SPATIO-TEMPORAL PROPERTIES OVER IOT NETWORKS

Abstract

Contemporary machines frequently incorporate software components for critical tasks. The mechanical systems on their own are not relevant anymore. Therefore, physical objects are provided with computing and communication capabilities to overcome these systems. Having as the central resource the monitor called Moonlight, the goal is to put this monitor running at runtime on a real-world system for the first time. During the design of a system that takes decisions based on a system spatially distributed and connected to the internet, different areas need to be considered. The presented solution solves this problem by implementing a middleware with different services, adding connectivity capabilities with different devices, data processing, and system evaluation. In addition, a dashboard has been created so that the client can interact with the middleware and the monitor proactively. The user can specify certain values and properties, such as the formula to be analyzed, and see the monitor's results and the actual values of all distributed sensors.