Model checking for survivability

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

    40 Citations (Scopus)

    Abstract

    Business and social life have become increasingly dependent on large-scale communication and information systems. A partial or complete breakdown as a consequence of natural disasters or purposeful attacks might have severe impacts. Survivability refers to the ability of a system to recover from such disaster circumstances. Evaluating survivability should therefore be an important part of communication system design. In this paper we take a model checking approach toward assessing survivability. We use the logic CSL to phrase survivability in a precise manner. The system operation is modelled through a labelled CTMC. Model checking algorithms can then decide automatically whether the system is survivable. We illustrate our method by evaluating the survivability of the Google file system using stochastic Petri nets.
    Original languageEnglish
    Title of host publicationSecond International Conference on the Quantitative Evaluation of Systems (QEST'05)
    PublisherIEEE Computer Society
    Pages145-154
    ISBN (Print)0-7695-2427-3
    DOIs
    Publication statusPublished - 19 Sep 2005
    Event2nd International Conference on the Quantitative Evaluation of Systems, QEST 2005 - Torino Incontra Conference Centre, Turin, Italy
    Duration: 19 Sep 200522 Sep 2005
    Conference number: 2
    http://www.qest.org/qest2005/

    Conference

    Conference2nd International Conference on the Quantitative Evaluation of Systems, QEST 2005
    Abbreviated titleQEST
    CountryItaly
    CityTurin
    Period19/09/0522/09/05
    Internet address

    Keywords

    • METIS-233530

    Fingerprint Dive into the research topics of 'Model checking for survivability'. Together they form a unique fingerprint.

  • Cite this

    Cloth, L., & Haverkort, B. R. H. M. (2005). Model checking for survivability. In Second International Conference on the Quantitative Evaluation of Systems (QEST'05) (pp. 145-154). IEEE Computer Society. https://doi.org/10.1109/QEST.2005.21