Compositional dependability modeling using arcade

    Research output: Contribution to conferencePaper

    73 Downloads (Pure)

    Abstract

    Dependability is a key concern for today's complex computer and communication systems. To make sure that such an application meets all its dependability requirements, a rigorous and systematic analysis is required. This talk introduces ARCADE, a formally well-rooted and extensible framework for dependability evaluation. It has been designed so as to combine the strengths of previous approaches to the evaluation of dependability. Key feature is its formal semantics in terms of Input/Output-Interactive Markov Chains, which enables both compositional modeling and compositional analysis, enabling great computational reductions for many models. The ARCADE approach is also extensible, and hence adaptable to new circumstances or application areas. In this talk, I will introduce the new modeling approach, discuss its formal semantics and illustrate its use with two case studies
    Original languageUndefined
    Pages1-2
    Number of pages2
    DOIs
    Publication statusPublished - Aug 2009
    Event8th International Workshop on Specification and Verification of Component-based Systems, SAVCBS 2009 - Amsterdam, The Netherlands
    Duration: 25 Aug 200925 Aug 2009

    Workshop

    Workshop8th International Workshop on Specification and Verification of Component-based Systems, SAVCBS 2009
    Period25/08/0925/08/09
    Other25 August 2009

    Keywords

    • EWI-19523
    • EC Grant Agreement nr.: FP7-ICT-2007-1
    • EC Grant Agreement nr.: FP7/214755
    • IR-80481

    Cite this