Reasoning about Uncertainty over IoT Systems

Ghalya Alwhishi, Jamal Bentahar, Nagat Drawel

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations

Abstract

The advent of the Internet of Things (IoT) has led to a rapid increase in the number of applications that are deployed within open and uncertain physical environments. The main challenge that faces IoT applications is how to ensure the reliability of the interaction between its different components. In this paper, we propose a practical and scalable approach that involves reasoning about uncertainty of these applications using multi-valued model checking. We introduce a building block for formal specification and automatic verification of IoT services in uncertain settings. After modeling and simulating a smart home framework behavior, we introduce a set of system specifications and verify whether the given framework meets those specifications. Finally, we present the experimental results obtained using a transformation algorithm and the NuSMV tool.

Original languageBritish English
Title of host publication2022 International Wireless Communications and Mobile Computing, IWCMC 2022
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages306-311
Number of pages6
ISBN (Electronic)9781665467490
DOIs
StatePublished - 2022
Event18th IEEE International Wireless Communications and Mobile Computing, IWCMC 2022 - Dubrovnik, Croatia
Duration: 30 May 20223 Jun 2022

Publication series

Name2022 International Wireless Communications and Mobile Computing, IWCMC 2022

Conference

Conference18th IEEE International Wireless Communications and Mobile Computing, IWCMC 2022
Country/TerritoryCroatia
CityDubrovnik
Period30/05/223/06/22

Keywords

  • IoT
  • Smart home
  • Three-valued model checking

Fingerprint

Dive into the research topics of 'Reasoning about Uncertainty over IoT Systems'. Together they form a unique fingerprint.

Cite this