Better Late Than Never or: Verifying Asynchronous Components at Runtime

Duncan Paul Attard; Luca Aceto; Antonis Achilleos; Adrian Francalanza; Anna Ingólfsdóttir; Karoliina Lehtinen

doi:10.1007/978-3-030-78089-0_14

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Duncan Paul Attard^*, Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen

^*Corresponding author for this work

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Citations (Scopus)

Abstract

This paper presents detectEr, a runtime verification tool for monitoring asynchronous component systems. The tool synthesises executable monitors from properties expressed in terms of the safety fragment of the modal μ -calculus. In this paper, we show how a number of useful properties can be flexibly runtime verified via the three forms of instrumentation—inline, outline, and offline—offered by detectEr to cater for specific system set-up constraints.

Original language	English
Title of host publication	Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings
Editors	Kirstin Peters, Tim A. Willemse
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	207-225
Number of pages	19
ISBN (Print)	9783030780883
DOIs	https://doi.org/10.1007/978-3-030-78089-0_14
Publication status	Published - 2021
Event	41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 - Virtual, Online Duration: 14 Jun 2021 → 18 Jun 2021

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12719 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021
City	Virtual, Online
Period	14/06/21 → 18/06/21

Bibliographical note

Funding Information:
Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAVOUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS.

Funding Information:
Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAV-OUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS.

Publisher Copyright:
© 2021, IFIP International Federation for Information Processing.

Other keywords

Instrumentation
Monitoring
Runtime verification

Access to Document

10.1007/978-3-030-78089-0_14

Cite this

Attard, D. P., Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., & Lehtinen, K. (2021). Better Late Than Never or: Verifying Asynchronous Components at Runtime. In K. Peters, & T. A. Willemse (Eds.), Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings (pp. 207-225). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12719 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-78089-0_14

Attard, Duncan Paul ; Aceto, Luca ; Achilleos, Antonis et al. / Better Late Than Never or : Verifying Asynchronous Components at Runtime. Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. editor / Kirstin Peters ; Tim A. Willemse. Springer Science and Business Media Deutschland GmbH, 2021. pp. 207-225 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{46a2971badc44c07a9e337e98de2d4cf,

title = "Better Late Than Never or: Verifying Asynchronous Components at Runtime",

abstract = "This paper presents detectEr, a runtime verification tool for monitoring asynchronous component systems. The tool synthesises executable monitors from properties expressed in terms of the safety fragment of the modal μ -calculus. In this paper, we show how a number of useful properties can be flexibly runtime verified via the three forms of instrumentation—inline, outline, and offline—offered by detectEr to cater for specific system set-up constraints.",

keywords = "Instrumentation, Monitoring, Runtime verification",

author = "Attard, {Duncan Paul} and Luca Aceto and Antonis Achilleos and Adrian Francalanza and Anna Ing{\'o}lfsd{\'o}ttir and Karoliina Lehtinen",

note = "Funding Information: Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Sk{\l}odowska-Curie action (No: 778233), the ENDEAVOUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS. Funding Information: Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Sk{\l}odowska-Curie action (No: 778233), the ENDEAV-OUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS. Publisher Copyright: {\textcopyright} 2021, IFIP International Federation for Information Processing.; 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021 ; Conference date: 14-06-2021 Through 18-06-2021",

year = "2021",

doi = "10.1007/978-3-030-78089-0_14",

language = "English",

isbn = "9783030780883",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "207--225",

editor = "Kirstin Peters and Willemse, {Tim A.}",

booktitle = "Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings",

address = "Germany",

}

Attard, DP , Aceto, L, Achilleos, A, Francalanza, A, Ingólfsdóttir, A & Lehtinen, K 2021, Better Late Than Never or: Verifying Asynchronous Components at Runtime. in K Peters & TA Willemse (eds), Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12719 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 207-225, 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Virtual, Online, 14/06/21. https://doi.org/10.1007/978-3-030-78089-0_14

Better Late Than Never or : Verifying Asynchronous Components at Runtime. / Attard, Duncan Paul ; Aceto, Luca; Achilleos, Antonis et al.

Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. ed. / Kirstin Peters; Tim A. Willemse. Springer Science and Business Media Deutschland GmbH, 2021. p. 207-225 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12719 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Better Late Than Never or

T2 - 41st IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021

AU - Attard, Duncan Paul

AU - Aceto, Luca

AU - Achilleos, Antonis

AU - Francalanza, Adrian

AU - Ingólfsdóttir, Anna

AU - Lehtinen, Karoliina

N1 - Funding Information: Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAVOUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS. Funding Information: Supported by the doctoral student grant (No: 207055-051) and the MoVeMnt project (No: 217987-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAV-OUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS. Publisher Copyright: © 2021, IFIP International Federation for Information Processing.

PY - 2021

Y1 - 2021

N2 - This paper presents detectEr, a runtime verification tool for monitoring asynchronous component systems. The tool synthesises executable monitors from properties expressed in terms of the safety fragment of the modal μ -calculus. In this paper, we show how a number of useful properties can be flexibly runtime verified via the three forms of instrumentation—inline, outline, and offline—offered by detectEr to cater for specific system set-up constraints.

AB - This paper presents detectEr, a runtime verification tool for monitoring asynchronous component systems. The tool synthesises executable monitors from properties expressed in terms of the safety fragment of the modal μ -calculus. In this paper, we show how a number of useful properties can be flexibly runtime verified via the three forms of instrumentation—inline, outline, and offline—offered by detectEr to cater for specific system set-up constraints.

KW - Instrumentation

KW - Monitoring

KW - Runtime verification

UR - http://www.scopus.com/inward/record.url?scp=85111363615&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-78089-0_14

DO - 10.1007/978-3-030-78089-0_14

M3 - Conference contribution

AN - SCOPUS:85111363615

SN - 9783030780883

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 207

EP - 225

BT - Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings

A2 - Peters, Kirstin

A2 - Willemse, Tim A.

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 14 June 2021 through 18 June 2021

ER -

Attard DP , Aceto L, Achilleos A, Francalanza A, Ingólfsdóttir A, Lehtinen K. Better Late Than Never or: Verifying Asynchronous Components at Runtime. In Peters K, Willemse TA, editors, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 207-225. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-78089-0_14

Better Late Than Never or: Verifying Asynchronous Components at Runtime

Abstract

Publication series

Conference

Bibliographical note

Other keywords

Access to Document

Fingerprint

Cite this