Architectural dependability evaluation with Arcade

H. Boudali, P. Crouzen, B.R. Haverkort, M. Kuntz, M.I.A. Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    38 Citations (Scopus)
    30 Downloads (Pure)

    Abstract

    This paper proposes a formally well-rooted and extensible framework for dependability evaluation: Arcade (architectural dependability evaluation). It has been designed to combine the strengths of previous approaches to the evaluation of dependability. A key feature is its formal semantics in terms of input/output-interactive Markov chains, which enables both compositional modeling and compositional state space generation and reduction. The latter enables great computational reductions for many models. The Arcade approach is extensible, hence adaptable to new circumstances or application areas. The paper introduces the new modeling approach, discusses its formal semantics and illustrates its use with two case studies.
    Original languageEnglish
    Title of host publicationProceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008)
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society Press
    Pages512-521
    Number of pages10
    ISBN (Electronic)978-1-4244-2398-9
    ISBN (Print)978-1-4244-2397-2
    DOIs
    Publication statusPublished - 2008
    Event38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008 - Anchorage, United States
    Duration: 24 Jun 200827 Jun 2008
    Conference number: 38

    Publication series

    NameIEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN)
    PublisherIEEE Computer Society Press
    Volume2008
    ISSN (Print)1530-0889
    ISSN (Electronic)1530-0889

    Conference

    Conference38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2008
    Abbreviated titleDSN
    Country/TerritoryUnited States
    CityAnchorage
    Period24/06/0827/06/08

    Keywords

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

    Fingerprint

    Dive into the research topics of 'Architectural dependability evaluation with Arcade'. Together they form a unique fingerprint.

    Cite this