X-by-Construction Meets Runtime Verification

Maurice H. ter Beek; Loek Cleophas; Martin Leucker; Ina Schaefer

doi:10.1007/978-3-031-19849-6_9

X-by-Construction Meets Runtime Verification

Maurice H. ter Beek, Loek Cleophas, Martin Leucker, Ina Schaefer

Engineering of Software-Intensive Systems

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

1 Citation (Scopus)

Abstract

In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer
Pages	141-148
Number of pages	8
ISBN (Print)	9783031198489
DOIs	https://doi.org/10.1007/978-3-031-19849-6_9
Publication status	Published - 2022
Event	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 - Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022

Publication series

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

Conference

Conference	11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Country/Territory	Greece
City	Rhodes
Period	22/10/22 → 30/10/22

Bibliographical note

Publisher Copyright:
© 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Access to Document

10.1007/978-3-031-19849-6_9

Cite this

ter Beek, M. H., Cleophas, L., Leucker, M., & Schaefer, I. (2022). X-by-Construction Meets Runtime Verification. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 141-148). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS). Springer. https://doi.org/10.1007/978-3-031-19849-6_9

ter Beek, Maurice H. ; Cleophas, Loek ; Leucker, Martin et al. / X-by-Construction Meets Runtime Verification. Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2022. pp. 141-148 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{514a43e7ec7449278dedb86a8fbedff7,

title = "X-by-Construction Meets Runtime Verification",

abstract = "In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.",

author = "{ter Beek}, {Maurice H.} and Loek Cleophas and Martin Leucker and Ina Schaefer",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

year = "2022",

doi = "10.1007/978-3-031-19849-6_9",

language = "English",

isbn = "9783031198489",

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

publisher = "Springer",

pages = "141--148",

editor = "Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings",

address = "Germany",

}

ter Beek, MH, Cleophas, L, Leucker, M & Schaefer, I 2022, X-by-Construction Meets Runtime Verification. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13701 LNCS, Springer, pp. 141-148, 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22/10/22. https://doi.org/10.1007/978-3-031-19849-6_9

X-by-Construction Meets Runtime Verification. / ter Beek, Maurice H.; Cleophas, Loek; Leucker, Martin et al.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2022. p. 141-148 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS).

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

TY - GEN

T1 - X-by-Construction Meets Runtime Verification

AU - ter Beek, Maurice H.

AU - Cleophas, Loek

AU - Leucker, Martin

AU - Schaefer, Ina

PY - 2022

Y1 - 2022

N2 - In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.

AB - In recent years, researchers have started to investigate X-by-Construction (XbC)—beyond correctness as considered by the more traditional Correctness-by-Construction (CbC) paradigm—as a refinement approach to engineer systems that by-construction satisfy certain non-functional properties—also, and in particular, in the setting of probabilistic systems and properties. In line with the need to join forces with concepts from runtime verification (RV), this track brings together researchers and practitioners working to share their views on the many possible synergies between CbC/XbC at design time and RV at runtime.

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

U2 - 10.1007/978-3-031-19849-6_9

DO - 10.1007/978-3-031-19849-6_9

M3 - Conference contribution

SN - 9783031198489

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

SP - 141

EP - 148

BT - Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022

Y2 - 22 October 2022 through 30 October 2022

ER -

ter Beek MH, Cleophas L, Leucker M, Schaefer I. X-by-Construction Meets Runtime Verification. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Springer. 2022. p. 141-148. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-031-19849-6_9

X-by-Construction Meets Runtime Verification

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this