20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Resumé

In this paper we review how the Uppaal Tool Suite served in industrial projects and was both driven and improved by them throughout the last 20 years. We show how the need of industry for model-based validation, performance evaluation and synthesis shaped the tool suite and how the tool suite aided the use cases it was applied in. The paper highlights a number of selected cases, including success stories and pitfalls, and we discuss the important roles of both basic research and industrial projects.
OriginalsprogEngelsk
TitelLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
ForlagSpringer
Publikationsdato9 nov. 2018
Sider212-229
ISBN (Trykt)978-3-030-03426-9
ISBN (Elektronisk)978-3-030-03427-6
DOI
StatusUdgivet - 9 nov. 2018
BegivenhedInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Limassol, Cypern
Varighed: 5 nov. 20189 nov. 2018

Konference

KonferenceInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation
LandCypern
ByLimassol
Periode05/11/201809/11/2018
NavnLecture Notes in Computer Science
Vol/bind11247
ISSN0302-9743

Fingerprint

Industry

Citer dette

Larsen, K. G., Lorber, F., & Nielsen, B. (2018). 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. I Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (s. 212-229). Springer. Lecture Notes in Computer Science, Bind. 11247 https://doi.org/10.1007/978-3-030-03427-6_18
Larsen, Kim Guldstrand ; Lorber, Florian ; Nielsen, Brian. / 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, 2018. s. 212-229 (Lecture Notes in Computer Science, Bind 11247).
@inproceedings{fb7c5bd0ca54466c966b7a5fc6c27c48,
title = "20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond",
abstract = "In this paper we review how the Uppaal Tool Suite served in industrial projects and was both driven and improved by them throughout the last 20 years. We show how the need of industry for model-based validation, performance evaluation and synthesis shaped the tool suite and how the tool suite aided the use cases it was applied in. The paper highlights a number of selected cases, including success stories and pitfalls, and we discuss the important roles of both basic research and industrial projects.",
author = "Larsen, {Kim Guldstrand} and Florian Lorber and Brian Nielsen",
year = "2018",
month = "11",
day = "9",
doi = "10.1007/978-3-030-03427-6_18",
language = "English",
isbn = "978-3-030-03426-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "212--229",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice",
address = "Germany",

}

Larsen, KG, Lorber, F & Nielsen, B 2018, 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. i Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, Lecture Notes in Computer Science, bind 11247, s. 212-229, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Limassol, Cypern, 05/11/2018. https://doi.org/10.1007/978-3-030-03427-6_18

20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. / Larsen, Kim Guldstrand; Lorber, Florian; Nielsen, Brian.

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer, 2018. s. 212-229 (Lecture Notes in Computer Science, Bind 11247).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond

AU - Larsen, Kim Guldstrand

AU - Lorber, Florian

AU - Nielsen, Brian

PY - 2018/11/9

Y1 - 2018/11/9

N2 - In this paper we review how the Uppaal Tool Suite served in industrial projects and was both driven and improved by them throughout the last 20 years. We show how the need of industry for model-based validation, performance evaluation and synthesis shaped the tool suite and how the tool suite aided the use cases it was applied in. The paper highlights a number of selected cases, including success stories and pitfalls, and we discuss the important roles of both basic research and industrial projects.

AB - In this paper we review how the Uppaal Tool Suite served in industrial projects and was both driven and improved by them throughout the last 20 years. We show how the need of industry for model-based validation, performance evaluation and synthesis shaped the tool suite and how the tool suite aided the use cases it was applied in. The paper highlights a number of selected cases, including success stories and pitfalls, and we discuss the important roles of both basic research and industrial projects.

U2 - 10.1007/978-3-030-03427-6_18

DO - 10.1007/978-3-030-03427-6_18

M3 - Article in proceeding

SN - 978-3-030-03426-9

T3 - Lecture Notes in Computer Science

SP - 212

EP - 229

BT - Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

PB - Springer

ER -

Larsen KG, Lorber F, Nielsen B. 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. I Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Springer. 2018. s. 212-229. (Lecture Notes in Computer Science, Bind 11247). https://doi.org/10.1007/978-3-030-03427-6_18