![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
David Greaves, Computer Laboratory, University of Cambridge
Wednesday 22 November 2006, 14:15-15:15
Safety checking in a domain of collaborative applications.
- đ¤ Speaker: David Greaves, Computer Laboratory, University of Cambridge
- đ Date & Time: Wednesday 22 November 2006, 14:15 - 15:15
- đ Venue: Lecture Theatre 1, Computer Laboratory
Abstract
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.
Series This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Chris Davis' list
- computer science
- Department of Computer Science and Technology talks and seminars
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory
- Martin's interesting talks
- School of Technology
- se393's list
- Trust & Technology Initiative - interesting events
- Wednesday Seminars - Department of Computer Science and Technology
- yk449
Note: Ex-directory lists are not shown.