Proceedings of the First Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems

It is our pleasure to welcome you to the first workshop on Dynamic Aspects in Dependability Models for Fault Tolerant Systems (DYADEM-FTS 2010) which is co-located to the European Dependable Computing Conference (EDCC 2010) taking place at the Universidad Politecnica de Valencia, Spain. The workshop is dedicated to advanced modeling methods and tools for fault-tolerant systems which extend the modeling power, accuracy, and applicability of traditional combinational methods such as fault trees or reliability block diagrams. In this research area, collaboration between industrial partners and academics is of crucial importance. Hence, the workshop is targeted to both academic researchers and practitioners from the industry. Two types of submission categories were considered in the call for papers: on the one hand, regular papers describing novel modeling methods and innovative algorithms for model evaluation, and, on the other hand, tool presentations describing recent advances in the implementation of these techniques were asked for. We received 12 manuscripts, and from those, four regular papers and four tool presentations were selected for publication. All submissions were evaluated by at least three anonymous reviewers. While the regular papers are presented by scientific talks at the workshop, tools are both presented in a short talk, and demonstrated in a hands-on tool session. The main idea of this session 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. Hence, not only novel academic tools, but also industrial products are presented in this session. In addition to the regular papers and the hands-on tool session, DYADEM-FTS also offers a tutorial given by Suprasad Amari, containing an introduction into advanced dynamic dependability modeling techniques.