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

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

18 Citationer (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.
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
Land/OmrådeCypern
ByLimassol
Periode05/11/201809/11/2018
NavnLecture Notes in Computer Science
Vol/bind11247
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om '20 Years of UPPAAL Enabled Industrial Model-Based Validation and Beyond'. Sammen danner de et unikt fingeraftryk.

Citationsformater