Imperial College London
Portrait Picture

ProfessorJulieMcCann

Faculty of Engineering, Department of Computing

Vice-Dean (Research) for the Faculty of Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8375j.mccann Website

 
 
//

Assistant

 

Miss Teresa Ng +44 (0)20 7594 8300

 
//

Location

 

260ACE ExtensionSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@article{Webster:2020:10.1016/j.jocs.2020.101183,
author = {Webster, M and Breza, M and Dixon, C and Fisher, M and McCann, J},
doi = {10.1016/j.jocs.2020.101183},
journal = {Journal of Computational Science},
title = {Exploring the effects of environmental conditions and design choices on IoT systems using formal methods},
url = {http://dx.doi.org/10.1016/j.jocs.2020.101183},
volume = {45},
year = {2020}
}
Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - 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.
AU  - Webster,M
AU  - Breza,M
AU  - Dixon,C
AU  - Fisher,M
AU  - McCann,J
DO  - 10.1016/j.jocs.2020.101183
PY  - 2020///
SN  - 1877-7503
TI  - Exploring the effects of environmental conditions and design choices on IoT systems using formal methods
T2  - Journal of Computational Science
UR  - http://dx.doi.org/10.1016/j.jocs.2020.101183
UR  - http://hdl.handle.net/10044/1/83372
VL  - 45
ER  -
Download