Apologies for multiple copies of this email.
********************** FIRST CALL FOR PAPERS ********************** Second Workshop and Tool Session on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems DYADEM-FTS 2011 http://dyadem.in.tum.de 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 IMPORTANT DATES Paper submission deadline: 15 April 2011 Author notification: 9 May 2011 Camera ready due: 1 June 2011 ARES date: 22-26 August 2011 OVERVIEW 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. In particular, the main topics of the workshop include, but are not limited to: * Dependability assessment of fault-tolerant systems including dynamic aspects and behaviors * Non-Boolean components and basic events, including components with different failure modes transient, permanent, ... * Non-Boolean system structures including dynamic, reconfigurable systems and gracefully degradable systems * Interrelation between faults and failures including dependent, on-demand, cascading and common cause failures and events * Dynamic redundancy schemes including load sharing, cold and warm standby, imperfect fault detection and localization, as well as the impact of non-zero reconfiguration times * Corrective and preventive maintenance policies, including minimal repair, finite/limited repair facilities and corresponding strategies * Varying failure rates, including ageing effects and reliability growth models * Human factor and human reliability * Non-coherent structures and systems, multi-valued systems and phased mission systems * Extensions to classic modeling approaches combinational, state-based, and simulation including Markovian and non-Markovian techniques, Petri nets, process algebras, Bayesian networks, and simulation * High-level and application-oriented modeling techniques and tools * On-line evaluation techniques and tools for adaptive systems * Collection and analysis of statistical data, computer tools for statistical analysis of data on reliability * Approximation techniques and tools (fuzzy logic, neural networks...), heuristics * Meta-heuristic approaches (genetic algorithms, simulated annealing, ant colonies ...) * Importance and sensitivity analysis PUBLICATION Accepted papers will appear in the workshop proceedings of the ARES conference, published by the IEEE Computer Society's Conference Publishing Services (CPS). Furthermore, extended versions of selected papers will appear in special sections of the following journals: * Performance Evaluation Review, published by the ACM * Journal of Risk and Reliability, by Professional Engineering Publishing A second round of reviewing will be done for the journal papers. SUBMISSION DETAILS Each paper must be submitted as a single Portable Document Format PDF file adhering to the IEEE two-column camera-ready format, and respect the length requirements of 6 pages. Please refer to the website for detailed formatting information. 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. Academic tools may be presented by workshop/conference participants without additional charges if they were positively evaluated by the workshop's program committee. Evaluation is based on one of the following submission types among which the authors may choose from: * A regular paper accepted at the ARES main conference. * A regular paper accepted at the workshop. * A scientific paper previously published at a scientific conference or journal. We explicitly encourage authors of already published tool papers and developers of already established tools to participate at the workshop because it is important to compare novel approaches with already existing ones. Already published papers will not be included in the proceedings, though. * A 4 page summary of the tool. This type of submission is intended for authors of work-in-progress methods and tools. The 4 page summary will be published in the proceedings. ORGANIZERS A. Bode Technische Universität München, Germany M. Bouissou Electricité de France, France S. Distefano Università di Messina, Italy A. Puliafito Università di Messina, Italy K. Trivedi Duke University Durham, USA M. Walter Technische Universität München, Germany PROGRAM COMMITTEE S. Amari Relex Software Corporation, USA J.-F. Aubry Institut National Polytechnique de Lorraine, France F. Belli Universität Paderborn, Germany A. Bode Technische Universität München, Germany H. Boudali European Space Research and Technology Centre, The Netherlands M. Bouissou Electricité de France, France D. Bruneo Università di Messina, Italy P. Buchholz Universität Dortmund, Germany G. Deleuze Electricité de France, France T. Dohi Hiroshima University, Japan F. Dotti Pontifícia Universidade Católica do Rio Grande do Sul, Brazil S. Distefano Università di Messina, Italy K. Echtle Universität Duisburg-Essen, Germany I. Eusgeld ETH Zürich, Switzerland R. German Universität Erlangen-Nürnberg, Germany R. Iyer University of Illinois at Urbana-Champaign, USA M. Kaaniche LAAS-CNRS, France J. Keller Fernuniversität Hagen, Germany T. Kelly University of York, UK E. Maehle Universität zu Lübeck, Germany M. Martinello Federal University of Espírito Santo, Brazil R. Mock Hochschule für Technik Zürich, Switzerland B. Müller-Clostermann Universität Duisburg-Essen, Germany G. Pai Fraunhofer-Institut für experimentelles Software Engineering, Germany Y. Papadopoulos The University of Hull, UK P. Praks Technická Univerzita Ostrava, Czech Republic A. Puliafito Università di Messina, Italy W. H. Sanders University of Illinois at Urbana-Champaign, USA M. Scarpa Università di Messina, Italy M. Siegle Universität der Bundeswehr München, Germany P. Sobe Hochschule für Technik und Wirtschaft Dresden, Germany C. Trinitis Technische Universität München, Germany University of Bedfordshire, UK K. Trivedi Duke University Durham, USA M. Walter Technische Universität München, Germany L. Xing University of Massachusetts, Dartmouth, USA A. Zimmermann Technische Universität Ilmenau, Germany CONTACT S. Distefano: [email protected] M. Walter: [email protected] http://dyadem.in.tum.de ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
