Distribution-Transparency in Runtime Verification

Somayeh Malakuti Khah Olun Abadi, Mehmet Aksit, Christoph Bockisch

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

    2 Citations (Scopus)

    Abstract

    Run-time verification checks whether the active execution traces of an application fulfills its specified behavior and is especially applicable when one needs to consider the actual execution context in the verification. In today’s practices, software is more and more distributed over multiple processes, possibly running at different locations. This is supported by middleware that, to some extend, allows implementing applications in a distribution-transparent way. We define four requirements for the effective verification of such software: 1) abstraction of less-critical details of software behavior due to the complexity of software behavior, 2) distribution-transparent specification of software behavior, as software is also implemented in such a way, 3) end-to-end verification of behavior, and 4) automatic generation of verification modules for arbitrary process and distribution structures. The existing runtime verification systems fall in short to fulfill these requirements, therefore their applicability is limited. We develop the E-Chaser runtime verification system to facilitate the verification of distributed software by addressing these requirements. This paper explains the approach and the prototype implementation of E-Chaser based on the Java-RMI technology.
    Original languageUndefined
    Title of host publicationNinth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011
    Place of PublicationUSA
    PublisherIEEE Communications Society
    Pages328-335
    Number of pages8
    ISBN (Print)978-1-4577-0524-3
    DOIs
    Publication statusPublished - May 2011

    Publication series

    Name
    PublisherIEEE Communications Society

    Keywords

    • METIS-279162
    • IR-77951
    • end-to-end properties
    • EWI-20383
    • distributed software
    • distribution transparency
    • Runtime verification

    Cite this

    Malakuti Khah Olun Abadi, S., Aksit, M., & Bockisch, C. (2011). Distribution-Transparency in Runtime Verification. In Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 (pp. 328-335). USA: IEEE Communications Society. https://doi.org/10.1109/ISPAW.2011.48
    Malakuti Khah Olun Abadi, Somayeh ; Aksit, Mehmet ; Bockisch, Christoph. / Distribution-Transparency in Runtime Verification. Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011. USA : IEEE Communications Society, 2011. pp. 328-335
    @inproceedings{64cc9627648a41cfb1bf6f2242f43ba5,
    title = "Distribution-Transparency in Runtime Verification",
    abstract = "Run-time verification checks whether the active execution traces of an application fulfills its specified behavior and is especially applicable when one needs to consider the actual execution context in the verification. In today’s practices, software is more and more distributed over multiple processes, possibly running at different locations. This is supported by middleware that, to some extend, allows implementing applications in a distribution-transparent way. We define four requirements for the effective verification of such software: 1) abstraction of less-critical details of software behavior due to the complexity of software behavior, 2) distribution-transparent specification of software behavior, as software is also implemented in such a way, 3) end-to-end verification of behavior, and 4) automatic generation of verification modules for arbitrary process and distribution structures. The existing runtime verification systems fall in short to fulfill these requirements, therefore their applicability is limited. We develop the E-Chaser runtime verification system to facilitate the verification of distributed software by addressing these requirements. This paper explains the approach and the prototype implementation of E-Chaser based on the Java-RMI technology.",
    keywords = "METIS-279162, IR-77951, end-to-end properties, EWI-20383, distributed software, distribution transparency, Runtime verification",
    author = "{Malakuti Khah Olun Abadi}, Somayeh and Mehmet Aksit and Christoph Bockisch",
    note = "10.1109/ISPAW.2011.48",
    year = "2011",
    month = "5",
    doi = "10.1109/ISPAW.2011.48",
    language = "Undefined",
    isbn = "978-1-4577-0524-3",
    publisher = "IEEE Communications Society",
    pages = "328--335",
    booktitle = "Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011",
    address = "United States",

    }

    Malakuti Khah Olun Abadi, S, Aksit, M & Bockisch, C 2011, Distribution-Transparency in Runtime Verification. in Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011. IEEE Communications Society, USA, pp. 328-335. https://doi.org/10.1109/ISPAW.2011.48

    Distribution-Transparency in Runtime Verification. / Malakuti Khah Olun Abadi, Somayeh; Aksit, Mehmet; Bockisch, Christoph.

    Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011. USA : IEEE Communications Society, 2011. p. 328-335.

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

    TY - GEN

    T1 - Distribution-Transparency in Runtime Verification

    AU - Malakuti Khah Olun Abadi, Somayeh

    AU - Aksit, Mehmet

    AU - Bockisch, Christoph

    N1 - 10.1109/ISPAW.2011.48

    PY - 2011/5

    Y1 - 2011/5

    N2 - Run-time verification checks whether the active execution traces of an application fulfills its specified behavior and is especially applicable when one needs to consider the actual execution context in the verification. In today’s practices, software is more and more distributed over multiple processes, possibly running at different locations. This is supported by middleware that, to some extend, allows implementing applications in a distribution-transparent way. We define four requirements for the effective verification of such software: 1) abstraction of less-critical details of software behavior due to the complexity of software behavior, 2) distribution-transparent specification of software behavior, as software is also implemented in such a way, 3) end-to-end verification of behavior, and 4) automatic generation of verification modules for arbitrary process and distribution structures. The existing runtime verification systems fall in short to fulfill these requirements, therefore their applicability is limited. We develop the E-Chaser runtime verification system to facilitate the verification of distributed software by addressing these requirements. This paper explains the approach and the prototype implementation of E-Chaser based on the Java-RMI technology.

    AB - Run-time verification checks whether the active execution traces of an application fulfills its specified behavior and is especially applicable when one needs to consider the actual execution context in the verification. In today’s practices, software is more and more distributed over multiple processes, possibly running at different locations. This is supported by middleware that, to some extend, allows implementing applications in a distribution-transparent way. We define four requirements for the effective verification of such software: 1) abstraction of less-critical details of software behavior due to the complexity of software behavior, 2) distribution-transparent specification of software behavior, as software is also implemented in such a way, 3) end-to-end verification of behavior, and 4) automatic generation of verification modules for arbitrary process and distribution structures. The existing runtime verification systems fall in short to fulfill these requirements, therefore their applicability is limited. We develop the E-Chaser runtime verification system to facilitate the verification of distributed software by addressing these requirements. This paper explains the approach and the prototype implementation of E-Chaser based on the Java-RMI technology.

    KW - METIS-279162

    KW - IR-77951

    KW - end-to-end properties

    KW - EWI-20383

    KW - distributed software

    KW - distribution transparency

    KW - Runtime verification

    U2 - 10.1109/ISPAW.2011.48

    DO - 10.1109/ISPAW.2011.48

    M3 - Conference contribution

    SN - 978-1-4577-0524-3

    SP - 328

    EP - 335

    BT - Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011

    PB - IEEE Communications Society

    CY - USA

    ER -

    Malakuti Khah Olun Abadi S, Aksit M, Bockisch C. Distribution-Transparency in Runtime Verification. In Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011. USA: IEEE Communications Society. 2011. p. 328-335 https://doi.org/10.1109/ISPAW.2011.48