Enforcing Composability for Ubiquitous Computing Systems ∗ ( Extended Abstract )

Ubiquitous computing provides a paradigm shift in computing systems to an environment with a potentially large number of typically small networked components. At the same time they tend to disappear from the view of the user by providing user interfaces through the physical world. But this new paradigm also requires adapted design and engineering methods to guarantee a certain quality of service and scalability of the system. This becomes most important when ubiquitous computing is used in the field of dependable computing. New concepts have to be provided to cope with the complexity of the large number of components. In this work we address the issue of designing dependable computing systems in such an environment by providing composability verification services.