Uppaal

Timed Protocol Analysis of Interconnected Mobile IoT Devices

With the emergence of the Internet of Things (IoT), application developers can rely on a variety of protocols and Application Programming Interfaces (APIs) to support data exchange between IoT devices. However, this may result in highly heterogeneous …

Analysis of Timing Constraints in Heterogeneous Middleware Interactions

With the emergence of Future Internet applications that connect web services, sensor-actuator networks and service feeds, scalability and heterogeneity support of interaction paradigms are of critical importance. Heterogeneous interactions can be …