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.