Uppaal in a nutshell

Kim G. Larsen; Paul Pettersson; Wang Yi

doi:10.1007/s100090050010

Uppaal in a nutshell

Kim G. Larsen, Paul Pettersson, Wang Yi

Research output: Contribution to journal › Review article › peer-review

1692 Scopus citations

Abstract

This paper presents the overal structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model. In addition, the paper also provides a short review on case-studies where Uppaal is applied, as well as references to its theoretical foundation.

Original language	English
Pages (from-to)	134-152
Number of pages	19
Journal	International Journal on Software Tools for Technology Transfer
Volume	1
Issue number	1-2
DOIs	https://doi.org/10.1007/s100090050010
State	Published - 1997
Externally published	Yes

Keywords

Dynamic modeling
Modeling real-time systems
Modeling tools
Uppaal

Access to Document

10.1007/s100090050010

Cite this

@article{c1a1ec0f48b3419dbf5e3d8721070412,

title = "Uppaal in a nutshell",

abstract = "This paper presents the overal structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model. In addition, the paper also provides a short review on case-studies where Uppaal is applied, as well as references to its theoretical foundation.",

keywords = "Dynamic modeling, Modeling real-time systems, Modeling tools, Uppaal",

author = "Larsen, \{Kim G.\} and Paul Pettersson and Wang Yi",

year = "1997",

doi = "10.1007/s100090050010",

language = "英语",

volume = "1",

pages = "134--152",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "1-2",

}

TY - JOUR

T1 - Uppaal in a nutshell

AU - Larsen, Kim G.

AU - Pettersson, Paul

AU - Yi, Wang

PY - 1997

Y1 - 1997

N2 - This paper presents the overal structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model. In addition, the paper also provides a short review on case-studies where Uppaal is applied, as well as references to its theoretical foundation.

AB - This paper presents the overal structure, the design criteria, and the main features of the tool box Uppaal. It gives a detailed user guide which describes how to use the various tools of Uppaal version 2.02 to construct abstract models of a real-time system, to simulate its dynamical behavior, to specify and verify its safety and bounded liveness properties in terms of its model. In addition, the paper also provides a short review on case-studies where Uppaal is applied, as well as references to its theoretical foundation.

KW - Dynamic modeling

KW - Modeling real-time systems

KW - Modeling tools

KW - Uppaal

UR - https://www.scopus.com/pages/publications/84896693115

U2 - 10.1007/s100090050010

DO - 10.1007/s100090050010

M3 - 文献综述

AN - SCOPUS:84896693115

SN - 1433-2779

VL - 1

SP - 134

EP - 152

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 1-2

ER -

Uppaal in a nutshell

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this