Developing UPPAAL over 15 years

UPPAAL is a tool suitable for model checking real‐time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Software, practice & experience Ročník 41; číslo 2; s. 133 - 142
Hlavní autoři: Behrmann, Gerd, David, Alexandre, Larsen, Kim Guldstrand, Pettersson, Paul, Yi, Wang
Médium: Journal Article
Jazyk:angličtina
Vydáno: Chichester, UK John Wiley & Sons, Ltd 01.02.2011
Témata:
C (programming language)
Channels
Checkers
Computer programs
development
Mathematical models
model-checker
real-time
Software
Synchronization
UPPAAL
ISSN:0038-0644, 1097-024X, 1097-024X
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:UPPAAL is a tool suitable for model checking real‐time systems described as networks of timed automata communicating by channel synchronizations and extended with integer variables. Its first version was released in 1995 and its development is still very active. It now features an advanced modeling language, a user‐friendly graphical interface, and a performant model checker engine. In addition, several flavors of the tool have matured in recent years. In this paper, we present how we managed to maintain the tool during 15 years, its current architecture with its challenges, and we give the future directions of the tool. Copyright © 2011 John Wiley & Sons, Ltd.
Bibliografie:ArticleID:SPE1006
istex:7D8CABC57C780DBDE70C77B80B85994EBFA54469
ark:/67375/WNG-RZSV9W0X-Q
ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0038-0644
1097-024X
1097-024X
DOI:10.1002/spe.1006