UPPAAL
UPPAAL software | |
---|---|
Tip | verificarea modelului (nu este listat ) |
Dezvoltator | Universitatea Uppsala Universitatea Aalborg |
Data primei versiuni | 1995 |
Ultima versiune | 4.0.13 (27 septembrie 2010) |
Ultima versiune beta | 4.1.19 (1 iulie 2014) |
Sistem de operare | Multiplatform |
Limba | Java C ++ |
Licență | comercial |
Limbă | Engleză , daneză , japoneză , chineză , lituaniană |
Site-ul web | www.uppaal.org/ |
UPPAAL este un instrument software pentru verificarea sistemelor de sisteme în timp real , modelat sub formă de rețele de automate de timp . A fost dezvoltat din 1995, în colaborare între grupul de proiectare și analiză a sistemelor în timp real al Universității din Uppsala și Cercetarea de bază în informatică de la Universitatea din Aalborg ; numele software-ului provine din unirea primelor trei litere ale numelui fiecărei universități. Instrumentul este utilizat pe scară largă în cercetarea și dezvoltarea sistemelor în timp real, iar articolul în care a fost prezentat software-ul, UPPAAL in a Nutshell , [1] este unul dintre cele mai citate zece articole din istoria ingineriei software .[2]
Au fost dezvoltate mai multe extensii pentru instrument, inclusiv asistență pentru analiza accesibilității optimă a costurilor, [3] testarea conformității cutiei negre, [4] generare de test off-line optimă de acoperire, [5] sinteză a controlerelor bazate pe jocuri temporizate [6] , sisteme temporizate bazate pe componente, [7] verificarea modelului statistic. [8]
Notă
Bibliografie
- Kim G Larsen, Paul Pettersson și Wang Yi, UPPAAL pe scurt , în International Journal on Software Tools for Technology Transfer (STTT) , vol. 1, nr. 1, Springer, 1997, pp. 134–152.
- Vahid Garousi și João M Fernandes, Lucrări foarte citate în ingineria software: Top-100 , în Tehnologia informației și software , vol. 71, Elsevier, 2016, pp. 108–128.