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 language | English |
---|---|
Title of host publication | Proceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008 |
Place of Publication | Aalborg, Denmark |
Publisher | University of Aalborg |
Pages | 5-10 |
Number of pages | 6 |
Publication status | Published - Apr 2008 |
Event | 2nd Workshop on Foundations of Interface Theories, FIT 2008 - Budapest, Hungary Duration: 10 Apr 2008 → 10 Apr 2008 Conference number: 2 http://fit2008.cs.aau.dk/ |
Workshop
Workshop | 2nd Workshop on Foundations of Interface Theories, FIT 2008 |
---|---|
Abbreviated title | FIT |
Country/Territory | Hungary |
City | Budapest |
Period | 10/04/08 → 10/04/08 |
Internet address |
Keywords
- EC Grant Agreement nr.: FP7/214755
- EC Grant Agreement nr.: FP7-ICT-2007-1