On the Verification of Internet of Things (IoT) Technologies using PRISM Model Checker
| dc.contributor.author | Bouguerra, Bilal | |
| dc.date.accessioned | 2018-01-30T13:33:27Z | |
| dc.date.available | 2018-01-30T13:33:27Z | |
| dc.date.issued | 2017 | |
| dc.description.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. | en_US |
| dc.identifier.uri | http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/1809 | |
| dc.language.iso | fr | en_US |
| dc.publisher | Faculté des Mathématiques et de l’Informatique - Université Mohamed BOUDIAF - M’sila | en_US |
| dc.subject | the Verification Internet of Things (IoT) Technologies PRISM Model Checker | en_US |
| dc.title | On the Verification of Internet of Things (IoT) Technologies using PRISM Model Checker | en_US |
| dc.type | Thesis | en_US |