uSOL: A programming language for sensor networks

We present an event-driven synchronous programming environment for coordinating and reorganizing sensor networks. More precisely, we present a synchronous programming language uSOL (secure operations language with uncertainty) that has capabilities of handling service invocations asynchronously, provides strong typing to ensure enforcement of information flow and security policies, has constructs for handling uncertainty, and has the ability to deal with failures (both benign and byzantine) of network components.