Pages

Welcome

The dependability of fault-tolerant systems is usually quantified by using stochastic models which compute the system's dependability from the properties of its components. Most frequently, combinatorial analytic techniques like fault trees or reliability block diagrams are used for this purpose.

The above-mentioned techniques are very mature and well understood both in industry and the academic environments. However, their classical solution methods only work for Boolean components and Boolean systems with a static behavior, and only under the assumption that there are no dependencies and interactions between the components of the system.

Examples of important properties which cannot be modeled using classical techniques are dependent, cascading and common cause events, imperfect fault coverage, error propagation, load sharing, standby-redundancy, delayed models, multi-phase systems, limited repair facilities and corresponding policies, ageing effects, and so on. Therefore, the classical solution methods based on simplified assumptions can provide inaccurate or even dangerously over-optimistic results.

It is the aim of the workshop to discuss novel ideas, methods, algorithms, and software tools for in-depth studies of these dynamic aspects of dependable fault-tolerant systems. Any contribution related to qualitative and quantitative evaluation is welcome.

Important Dates