On the Verification of Internet of Things (IoT) Technologies using PRISM Model Checker

dc.contributor.authorBouguerra, Bilal
dc.date.accessioned2018-01-30T13:33:27Z
dc.date.available2018-01-30T13:33:27Z
dc.date.issued2017
dc.description.abstractTechnology 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.urihttp://dspace.univ-msila.dz:8080//xmlui/handle/123456789/1809
dc.language.isofren_US
dc.publisherFaculté des Mathématiques et de l’Informatique - Université Mohamed BOUDIAF - M’silaen_US
dc.subjectthe Verification Internet of Things (IoT) Technologies PRISM Model Checkeren_US
dc.titleOn the Verification of Internet of Things (IoT) Technologies using PRISM Model Checkeren_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Bouguerra Bilal.pdf
Size:
1.72 MB
Format:
Adobe Portable Document Format
Description:
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:

Collections