Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models

H. Boudali, Pepijn Crouzen, Boudewijn R.H.M. Haverkort, G.W.M. Kuntz, Mariëlle Ida Antoinette Stoelinga

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

4 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationIEEE Transactions on Acoustics Speech and Signal Processing
Place of PublicationAalborg, Denmark
PublisherUniversity of Aalborg
Number of pages6
ISBN (Print)not assigned
Publication statusPublished - Apr 2008
Externally publishedYes

Keywords

  • EC Grant Agreement nr.: FP7/214755
  • EC Grant Agreement nr.: FP7-ICT-2007-1
  • IR-65424
  • METIS-256470
  • EWI-15213

Fingerprint Dive into the research topics of 'Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models'. Together they form a unique fingerprint.

  • Cite this

    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.