Distribution-Transparency in Runtime Verification

Somayeh Malakuti Khah Olun Abadi; Mehmet Aksit; Christoph Bockisch

doi:10.1109/ISPAW.2011.48

Distribution-Transparency in Runtime Verification

Somayeh Malakuti Khah Olun Abadi, Mehmet Aksit, Christoph Bockisch

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-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 language	Undefined
Title of host publication	Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011
Place of Publication	USA
Publisher	IEEE
Pages	328-335
Number of pages	8
ISBN (Print)	978-1-4577-0524-3
DOIs	https://doi.org/10.1109/ISPAW.2011.48
Publication status	Published - May 2011
Event	Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011: Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 - Busan, Korea, USA Duration: 26 May 2011 → 28 May 2011

Publication series

Name
Publisher	IEEE Communications Society

Conference

Conference	Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011
City	USA
Period	26/05/11 → 28/05/11
Other	26-28 May 2011

Keywords

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

Access to Document

10.1109/ISPAW.2011.48

http://eprints.eemcs.utwente.nl/secure2/20383/01/05951997-1.pdf

Cite this

@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{\textquoteright}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 ; Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011 ; Conference date: 26-05-2011 Through 28-05-2011",

year = "2011",

month = may,

doi = "10.1109/ISPAW.2011.48",

language = "Undefined",

isbn = "978-1-4577-0524-3",

publisher = "IEEE",

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, USA, pp. 328-335, Ninth IEEE International Symposium on Parallel and Distributed Processing with Applications Workshops, ISPAW 2011, USA, 26/05/11. 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, 2011. p. 328-335.

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

CY - USA

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

Y2 - 26 May 2011 through 28 May 2011

ER -