Date Added: Jan 2010
The highly distributed and resource con-strained nature of computing in Networked Embedded Systems necessitates an application specific middleware a kind of distributed operating system that provides global services for the application. This paper proposes to automatically synthesize the middleware, platform-independent algorithm models. The modeling language captures the temporal and computational aspects of the distributed algorithms in a programming language-independent and platform-neutral way. It supports the specification, composition and verification of middleware components, and allows the integration of existing platform-specific components.