https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Developing UPPAAL over 15 years
NORDUnet A/S, Copenhagen, Denmark.
Department of Computer Science, Aalborg University.
Department of Computer Science, Aalborg University.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4040-3480
Show others and affiliations
2011 (English)In: Software - Practice and Experience, ISSN 0038-0644, Vol. 41, no 2, p. 133-142Article in journal (Refereed) Published
Abstract [en]

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.

Place, publisher, year, edition, pages
2011. Vol. 41, no 2, p. 133-142
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-10866DOI: 10.1002/Spe.1006ISI: 000287106000002Scopus ID: 2-s2.0-79251500346OAI: oai:DiVA.org:mdh-10866DiVA, id: diva2:369205
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2019-06-26Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Pettersson, Paul

Search in DiVA

By author/editor
Pettersson, PaulYi, Wang
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 112 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf