Facial reconstruction

Search LJMU Research Online

Browse Repository | Browse E-Theses

Exploring the effects of environmental conditions and design choices on IoT systems using formal methods

Webster, M, Breza, M, Dixon, C, Fisher, M and McCann, J (2020) Exploring the effects of environmental conditions and design choices on IoT systems using formal methods. Journal of Computational Science, 45. ISSN 1877-7503

[img] Text
webster-revision1-stripped.pdf - Accepted Version
Restricted to Repository staff only until 16 August 2021.
Available under License Creative Commons Attribution Non-commercial No Derivatives.

Download (1MB)

Abstract

Wireless communication protocols are often used in critical applications, e.g., urban water supply networks or healthcare monitoring within the Internet of Things. It is essential that control software and protocols for such systems are verified to be both robust and reliable. The effects on the hardware caused by environmental conditions and the choice of parameters used by the protocol are among the largest obstacles to robustness and reliability in wireless systems. In this paper we use formal verification to verify that a wireless sensor network synchronization and dissemination protocol is not adversely affected by these factors. © 2020

Item Type: Article
Uncontrolled Keywords: 0802 Computation Theory and Mathematics, 0806 Information Systems
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Computer Science & Mathematics
Publisher: Elsevier
Date Deposited: 10 Dec 2020 10:21
Last Modified: 10 Dec 2020 10:21
DOI or Identification number: 10.1016/j.jocs.2020.101183
URI: https://researchonline.ljmu.ac.uk/id/eprint/14160

Actions (login required)

View Item View Item