| 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
modificaBibliografia
modifica- 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
modifica- Sito ufficiale, su uppaal.org.
- Design and Analysis of Real-Time Systems group, su it.uu.se.
- DEIS unit, Dept. Computer Science at AAU, su cs.aau.dk.
