BCS-FACS/BCS Women Evening Seminar
Software verification for ubiquitous computing
Prof. Marta Kwiatkowska
University of Oxford
19 Oct 2009
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
[ XXXX@XXXXX.COM ] by >>> 15 Oct <<< .
Pre-registration is required, as security at the
BCS Offices is tight.
BCS-FACS Website: http://www.yqcomputer.com/
BCS Women Website: http://www.yqcomputer.com/
Location of venue: http://www.yqcomputer.com/