UPPAAL

UPPAAL software
Genere	model checking (non in lista)
Sviluppatore	Università di Uppsala Università di Aalborg
Data prima versione	1995
Ultima versione	4.0.13 (27 settembre 2010)
Ultima beta	4.1.19 (1 luglio 2014)
Sistema operativo	Multipiattaforma
Linguaggio	Java C++
Licenza	commerciale
Lingua	inglese, danese, giapponese, cinese, lituano
Sito web	www.uppaal.org/

UPPAAL è uno strumento software per la verifica di sistemi sistema real-time, modellati sotto forma di reti di automi a tempo. È stato sviluppato a partire dal 1995, in collaborazione tra il Design and Analysis of Real-Time Systems group dell'Università di Uppsala e il Basic Research in Computer Science all'Università di Aalborg; il nome del software deriva dall'unione delle prime tre lettere del nome di ciascuna università. Il tool è usato estensivamente nella ricerca e nello sviluppo di sistemi real-time e l'articolo nel quale il software venne presentato, UPPAAL in a Nutshell,[1] è uno tra i dieci articoli più citati nella storia dell'ingegneria del software.[2]

Diverse estensioni sono state sviluppate per il tool, tra le quali il supporto per cost optimal reachability analysis,[3] black-box conformance testing,[4] coverage-optimal off-line test generation,[5] timed games based controller synthesis[6], component based timed systems,[7] statistical model checking.[8]

Note

1. Kim, Pettersson, Yi (1997), pp. 134–152.
2. Garousi, Fernandes (2016), pp. 108–128.
3. Cora, su docs.uppaal.org.
4. Tron, su people.cs.aau.dk.
5. CoVer, su hessel.nu.
6. Tiga, su people.cs.aau.dk.
7. Port, su it.uu.se.
8. SMC, su uppaal.org.

Bibliografia

• Kim G Larsen, Paul Pettersson e Wang Yi, UPPAAL in a nutshell, in International Journal on Software Tools for Technology Transfer (STTT), vol. 1, n. 1, Springer, 1997, pp. 134–152.
• Vahid Garousi e João M Fernandes, Highly-cited papers in software engineering: The top-100, in Information and Software Technology, vol. 71, Elsevier, 2016, pp. 108–128.

Collegamenti esterni

• Sito ufficiale, su uppaal.org.
• Design and Analysis of Real-Time Systems group
• DEIS unit, Dept. Computer Science at AAU