Plexus is a networking architecture that allows applications to achieve high performance with customized protocols. Application-speciic protocols are written in a typesafe language and installed dynamically into the operating system kernel. Because these protocols execute within the kernel, they can access the network interface and other operating system services with low overhead. Protocols im...

We provide the first tool for verifying the logic of contextaware applications written for the mainstream sensor network operating system TinyOS; we focus on detecting programming errors related to incorrect adaptation to context.

real{time operating system for complex, next generation, real-time applications. The Spring Kernel is being implemented in stages on a network of 68020 and 68030 based multiprocessors called SpringNet. Version 1 of the Kernel is now operational. While much has already been written on the Spring Kernel [10, 11, 12, 4], the purpose of this invited paper is to combine ideas found in separate paper...

In sensor networks, nodes must often operate in a demanding environment facing restrictions such as restricted computing resources, unreliable wireless communication and power shortages. Such factors make the development of ubiquitous sensor network (USN) applications challenging. To help developers construct a large amount of node software for sensor network applications easily and rapidly, th...

Structure of the network becomes more and more complicated. Optimal management of a structure of a complex network becomes a di cult, work-consuming and costly task. A concept of a system being a module of a distributed operating system was presented in the paper. The module working as a decentralized multiagent system carries out current monitoring of pro tability of all network connections. I...

Flexibility to adapt to radically diierent network environments will be key to the success of new distributed operating systems. An operating system must be able to support the distribution of objects on high bandwidth ber-optic as well low-bandwidth wireless networks. In this position paper, we provide a sketch of OS6, a new operating system being designed to provide low latency run-time servi...