A DIANA projekt célja egy olyan platform kialakítása, melynek célja virtuális számítógépek biztonságos és hibatűrő elosztása és üzemeltetése a légiközlekedésben. A projektben hozzájárulunk a rendszer modellvezérelt tervezéséhez (modelltranszformációs alapon), valamint olyan módszertanokat dolgozunk ki, melyek segítik a verifikáció és a tanúsítás folyamatát.
Hivatkozások:[1] http://www.mit.bme.hu/general/staff/varro [2] http://www.mit.bme.hu/general/staff/spanics [3] http://www.mit.bme.hu/general/phd/ahorvath [4] http://diana.skysoft.pt/default.aspx