home search a-z help
University of Cambridge Computer Laboratory
Thursday November 17th, 2005 - 4.30pm
Computer Laboratory > Research > Systems Research Group > NetOS > Seminars > Thursday November 17th, 2005 - 4.30pm

Using Simple Push Logic

David Greaves

Programming languages designed to control remote devices or invoke transactions on remote servers are being designed with, so-called, compensation mechanisms to implement failure handling mechanism. Examples are STAC, BEPL4WS and Push Logic. Push Logic is an experimental scripting language for a dynamic population of devices (sensors/processors/actuators) and dynamic number of concurrent applications in a reliable or safety-critical system. It is a constrained language amenable to automated reasoning, using a model checker, that runs before a new proactive agent may join a domain of participation. In this talk, I will explain the background motivation and work so-far completed within the CMI Pebbles project. Joint work with Daniel Gordon. A recent paper is here.