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

Somayeh Malakuti Khah Olun Abadi; Christoph Bockisch; Mehmet Aksit

doi:10.1109/ISSRE.2009.12

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 proceeding › Conference contribution › Academic › peer-review

14 Citations (Scopus)

294 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 language	Undefined
Title of host publication	The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009
Publisher	IEEE
Pages	31-40
Number of pages	10
ISBN (Print)	978-0-7695-3878-5
DOIs	https://doi.org/10.1109/ISSRE.2009.12
Publication status	Published - 2009
Event	20th annual International Symposium on Software Reliability Engineering, ISSRE 2009 - Mysore, India Duration: 16 Nov 2009 → 19 Nov 2009

Publication series

Name
Publisher	IEEE Computer Society Press

Conference

Conference	20th annual International Symposium on Software Reliability Engineering, ISSRE 2009
Period	16/11/09 → 19/11/09
Other	16-19 Nov 2009

Keywords

METIS-264217
EWI-16962
IR-69302

Access to Document

10.1109/ISSRE.2009.12

Cite this

@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",

pages = "31--40",

booktitle = "The 20th annual International Symposium on Software Reliability Engineering,ISSRE 2009",

address = "United States",

note = "20th annual International Symposium on Software Reliability Engineering, ISSRE 2009 ; Conference date: 16-11-2009 Through 19-11-2009",

}

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, pp. 31-40, 20th annual International Symposium on Software Reliability Engineering, ISSRE 2009, 16/11/09. 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, 2009. p. 31-40.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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

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

Y2 - 16 November 2009 through 19 November 2009

ER -