Runtime Verification in Distributed Computing

Somayeh Malakuti Khah Olun Abadi, Jong Hyuk Park (Editor), Mohammad Obaidat (Editor), Mehmet Aksit, Christoph Bockisch

    Research output: Contribution to journalArticleAcademicpeer-review

    1 Downloads (Pure)

    Abstract

    Runtime verification aims to check whether an application executes its behaviour as specified. Thereby the active execution trace of an application is checked in terms of the actual execution context; diagnosis and, possibly, recovery actions are taken when the specification is violated. In today’s practices, software is increasingly distributed over multiple processes, potentially running at different locations. This is supported by middleware that, to some extent, allows implementing applications in a distribution-transparent way. To enable effective runtime verification in distributed software we focus in this paper on three requirements: (1) distribution-transparent specification of software behaviour, as software is also implemented in such a way, (2) end-to-end verification of behaviour, and (3) automatic generation of verification modules for arbitrary process and distribution structures. We present a novel runtime verification approach satisfying these requirements and present its implementation in the EventChaser system. Furthermore we present an approach that at least minimizes the distribution-awareness of specifications to an acceptable level for software not using supported middleware for inter-process communication.
    Original languageUndefined
    Pages (from-to)1-10
    Number of pages10
    JournalJournal of convergence
    Volume2
    Issue number1
    Publication statusPublished - 30 Jun 2011

    Keywords

    • end-to-end properties
    • METIS-279655
    • distribution transparency
    • IR-77952
    • Runtime verification
    • EWI-20384

    Cite this

    Malakuti Khah Olun Abadi, S., Park, J. H. (Ed.), Obaidat, M. (Ed.), Aksit, M., & Bockisch, C. (2011). Runtime Verification in Distributed Computing. Journal of convergence, 2(1), 1-10.
    Malakuti Khah Olun Abadi, Somayeh ; Park, Jong Hyuk (Editor) ; Obaidat, Mohammad (Editor) ; Aksit, Mehmet ; Bockisch, Christoph. / Runtime Verification in Distributed Computing. In: Journal of convergence. 2011 ; Vol. 2, No. 1. pp. 1-10.
    @article{4cd4ef29e2d141ac928c5173584c31b7,
    title = "Runtime Verification in Distributed Computing",
    abstract = "Runtime verification aims to check whether an application executes its behaviour as specified. Thereby the active execution trace of an application is checked in terms of the actual execution context; diagnosis and, possibly, recovery actions are taken when the specification is violated. In today’s practices, software is increasingly distributed over multiple processes, potentially running at different locations. This is supported by middleware that, to some extent, allows implementing applications in a distribution-transparent way. To enable effective runtime verification in distributed software we focus in this paper on three requirements: (1) distribution-transparent specification of software behaviour, as software is also implemented in such a way, (2) end-to-end verification of behaviour, and (3) automatic generation of verification modules for arbitrary process and distribution structures. We present a novel runtime verification approach satisfying these requirements and present its implementation in the EventChaser system. Furthermore we present an approach that at least minimizes the distribution-awareness of specifications to an acceptable level for software not using supported middleware for inter-process communication.",
    keywords = "end-to-end properties, METIS-279655, distribution transparency, IR-77952, Runtime verification, EWI-20384",
    author = "{Malakuti Khah Olun Abadi}, Somayeh and Park, {Jong Hyuk} and Mohammad Obaidat and Mehmet Aksit and Christoph Bockisch",
    year = "2011",
    month = "6",
    day = "30",
    language = "Undefined",
    volume = "2",
    pages = "1--10",
    journal = "Journal of convergence",
    issn = "2093-7741",
    publisher = "Future Technology Research Association",
    number = "1",

    }

    Malakuti Khah Olun Abadi, S, Park, JH (ed.), Obaidat, M (ed.), Aksit, M & Bockisch, C 2011, 'Runtime Verification in Distributed Computing', Journal of convergence, vol. 2, no. 1, pp. 1-10.

    Runtime Verification in Distributed Computing. / Malakuti Khah Olun Abadi, Somayeh; Park, Jong Hyuk (Editor); Obaidat, Mohammad (Editor); Aksit, Mehmet; Bockisch, Christoph.

    In: Journal of convergence, Vol. 2, No. 1, 30.06.2011, p. 1-10.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Runtime Verification in Distributed Computing

    AU - Malakuti Khah Olun Abadi, Somayeh

    AU - Aksit, Mehmet

    AU - Bockisch, Christoph

    A2 - Park, Jong Hyuk

    A2 - Obaidat, Mohammad

    PY - 2011/6/30

    Y1 - 2011/6/30

    N2 - Runtime verification aims to check whether an application executes its behaviour as specified. Thereby the active execution trace of an application is checked in terms of the actual execution context; diagnosis and, possibly, recovery actions are taken when the specification is violated. In today’s practices, software is increasingly distributed over multiple processes, potentially running at different locations. This is supported by middleware that, to some extent, allows implementing applications in a distribution-transparent way. To enable effective runtime verification in distributed software we focus in this paper on three requirements: (1) distribution-transparent specification of software behaviour, as software is also implemented in such a way, (2) end-to-end verification of behaviour, and (3) automatic generation of verification modules for arbitrary process and distribution structures. We present a novel runtime verification approach satisfying these requirements and present its implementation in the EventChaser system. Furthermore we present an approach that at least minimizes the distribution-awareness of specifications to an acceptable level for software not using supported middleware for inter-process communication.

    AB - Runtime verification aims to check whether an application executes its behaviour as specified. Thereby the active execution trace of an application is checked in terms of the actual execution context; diagnosis and, possibly, recovery actions are taken when the specification is violated. In today’s practices, software is increasingly distributed over multiple processes, potentially running at different locations. This is supported by middleware that, to some extent, allows implementing applications in a distribution-transparent way. To enable effective runtime verification in distributed software we focus in this paper on three requirements: (1) distribution-transparent specification of software behaviour, as software is also implemented in such a way, (2) end-to-end verification of behaviour, and (3) automatic generation of verification modules for arbitrary process and distribution structures. We present a novel runtime verification approach satisfying these requirements and present its implementation in the EventChaser system. Furthermore we present an approach that at least minimizes the distribution-awareness of specifications to an acceptable level for software not using supported middleware for inter-process communication.

    KW - end-to-end properties

    KW - METIS-279655

    KW - distribution transparency

    KW - IR-77952

    KW - Runtime verification

    KW - EWI-20384

    M3 - Article

    VL - 2

    SP - 1

    EP - 10

    JO - Journal of convergence

    JF - Journal of convergence

    SN - 2093-7741

    IS - 1

    ER -

    Malakuti Khah Olun Abadi S, Park JH, (ed.), Obaidat M, (ed.), Aksit M, Bockisch C. Runtime Verification in Distributed Computing. Journal of convergence. 2011 Jun 30;2(1):1-10.