|
Title
|
|
|
|
Analyzing WSN-based IoT Systems using MDE techniques and Petri-net models
| |
|
Author
|
|
|
|
| |
|
Abstract
|
|
|
|
| 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. |
| |
|
Language
|
|
|
|
English
| |
|
Source (book)
|
|
|
|
STAF 2020 Workshop Proceedings: 4th Workshop on Model-Driven Engineering for the Internet-of-Things, 1st International Workshop on Modeling Smart Cities, and 5th International Workshop on Open and Original Problems in Software Language Engineering co-located with Software Technologies: Applications and Foundations federation of conferences (STAF 2020), June 22-26, 2020, Bergen, Norway / Burgueño, Loli [edit.]
| |
|
Source (series)
|
|
|
|
CEUR workshop proceedings ; 2707
| |
|
Publication
|
|
|
|
CEUR-WS
,
2020
| |
|
Volume/pages
|
|
|
|
p. 35-46
| |
|
Full text (open access)
|
|
|
|
| |
|