On the Verification of Internet of Things (IoT) Technologies using PRISM Model Checker
Loading...
Date
2017
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Faculté des Mathématiques et de l’Informatique - Université Mohamed BOUDIAF - M’sila
Abstract
Technology has become a necessity in our daily lives through constant communication between individuals or objects, especially with the rise of Internet of Things (IoT). Wireless networks are the most prevalent today. In this thesis, we study wireless sensor networks, which are a set of sensors that are used to transport or follow a physical phenomenon, and then transfer the information about this phenomenon wirelessly to the data processing center. However, there are still many problems experienced by the wireless sensor network. They include low reliability for wireless communication systems, limited power availability, contract failure, etc. Through this work, we try to implement a formal analysis model in PRISM-games based on a collaborative game theory to reduce energy consumption.
Description
Keywords
the Verification Internet of Things (IoT) Technologies PRISM Model Checker