Funded by: Oxford Martin School
Dates: January 2011 - December 2013
Main project website: Institute for the Future of Computing at the Oxford Martin School
Wireless sensor networks have a multitude of applications, for example in environmental monitoring, autonomous transport, or intelligent buildings. There are significant challenges in engineering and programming of effective sensor-based systems, in view of resource limitations of the devices and unreliability of wireless links. At the same time, sensor networks are increasingly often deployed in safety-critical contexts that require sound and autonomous decision making and guarantees on their correct behaviour. This research will bring together two hitherto separate streams of work: (1) Trigoni's group, focused on developing systems and novel algorithmic techniques for data collection in sensor networks, and (2) Kwiatkowska's VERIWARE project, which aims to develop pioneering methodology and software tools to ensure the reliability and correct behaviour for such devices, thus enabling testbed experimentation and evaluation of the techniques that is not feasible as part of existing projects.