Background
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.
Organisation
The workshop will take place in Valencia, Spain on April 27, on the day just before the European Dependable Computing Conference (EDCC). All accepted workshop papers will appear in the EDCC-proceedings published by the ACM.
Moreover, the best papers accepted for publication at DYADEM-FTS will be invited for publication in a special issues of the international journals:
The organisation committee will ask the authors of selected papers to further and significantly extend the conference papers, providing details of extensions in a specific file. Thus, the extended papers will undergo thoroughly another review process that will evaluate them.
Keynote speech
A recognized expert on the topic of dynamic aspects in dependability models will be invited for making a keynote talk during the workshop.
Tool session
A hands-on session for software tools which are related to the workshop's scope will be arranged by the organization committee.
Both commercial tools as well as prototype tools developed in the academic environment will be presented.
The idea is to bring together commercial tool developers and scientists in order to identify actual challenges and to facilitate the transfer of ideas found in academic tools into the commercial software packages.
More information on the tool session can be found here.