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

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

6 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 Dive into the research topics of '20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond'. Together they form a unique fingerprint.

Cite this