20 Years of Real Real Time Model Validation

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

Abstract

In this paper we review 20 years of significant industrial application of the Uppaal Tool Suite for model-based validation, performance evaluation and synthesis. The paper will highlight a number of selected cases, and discuss successes and pitfalls in achieving industrial impact as well as tool sustainability in an academic setting.
Original languageEnglish
Title of host publicationFormal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Volume10951
PublisherSpringer
Publication date2018
Pages22--36
ISBN (Print)978-3-319-95581-0
ISBN (Electronic)978-3-319-95582-7
DOIs
Publication statusPublished - 2018
Event22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, United Kingdom
Duration: 15 Jul 201817 Jul 2018

Conference

Conference22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
CountryUnited Kingdom
CityOxford
Period15/07/201817/07/2018
SponsorDiffblue, Oxford University Computer Science Department, Springer
SeriesLecture Notes in Computer Science
Volume10951
ISSN0302-9743

Cite this

Larsen, K. G., Lorber, F., & Nielsen, B. (2018). 20 Years of Real Real Time Model Validation. In Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Vol. 10951, pp. 22--36). Springer. Lecture Notes in Computer Science, Vol.. 10951 https://doi.org/10.1007/978-3-319-95582-7_2
Larsen, Kim Guldstrand ; Lorber, Florian ; Nielsen, Brian. / 20 Years of Real Real Time Model Validation. Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Vol. 10951 Springer, 2018. pp. 22--36 (Lecture Notes in Computer Science, Vol. 10951).
@inproceedings{3180d21f142b4bf290983c79908dda3d,
title = "20 Years of Real Real Time Model Validation",
abstract = "In this paper we review 20 years of significant industrial application of the Uppaal Tool Suite for model-based validation, performance evaluation and synthesis. The paper will highlight a number of selected cases, and discuss successes and pitfalls in achieving industrial impact as well as tool sustainability in an academic setting.",
author = "Larsen, {Kim Guldstrand} and Florian Lorber and Brian Nielsen",
year = "2018",
doi = "10.1007/978-3-319-95582-7_2",
language = "English",
isbn = "978-3-319-95581-0",
volume = "10951",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "22----36",
booktitle = "Formal Methods",
address = "Germany",

}

Larsen, KG, Lorber, F & Nielsen, B 2018, 20 Years of Real Real Time Model Validation. in Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. vol. 10951, Springer, Lecture Notes in Computer Science, vol. 10951, pp. 22--36, 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, United Kingdom, 15/07/2018. https://doi.org/10.1007/978-3-319-95582-7_2

20 Years of Real Real Time Model Validation. / Larsen, Kim Guldstrand; Lorber, Florian; Nielsen, Brian.

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Vol. 10951 Springer, 2018. p. 22--36 (Lecture Notes in Computer Science, Vol. 10951).

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

TY - GEN

T1 - 20 Years of Real Real Time Model Validation

AU - Larsen, Kim Guldstrand

AU - Lorber, Florian

AU - Nielsen, Brian

PY - 2018

Y1 - 2018

N2 - In this paper we review 20 years of significant industrial application of the Uppaal Tool Suite for model-based validation, performance evaluation and synthesis. The paper will highlight a number of selected cases, and discuss successes and pitfalls in achieving industrial impact as well as tool sustainability in an academic setting.

AB - In this paper we review 20 years of significant industrial application of the Uppaal Tool Suite for model-based validation, performance evaluation and synthesis. The paper will highlight a number of selected cases, and discuss successes and pitfalls in achieving industrial impact as well as tool sustainability in an academic setting.

U2 - 10.1007/978-3-319-95582-7_2

DO - 10.1007/978-3-319-95582-7_2

M3 - Article in proceeding

SN - 978-3-319-95581-0

VL - 10951

T3 - Lecture Notes in Computer Science

SP - 22

EP - 36

BT - Formal Methods

PB - Springer

ER -

Larsen KG, Lorber F, Nielsen B. 20 Years of Real Real Time Model Validation. In Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Vol. 10951. Springer. 2018. p. 22--36. (Lecture Notes in Computer Science, Vol. 10951). https://doi.org/10.1007/978-3-319-95582-7_2