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.