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

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 contributionAcademicpeer-review

    9 Citations (Scopus)
    41 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 languageUndefined
    Title of host publicationProceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008)
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages243-248
    Number of pages6
    ISBN (Print)978-0-7695-3139-7
    DOIs
    Publication statusPublished - Apr 2008

    Publication series

    Name
    PublisherIEEE Computer Society Press
    Number302

    Keywords

    • Arcade
    • architectural dependability formalism
    • model-based dependability evaluation framework
    • IR-64850
    • EWI-12996
    • METIS-251049
    • dependability modeling

    Cite this

    Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M., & Stoelinga, M. I. A. (2008). Arcade - A Formal, Extensible, Model-based Dependability Evaluation Framework. In Proceedings of the 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008) (pp. 243-248). Los Alamitos: IEEE Computer Society. https://doi.org/10.1109/ICECCS.2008.11