Uppaal in a nutshell

被引：983

作者：

Larsen K.G. ^{[1
]}

Pettersson P. ^{[2
]}

Yi W. ^{[2
]}

机构：

[1] Department of Computer Science and Mathematics, Aalborg University

[2] Department of Computer Systems, Uppsala University

来源：

International Journal on Software Tools for Technology Transfer | 1997年 / 1卷 / 1-2期

关键词：

Dynamic modeling; Modeling real-time systems; Modeling tools; Uppaal;

D O I：

10.1007/s100090050010

中图分类号：

学科分类号：

摘要：

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. © 1997 Springer-Verlag.

引用

页码：134 / 152

页数：18

共 34 条

[1]

Abadi M., Lamport L., An old-fashioned recipe for real time, Proc. of REX Workshop Real-Time: Theory in Practice, (1993)

[2]

Alur R., Dill D., Automata for modeling real-time systems, Theoretical Computer Science, 126, 2, pp. 183-236, (1994)

[3]

Bellman R., Dynamic Programming, (1957)

[4]

Bengtsson J., Christensen P., Jensen P., Larsen K.G., Larsson F., Pettersson P., Sorensen T., Yi W., Uppaal: A tool suite for validation and verification of real-time systems, (1996)

[5]

Bengtsson J., Griffoen D., Kristoffersen K., Larsen K.G., Larsson F., Pettersson P., Yi W., Verification of an audio protocol with bus collision using Uppaal, Proc. of 8th Int. Conf. on Computer Aided Verification, in Lecture Notes in Computer Science, 1102, pp. 244-256, (1996)

[6]

Bengtsson J., Larsen K.G., Larsson F., Pettersson P., Yi W., Uppaal-a tool suite for automatic verification of real-Time Systems, Proc. of Workshop on Veri-fication and Control of Hybrid Systems III, 1066, pp. 232-243, (1995)

[7]

Bengtsson J., Larsen K.G., Larsson F., Pettersson P., Yi W., Uppaal in 1995, Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1055, pp. 431-434, (1996)

[8]

Bengtsson J., Larsson F., Uppaal a tool for automatic verification of real-time systems, (1996)

[9]

Bosscher D., Polak I., Vaandrager F., Verification of an audiocontrol protocol, Proc. of Formal Techniques in Real-Time and Fault-Tolerant Systems, (1994)

[10]

Bouali A., Ressouche A., Roy V., de Simone R., The fc2tools set, Proc. of 8th Int. Conf. on Computer Aided Verification, 1102, pp. 441-445, (1996)

← 1 2 3 4 →