DIANA

Distributed, Equipment Independent Environment for Advanced avioNic Applications
Típus: 
EU kutatási keretprogram
Kezdés éve: 
2006
Befejezés éve: 
2009
Partnerek: 
AIONIX, SIA, ALENIA, THALES, EMBRAER, UoK, SkySoft

Tanszéki projektvezető

Tanszéki résztvevők

A doktorandusz fényképe
doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579
Email: ahorvath (*) mit * bme * hu

Elérhetőségek

Koordinátor: 
DELBUONO Giampaolo
Felelős: 
Horváth Ákos

Bemutatás

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.