Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software

Somayeh Malakuti Khah Olun Abadi, Christoph Bockisch, Mehmet Aksit

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

    13 Citations (Scopus)
    66 Downloads (Pure)

    Abstract

    Complex software, especially the embedded one, is composed of multiple collaborating subsystems that are possibly developed in multiple languages. To verify the behavior of such software, a run-time verification system must deal with multiplelanguage environments both in its specifications and in its generated runtime verification modules. In this paper, we present the E-Chaser runtime verification system, whose front-end provides language-independent specifications, and whose backend provides an extendable toolset with new implementation languages. E-Chaser is built based on the Composition Filter Model and extends it with the notion of synchronization messages and synchronization filters to verify the synchronization properties of multiple subsystems. The first prototype of EChaser was successfully used to verify various properties.
    Original languageUndefined
    Title of host publicationThe 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009
    PublisherIEEE Computer Society
    Pages31-40
    Number of pages10
    ISBN (Print)978-0-7695-3878-5
    DOIs
    Publication statusPublished - 2009

    Publication series

    Name
    PublisherIEEE Computer Society Press

    Keywords

    • METIS-264217
    • EWI-16962
    • IR-69302

    Cite this

    Malakuti Khah Olun Abadi, S., Bockisch, C., & Aksit, M. (2009). Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. In The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009 (pp. 31-40). IEEE Computer Society. https://doi.org/10.1109/ISSRE.2009.12
    Malakuti Khah Olun Abadi, Somayeh ; Bockisch, Christoph ; Aksit, Mehmet. / Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009. IEEE Computer Society, 2009. pp. 31-40
    @inproceedings{51f8a111832c4b21ba6c78d996bd8cac,
    title = "Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software",
    abstract = "Complex software, especially the embedded one, is composed of multiple collaborating subsystems that are possibly developed in multiple languages. To verify the behavior of such software, a run-time verification system must deal with multiplelanguage environments both in its specifications and in its generated runtime verification modules. In this paper, we present the E-Chaser runtime verification system, whose front-end provides language-independent specifications, and whose backend provides an extendable toolset with new implementation languages. E-Chaser is built based on the Composition Filter Model and extends it with the notion of synchronization messages and synchronization filters to verify the synchronization properties of multiple subsystems. The first prototype of EChaser was successfully used to verify various properties.",
    keywords = "METIS-264217, EWI-16962, IR-69302",
    author = "{Malakuti Khah Olun Abadi}, Somayeh and Christoph Bockisch and Mehmet Aksit",
    year = "2009",
    doi = "10.1109/ISSRE.2009.12",
    language = "Undefined",
    isbn = "978-0-7695-3878-5",
    publisher = "IEEE Computer Society",
    pages = "31--40",
    booktitle = "The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009",
    address = "United States",

    }

    Malakuti Khah Olun Abadi, S, Bockisch, C & Aksit, M 2009, Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. in The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009. IEEE Computer Society, pp. 31-40. https://doi.org/10.1109/ISSRE.2009.12

    Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. / Malakuti Khah Olun Abadi, Somayeh; Bockisch, Christoph; Aksit, Mehmet.

    The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009. IEEE Computer Society, 2009. p. 31-40.

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

    TY - GEN

    T1 - Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software

    AU - Malakuti Khah Olun Abadi, Somayeh

    AU - Bockisch, Christoph

    AU - Aksit, Mehmet

    PY - 2009

    Y1 - 2009

    N2 - Complex software, especially the embedded one, is composed of multiple collaborating subsystems that are possibly developed in multiple languages. To verify the behavior of such software, a run-time verification system must deal with multiplelanguage environments both in its specifications and in its generated runtime verification modules. In this paper, we present the E-Chaser runtime verification system, whose front-end provides language-independent specifications, and whose backend provides an extendable toolset with new implementation languages. E-Chaser is built based on the Composition Filter Model and extends it with the notion of synchronization messages and synchronization filters to verify the synchronization properties of multiple subsystems. The first prototype of EChaser was successfully used to verify various properties.

    AB - Complex software, especially the embedded one, is composed of multiple collaborating subsystems that are possibly developed in multiple languages. To verify the behavior of such software, a run-time verification system must deal with multiplelanguage environments both in its specifications and in its generated runtime verification modules. In this paper, we present the E-Chaser runtime verification system, whose front-end provides language-independent specifications, and whose backend provides an extendable toolset with new implementation languages. E-Chaser is built based on the Composition Filter Model and extends it with the notion of synchronization messages and synchronization filters to verify the synchronization properties of multiple subsystems. The first prototype of EChaser was successfully used to verify various properties.

    KW - METIS-264217

    KW - EWI-16962

    KW - IR-69302

    U2 - 10.1109/ISSRE.2009.12

    DO - 10.1109/ISSRE.2009.12

    M3 - Conference contribution

    SN - 978-0-7695-3878-5

    SP - 31

    EP - 40

    BT - The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009

    PB - IEEE Computer Society

    ER -

    Malakuti Khah Olun Abadi S, Bockisch C, Aksit M. Applying the Composition Filter Model for Runtime Verification of Multiple-Language Software. In The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009. IEEE Computer Society. 2009. p. 31-40 https://doi.org/10.1109/ISSRE.2009.12