Photo: Gryffindor 

The Second Workshop and Tool Session on

DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems

DYADEM-FTS 2011

Vienna, Austria

Held in conjunction with
The Sixth International Conference on Availability, Reliability and Security
(ARES 2011 - The International Dependability Conference)

August 22 - 26, 2011

Pages

Welcome
Call for Papers
Committees
Program
Publication
Tool Session
Contact

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

Paper submission: 15 April 2011

Author notification: 9 May 2011

Final versions: 1 June 2011

ARES date: 22-26 August 2011