DocumentCode
3481328
Title
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool
Author
Pettersson, Paul
Author_Institution
Sch. of Innovation, Design, & Eng., Malardalen Univ., Vasteras, Sweden
fYear
2011
fDate
18-22 July 2011
Firstpage
450
Lastpage
451
Abstract
UPPAAL is a model-checking tool primarily aimed for real-time and embedded systems in which timing plays an important role. It has existed for over 16 years and has become very popular among formal method scientists in academia. In recent years, licenses of the tool have also been offered and sold on commercial basis. In this paper, the characteristics of the tool, its domains of application, as well as some lessons learned from commercializing the tool are described.
Keywords
embedded systems; formal verification; UPPAAL tool; formal methods; model-checking tool; Analytical models; Automata; Companies; Licenses; Load modeling; Real time systems; Software; embedded systems; formal description techniques; model-checking; real-time systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference (COMPSAC), 2011 IEEE 35th Annual
Conference_Location
Munich
ISSN
0730-3157
Print_ISBN
978-1-4577-0544-1
Electronic_ISBN
0730-3157
Type
conf
DOI
10.1109/COMPSAC.2011.110
Filename
6032379
Link To Document