Integrating dependability analysis into the design of distributed systems

The integration of dependability analysis into the design of distributed systems is presented. This design methodology supports a close and efficient interaction of design creation and design evaluation activities. The feasibility of this approach is shown by applying it to the application known as rolling ball.<
>