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 contributionAcademic

    25 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 languageUndefined
    Title of host publicationProceedings of the second workshop on foundations of interface theories (FIT)
    Place of PublicationAalborg, Denmark
    PublisherUniversity of Aalborg
    Pages5-10
    Number of pages6
    ISBN (Print)not assigned
    Publication statusPublished - Apr 2008

    Publication series

    Name
    PublisherUniversity of Aalborg

    Keywords

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

    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 Proceedings of the second workshop on foundations of interface theories (FIT) (pp. 5-10). Aalborg, Denmark: University of Aalborg.