CHESSIoT support of event-based modeling for the Internet of Things applications

TL;DR

This paper demonstrates the use of CHESSIoT for event-based modeling in IoT applications, focusing on a smart parking system, highlighting its capabilities to handle heterogeneity and dynamic behaviors.

Contribution

It introduces how CHESSIoT supports event-based modeling for IoT systems, showcasing its application on a smart parking scenario.

Findings

Successful decomposition of components with specifications

Effective modeling of internal and external events

Foundation for future IoT system development

Abstract

Internet of Things systems design and development suffers from heterogeneity in different aspects. The component behaviors also change due to events being internal or external and the system needs to take action subsequently. In this paper, we demo the event-based modeling capabilities of the CHESSIoT tool on a smart parking application. Different components was been decomposed with functional and behavioral specifications following the component-based approach. In the end, we have given a brief description of the future work.