BCS-FACS/BCS Women Evening Seminar

  Software verification for ubiquitous computing

                  Prof. Marta Kwiatkowska

                  University of Oxford

                      19 Oct 2009

                             6pm

                  BCS London Offices

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
[Paul.B...@googlemail.com] by >>> 15 Oct <<< .
Pre-registration is required, as security at the
BCS Offices is tight.

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