This paper discusses two behavioural interfaces for reliability analysis: dynamic fault trees, which model the system reliability in terms of the reliability of its components and Arcade, which models the system reliability at an architectural level. For both formalisms, the reliability is analyzed by transforming the DFT or Arcade model to a set of input-output Markov Chains. By using compositional aggregation techniques based on weak bisimilarity, significant reductions in the state space can be obtained.
|Title of host publication||IEEE Transactions on Acoustics Speech and Signal Processing|
|Place of Publication||Aalborg, Denmark|
|Publisher||University of Aalborg|
|Number of pages||6|
|ISBN (Print)||not assigned|
|Publication status||Published - Apr 2008|
- EC Grant Agreement nr.: FP7/214755
- EC Grant Agreement nr.: FP7-ICT-2007-1
Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M., & Stoelinga, M. I. A. (2008). Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In IEEE Transactions on Acoustics Speech and Signal Processing University of Aalborg.