Overview to the S4 Project with a Focus on Synchronisation Protocols

6^th December 2018, 13:00
Clare Dixon

Abstract

The talk will provide an overview of the research project the Science of Sensor Systems Software (S4). I will focus on the aspects I have found interesting from the sensor systems domain and that may be interesting for the verification group. Additionally I will discuss the work that Liverpool team has carried out relating to verification of protocols for wireless sensor networks, in particular synchronisation protocols. This talk relates to work carried out by the Liverpool S4 team (Clare Dixon, Michael Fisher, Paul Gainer, Sven Linker, and Matt Webster).