Safety checking in a domain of collaborative applications.

Add to your list(s) Download to your calendar using vCal

• David Greaves, Computer Laboratory, University of Cambridge
• Wednesday 22 November 2006, 14:15-15:15
• Lecture Theatre 1, Computer Laboratory.

If you have a question about this talk, please contact Timothy G. Griffin.

A closed domain of devices contains sensors, actuators and controlling applications. Examples of domains are motor cars, oil refineries and office blocks. So far, ubiquitous computing has developed techniques for automated construction of ad hoc directory services and reflection of command APIs, but now it needs to address automated detection of conflict. Application code is to be statically checked for safety, liveness and feature interaction. The loading of new applications should be blocked by automated deduction methods when violations might occur. Dr Greaves will describe the Pushlogic solution.

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.