Architectural dependability evaluation with Arcade

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

    35 Citations (Scopus)
    22 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 languageUndefined
    Title of host publicationProceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society Press
    Pages512-521
    Number of pages10
    ISBN (Print)978-1-4244-2397-2
    DOIs
    Publication statusPublished - 2008

    Publication series

    Name
    PublisherIEEE Computer Society Press

    Keywords

    • EWI-11578
    • EC Grant Agreement nr.: FP7/214755
    • IR-64537
    • EC Grant Agreement nr.: IST-004527
    • METIS-256454
    • EC Grant Agreement nr.: FP7-ICT-2007-1

    Cite this

    Boudali, H., Crouzen, P., Haverkort, B. R. H. M., Kuntz, G. W. M., & Stoelinga, M. I. A. (2008). Architectural dependability evaluation with Arcade. In Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (pp. 512-521). Los Alamitos: IEEE Computer Society Press. https://doi.org/10.1109/DSN.2008.4630122