University of Cambridge > > Computer Laboratory Wednesday Seminars > Safety checking in a domain of collaborative applications.

Safety checking in a domain of collaborative applications.

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

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 Computer Laboratory Wednesday Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2022, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity