BCS-FACS/BCS Women Evening Seminar

BCSWomen Group event.

Title: Software verification for ubiquitous computing
Speaker: Prof. Marta Kwiatkowska, University of Oxford
Date/Time: 19 October 2009, 6pm
Venue: BCS, 1st Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA Map

Ubiquitous computing systems are now widespread in e.g. intelligent buildings, environmental monitoring, healthcare monitoring and automotive software. Also called 'everyware' by Adam Greenfield, they continuously interact with the environment through sensors and actuators. In view of the characteristic environmental uncertainty and resource limitations, quantitative techniques are needed to reason about their behaviour.

This talk will focus on how software verification technology, specifically model checkers for languages such as C/NesC typically used to program 'everyware' controllers, can be extended to provide automated analysis for pertinent aspects of ubiquitous computing systems: context, communication failure, resource constraints and performance.

Refreshments will be served from 5.15pm.

The seminar is free of charge and open to everyone. If you would like to attend, please email Paul Boca by 15 October. Pre-registration is required, as security at the BCS Offices is tight.

BCS-FACS Website: http://www.bcs-facs.org