The engineering of IoT systems brings about various challenges due to the inherent complexities associated with such heterogeneous systems. In this paper, we propose a library of statechart templates, STL4IoT, for designing complex IoT systems. We have developed atomic statechart components modelling the heterogeneous aspects of IoT systems including sensors, actuators, physical entities, network, and controller. Base system units for smart systems have also been designed. A component for calculating power usage is available in the library. Additionally, a smart hub template that controls interactions among multiple IoT systems and manages power consumption has also been proposed. The templates aim to facilitate the modelling and simulation of IoT systems. Our work is demonstrated with a smart home system consisting of a smart hub of lights, a smart microwave, a smart TV, and a smart fire alarm system. We have created a multi statechart with itemis CREATE based on the proposed templates and components. A smart home simulator has been developed by generating controller code from the statechart and integrating it with a user interface.

翻译：物联网系统工程因这类异构系统固有的复杂性带来了诸多挑战。本文提出了一种状态图模板库STL4IoT，用于设计复杂的物联网系统。我们开发了原子状态图组件，对物联网系统的异构方面（包括传感器、执行器、物理实体、网络和控制器）进行建模，并设计了智能系统的基础系统单元。该库提供了计算功耗的组件，同时提出了一种智能集线器模板，用于控制多个物联网系统间的交互并管理能耗。这些模板旨在促进物联网系统的建模与仿真。我们以包含智能灯光集线器、智能微波炉、智能电视和智能火灾报警系统的智能家居系统为例进行了验证。基于所提出的模板和组件，使用itemis CREATE创建了一个多状态图，并通过从状态图生成控制器代码与用户界面集成，开发了智能家居模拟器。