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

Share/Save/Bookmark

Boudali, Hichem and Crouzen, Pepijn and Haverkort, Boudewijn R. and Kuntz, Matthias and Stoelinga, Mariëlle (2008) Rich Interfaces for Dependability: Compositional Methods for Dynamic Fault Trees and Arcade models. In: Second Workshop on Foundations of Interface Theories, FIT 2008, April 10, 2008, Budapest, Hungary.

[img]
Preview
PDF
148Kb
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.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/65424
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 256470