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

Workshop on Foundations of Interface Theories, FIT 2008 Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    37 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 publicationProceedings of the Second Workshop on Foundations of Interface Theories, FIT 2008
    Place of PublicationAalborg, Denmark
    PublisherUniversity of Aalborg
    Pages5-10
    Number of pages6
    Publication statusPublished - Apr 2008
    Event2nd Workshop on Foundations of Interface Theories, FIT 2008 - Budapest, Hungary
    Duration: 10 Apr 200810 Apr 2008
    Conference number: 2
    http://fit2008.cs.aau.dk/

    Workshop

    Workshop2nd Workshop on Foundations of Interface Theories, FIT 2008
    Abbreviated titleFIT
    Country/TerritoryHungary
    CityBudapest
    Period10/04/0810/04/08
    Internet address

    Keywords

    • EC Grant Agreement nr.: FP7/214755
    • EC Grant Agreement nr.: FP7-ICT-2007-1

    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