*** BCS-FACS/BCS Women Evening Seminar Software verification for ubiquitous computing, Prof. Marta Kwiatkowska, 19 Oct 2009, BCS London Offices

*** BCS-FACS/BCS Women Evening Seminar Software verification for ubiquitous computing, Prof. Marta Kwiatkowska, 19 Oct 2009, BCS London Offices

Post by Paul.Boc » Sun, 04 Oct 2009 05:49:04


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
[ 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/