|
Embedded Services
Overview
It would be nice if consumer electronics and other computers would easily work together and figure out on their own what and when to do. When the environment changes, the software must adapt to the change. Computation and topology in a consumer setting is a highly dynamic. New devices are bought, devices move and break, wireless networks are unreliable and noisy. The traditional static analysis and real-time paradigms fall apart and cofiguration becomes a nightmare. Traditional onion models of trust and security get into the way of self-organization and social interaction. This project looks at distributed software as a collection of composable services. While the services send messages to each other, that is not a very pleasant paradigm for the programmer that has to build the services. Instead it is the role of middleware to match the synchronous, fine grain, and object oriented local operations to asynchronous, coarse, message based distributed computation. The tools for programming and analyzing the distributed processes are not as well developed as software designed for a single computer. New tools and semantic descriptions of the distributed processes are needed. The correct behavior of a system depends on the environment, which thus must be modeled and predicted by the control software. How then do you combine the model and context driven distributed process with the actual implementation of a service on the local machine without losing your hair? This project investigates ways to make devices and computers interoperate; new trust models; combining models and prediction with service implementations; interfacing to the physical world and humans; domain specific semantic descriptions; and software design. Beside pie in the sky research ideas we are also trying to be practical. Results include:
Project Members
Past Project Members
Publications
Associated Groups
|
||||