Formal Performability Evaluation of Architectural Models of Critical Infrastructures

Boudewijn R.H.M. Haverkort, G.W.M. Kuntz, Anne Katharina Ingrid Remke, S. Roolvink

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

    13 Downloads (Pure)

    Abstract

    In this paper, we introduce MIOA, a stochastic process algebra-like specification language with finite-domain datatypes, as well as the logic intSPDL, and its model checking algorithms. MIOA which stands for Markovian input/output automata language is an extension of Lynch’s input/output automata with Markovian timed transitions. MIOA can serve both as a fully fledged “stand-alone‿ specification language and as the semantic model for the architectural dependability description language Arcade. The logic intSPDL is an extension of the stochastic logic SPDL, designed to deal with the specialties of MIOA. In the context of Arcade, intSPDL can be seen as the semantic model of abstract and complex dependability measures that can be defined in the Arcade framework. We define syntax and semantics of both MIOA and intSPDL, and present application examples of MIOA and intSPDL in the realm of dependability modelling with Arcade.
    Original languageUndefined
    Title of host publicationProceedings of the ESREL 2010 Annual Conference
    EditorsBen J.M. Ale, Ioannis A. Papazoglou, Enrico Zio
    Place of PublicationLondon
    PublisherTaylor & Francis
    Pages27-34
    Number of pages8
    ISBN (Print)978-0-415-60427-7
    Publication statusPublished - 5 Sep 2010
    EventEuropean Safety and Reliability Conference, ESREL 2010: Reliability, Risk and Safety: Back to the Future - Rhodes, Greece
    Duration: 5 Sep 20109 Sep 2010
    http://www.esrel2010.com/

    Publication series

    Name
    PublisherTaylor & Francis Group

    Conference

    ConferenceEuropean Safety and Reliability Conference, ESREL 2010
    Abbreviated titleESREL
    CountryGreece
    CityRhodes
    Period5/09/109/09/10
    Internet address

    Keywords

    • IR-75313
    • CR-B.1.3
    • EWI-18358
    • METIS-276085

    Cite this

    Haverkort, B. R. H. M., Kuntz, G. W. M., Remke, A. K. I., & Roolvink, S. (2010). Formal Performability Evaluation of Architectural Models of Critical Infrastructures. In B. J. M. Ale, I. A. Papazoglou, & E. Zio (Eds.), Proceedings of the ESREL 2010 Annual Conference (pp. 27-34). London: Taylor & Francis.