Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)

Marieke Huisman; Cristina Seceleanu

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

Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)

Marieke Huisman, Cristina Seceleanu^*

^*Corresponding author for this work

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

1 Citation (Scopus)

64 Downloads (Pure)

Abstract

A major trend in computing during the last decade has been the ubiquity of distributed, heterogeneous systems that make use of multi-languages for implementation, or services delivered by IoT devices. Since all distributed systems must, by their very nature, make use of some form of concurrent programming, the latter becomes even more challenging than traditionally, with the increase of hardware concurrency and sources of heterogeneity. In this context, developing reliable, safe and secure distributed systems, without sacrificing performance, is notoriously difficult. This requires novel models, logical notations, and verification techniques, or extensions, improvements and combinations of existing ones, to capture the behavior of such systems and provide guarantees that they meet various specific requirements. The track on Verification and Validation of Concurrent and Distributed Heterogeneous Systems aims to present and discuss advances of formal methods applicable to the assurance of different kinds of heterogeneous systems, as well as new insights provided by validating the methods on real-world case studies.

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	417-421
Number of pages	5
ISBN (Print)	9783031198489
DOIs	https://doi.org/10.1007/978-3-031-19849-6_24
Publication status	Published - 17 Oct 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 Conference number: 11

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
Abbreviated title	ISoLA 2022
Country/Territory	Greece
City	Rhodes
Period	22/10/22 → 30/10/22

Keywords

22/4 OA procedure

Access to Document

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

978-3-031-19849-6_24Final published version, 145 KBLicence: Taverne

Cite this

Huisman, M., & Seceleanu, C. (2022). Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 417-421). (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_24

Huisman, Marieke ; Seceleanu, Cristina. / Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer, 2022. pp. 417-421 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{c55d3b93339d4937a73fd442e181a9be,

title = "Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)",

abstract = "A major trend in computing during the last decade has been the ubiquity of distributed, heterogeneous systems that make use of multi-languages for implementation, or services delivered by IoT devices. Since all distributed systems must, by their very nature, make use of some form of concurrent programming, the latter becomes even more challenging than traditionally, with the increase of hardware concurrency and sources of heterogeneity. In this context, developing reliable, safe and secure distributed systems, without sacrificing performance, is notoriously difficult. This requires novel models, logical notations, and verification techniques, or extensions, improvements and combinations of existing ones, to capture the behavior of such systems and provide guarantees that they meet various specific requirements. The track on Verification and Validation of Concurrent and Distributed Heterogeneous Systems aims to present and discuss advances of formal methods applicable to the assurance of different kinds of heterogeneous systems, as well as new insights provided by validating the methods on real-world case studies.",

keywords = "22/4 OA procedure",

author = "Marieke Huisman and Cristina Seceleanu",

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, ISoLA 2022 ; Conference date: 22-10-2022 Through 30-10-2022",

year = "2022",

month = oct,

day = "17",

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

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 = "417--421",

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

}

Huisman, M & Seceleanu, C 2022, Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). 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. 417-421, 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_24

Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). / Huisman, Marieke; Seceleanu, Cristina.
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2022. p. 417-421 (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

TY - GEN

T1 - Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)

AU - Huisman, Marieke

AU - Seceleanu, Cristina

N1 - Conference code: 11

PY - 2022/10/17

Y1 - 2022/10/17

N2 - A major trend in computing during the last decade has been the ubiquity of distributed, heterogeneous systems that make use of multi-languages for implementation, or services delivered by IoT devices. Since all distributed systems must, by their very nature, make use of some form of concurrent programming, the latter becomes even more challenging than traditionally, with the increase of hardware concurrency and sources of heterogeneity. In this context, developing reliable, safe and secure distributed systems, without sacrificing performance, is notoriously difficult. This requires novel models, logical notations, and verification techniques, or extensions, improvements and combinations of existing ones, to capture the behavior of such systems and provide guarantees that they meet various specific requirements. The track on Verification and Validation of Concurrent and Distributed Heterogeneous Systems aims to present and discuss advances of formal methods applicable to the assurance of different kinds of heterogeneous systems, as well as new insights provided by validating the methods on real-world case studies.

AB - A major trend in computing during the last decade has been the ubiquity of distributed, heterogeneous systems that make use of multi-languages for implementation, or services delivered by IoT devices. Since all distributed systems must, by their very nature, make use of some form of concurrent programming, the latter becomes even more challenging than traditionally, with the increase of hardware concurrency and sources of heterogeneity. In this context, developing reliable, safe and secure distributed systems, without sacrificing performance, is notoriously difficult. This requires novel models, logical notations, and verification techniques, or extensions, improvements and combinations of existing ones, to capture the behavior of such systems and provide guarantees that they meet various specific requirements. The track on Verification and Validation of Concurrent and Distributed Heterogeneous Systems aims to present and discuss advances of formal methods applicable to the assurance of different kinds of heterogeneous systems, as well as new insights provided by validating the methods on real-world case studies.

KW - 22/4 OA procedure

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

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

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

M3 - Conference contribution

AN - SCOPUS:85142741300

SN - 9783031198489

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

SP - 417

EP - 421

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 -

Huisman M, Seceleanu C. Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). 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. 417-421. (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_24