DyRelA (Dynamic Reliability and Assessment)

Gabriel Antonio Perez Castaneda (1) , Jean-François Aubry (1) , Nicolae Brinzei (1)

1 CRAN - Centre de Recherche en Automatique de Nancy

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 which has been defined formally. This stochastic hybrid automaton allows taking into account all aspects of the dynamic reliability such as for example the different behaviors of a part under the occurrence of various events. The stochastic hybrid automaton has been implemented in the Scicos toolbox of the Scilab environment. The Monte Carlo simulation is effected by Scilab in batch mode.

Mots clés: dynamic reliability; dependability assessment; hybrid stochastic automaton; Monte Carlo simulation

Domaines: Automatique / Robotique; Performance et fiabilité [cs.PF]

Gabriel Antonio Perez Castaneda, Jean-François Aubry, Nicolae Brinzei. DyRelA (Dynamic Reliability and Assessment). 1st Workshop on DYnamic Aspects in DEpendability Models for Fault-Tolerant Systems, DYADEM-FTS 2010 in conjunction with European Dependable Computing Conference EDCC 8, Apr 2010, Valence, Spain. pp.39-40. ⟨hal-00511378⟩