20 Years of Real Real Time Model Validation

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

Resumé

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.
OriginalsprogEngelsk
TitelFormal Methods : 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
Vol/bind10951
ForlagSpringer
Publikationsdato2018
Sider22--36
ISBN (Trykt)978-3-319-95581-0
ISBN (Elektronisk)978-3-319-95582-7
DOI
StatusUdgivet - 2018
Begivenhed22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018 - Oxford, Storbritannien
Varighed: 15 jul. 201817 jul. 2018

Konference

Konference22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018
LandStorbritannien
ByOxford
Periode15/07/201817/07/2018
SponsorDiffblue, Oxford University Computer Science Department, Springer
NavnLecture Notes in Computer Science
Vol/bind10951
ISSN0302-9743

Citer dette

Larsen, K. G., Lorber, F., & Nielsen, B. (2018). 20 Years of Real Real Time Model Validation. I Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Bind 10951, s. 22--36). Springer. Lecture Notes in Computer Science, Bind. 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. Bind 10951 Springer, 2018. s. 22--36 (Lecture Notes in Computer Science, Bind 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. i Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. bind 10951, Springer, Lecture Notes in Computer Science, bind 10951, s. 22--36, 22nd International Symposium on Formal Methods, FM 2018 Held as Part of the Federated Logic Conference, FloC 2018, Oxford, Storbritannien, 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. Bind 10951 Springer, 2018. s. 22--36 (Lecture Notes in Computer Science, Bind 10951).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer 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. I Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Bind 10951. Springer. 2018. s. 22--36. (Lecture Notes in Computer Science, Bind 10951). https://doi.org/10.1007/978-3-319-95582-7_2