Book Details

Dependable Systems: Software, Computing, Networks

: 2006

: 978-3-540-36823-6


The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.

: Computer Science, MDA, Middleware, Routing, Scala, Unified Modeling Language (UML), ad-hoc networks, algorithms, architecture, component-based systems, dependable computing, dependable networks, dependable software, distributed systems, formal testing, model driven architecture