Analyzing WSN-based IoT Systems using MDE techniques and Petri-net models

There are various computation components, operating systems, and firmware used in the development of the Internet of Things (IoT). This variety increases the structural complexity and development cost and effort of the IoT systems. Besides, analyzing and troubleshooting these systems are time-consuming, costly, and cumbersome. To address these problems, this study aims to provide a higher level of abstraction for analyzing and developing IoT systems using Model-driven Engineering techniques and Petri-net models. To this end, a Domain-specific modeling Language (DSML), called DSML4Contiki, was presented in our previous study for the development of Wireless Sensor Systems (WSN) based IoT systems. The current study extends DSML4Contiki by providing an automated mechanism to analyze the IoT system at the early design phase, resulting in a reduction of the number of errors in the system and iterations in the development process. This is achieved using model transformation rules to transform the domain models at a high level to both the target platform artifacts as well as Petri-net models. By applying k-boundedness property checking on the Petri-net models, different analyses (such as power consumption, bottlenecks, and first crashing node) are realized for WSN based IoT systems. To evaluate the proposed approach, the engineering of a smart fire detection system is considered as a case study.

Jaar van publicatie:2020

Trefwoorden:P1 Proceeding

Toegankelijkheid:Open