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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

4 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Industrial Practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
PublisherSpringer
Publication date9 Nov 2018
Pages212-229
ISBN (Print)978-3-030-03426-9
ISBN (Electronic)978-3-030-03427-6
DOIs
Publication statusPublished - 9 Nov 2018
EventInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Limassol, Cyprus
Duration: 5 Nov 20189 Nov 2018

Conference

ConferenceInternational Symposium on Leveraging Applications of Formal Methods, Verification and Validation
CountryCyprus
CityLimassol
Period05/11/201809/11/2018
SeriesLecture Notes in Computer Science
Volume11247
ISSN0302-9743

Fingerprint

Industry

Cite this

Larsen, K. G., Lorber, F., & Nielsen, B. (2018). 20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond. In Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV (pp. 212-229). Springer. Lecture Notes in Computer Science, Vol.. 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. pp. 212-229 (Lecture Notes in Computer Science, Vol. 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. in 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, vol. 11247, pp. 212-229, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Limassol, Cyprus, 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. p. 212-229 (Lecture Notes in Computer Science, Vol. 11247).

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-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. In 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. p. 212-229. (Lecture Notes in Computer Science, Vol. 11247). https://doi.org/10.1007/978-3-030-03427-6_18