[Back]

R. Kirner:
"Enforcing Composability for Ubiquitious Computing Systems";
Talk: The Cabernet Radicals Workshop, Bertinoro, Italy; 2002-10-01; in: "Proceedings of the 7th Cabernet Radicals Workshop", (2002).

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.

http://www.vmars.tuwien.ac.at/php/pserver/extern/docdetail.php?DID=1073&viewmode=published&year=2002