2010 Proceeding- Conference Chair:
- Arndt Bode
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 Politécnica 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.
Proceeding Downloads
Dynamic dependability models: an overview
The increasing importance of safety-critical and fault-tolerant systems demands an accurate dependability modeling and analysis of these systems. Dependability analysis plays a key role in assessing the effectiveness of redundancy mechanisms and ...
A hierarchical method for the reduction of temporal expressions in Pandora
Fault Tree Analysis (FTA) is a popular safety analysis technique used to determine the logical combination of events needed to cause a particular system failure. However, FTA is purely combinatorial and cannot analyse the effects of sequences of events. ...
Symbolic calculation of k-shortest paths and related measures with the stochastic process algebra tool CASPA
CASPA is a stochastic process algebra tool for performance and dependability modelling, analysis and verification. It is based entirely on the symbolic data structure MTBDD (multi-terminal binary decision diagram) which enables the tool to handle models ...
Characterization and evaluation of standby in reliability
Standby is a topic concept in reliability. Even though several works in literature deal with standby, some aspects of standby, standby systems an standby redundancy are not or partially covered and can be further analyzed from a different perspective. ...
Dependability analysis of wireless sensor networks with active-sleep cycles and redundant nodes
Wireless Sensor Networks (WSN) are constituted of a large number of tiny sensor nodes randomly distributed over a geographical region. In order to reduce power consumption, battery-operated sensors undergo cycles of sleeping - active periods that reduce ...
Dependability evaluation of complex systems with TimeNET
This paper presents recent changes to TimeNET, a software tool for the modeling and performability evaluation using stochastic Petri nets. A rare-event simulation module has been implemented for colored stochastic Petri nets to efficiently evaluate ...
Dependability modelling with the stochastic process algebra tool CASPA
This note describes CASPA, a stochastic process algebra tool for performance and dependability modelling, analysis and verification. Internally, the tool works with the symbolic data structure MTBDD (multi-terminal binary decision diagram), which allows ...
RobuCheck: a robustness checker for digital circuits
Continuously shrinking feature sizes lead to an increasing vulnerability of digital circuits. Transient faults may tamper the functionality. Design automation is required to analyze whether faults may induce erroneous output of a circuit.
In this paper, ...
DyRelA (dynamic reliability and assessment)
In this paper we present the DyRelA tool designed to perform through a Monte Carlo simulation the assessment of the dependability parameters in the context of dynamic reliability. For that, the studied system is modeled by a stochastic hybrid automaton ...