Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework

Hichem Boudali, Pepijn Crouzen, Boudewijn R. Haverkort, Matthias Kuntz, Mariëlle Stoelinga

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

    9 Citations (Scopus)
    44 Downloads (Pure)

    Abstract

    This paper discusses the requirements that a suitable formalism for dependability modeling/evaluation should possess. We also discuss the outline of Arcade, an architectural dependability formalism that we are developing.
    Original languageEnglish
    Title of host publicationProceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)
    Place of PublicationLos Alamitos, CA
    PublisherIEEE Computer Society
    Pages243-248
    Number of pages6
    ISBN (Print)978-0-7695-3139-7
    DOIs
    Publication statusPublished - Apr 2008
    Event13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008 - Belfast, United Kingdom
    Duration: 31 Mar 20083 Apr 2008
    Conference number: 13

    Conference

    Conference13th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2008
    Abbreviated titleICECCS
    Country/TerritoryUnited Kingdom
    CityBelfast
    Period31/03/083/04/08

    Keywords

    • Arcade
    • Architectural dependability formalism
    • Model-based dependability evaluation framework
    • Dependability modeling

    Cite this