Alkalmazási területek és projektek

A kutatócsoport kompetenciái (szolgáltatásbiztos rendszerek tervezése, modellalapú szoftvertervezés, formális módszerek alkalmazása) sikeresen hasznosultak több alkalmazási területen is. Ezeket a területeket néhány jellegzetes, az Európai Unió által támogatott kutatási projekt segítségével mutatjuk be.

Kritikus beágyazott rendszerek

  • DIANA: Integrált moduláris hardver és szoftverplatform kialakítása a repülőgépipar számára
  • MOGENTES: Modell alapú automatikus teszt generálás
  • SAFEDMI: Biztonságos mozdonyvezetői kezelőfelület tervezése
  • DECOS: Platform, komponensek és modell alapú fejlesztői keretrendszer kidolgozása
  • GENESYS: Általános rendszerarchitektúra és fejlesztési módszertan definiálása

Szolgáltatásalapú rendszerek és üzleti folyamatok

  • SENSORIA: Tervezési módszerek kidogozása a szolgáltatás-orientált architektúrához (SOA)
  • HIDENETS: Köztesréteg szolgáltatások és kommunikációs protokollok fejlesztése ad-hoc hálózatokhoz
  • e-Freight: Tervezési és üzemeltetési platform fejlesztése különböző szállítási módok kapcsolt használatára

Informatikai infrastruktúra

  • DESEREC: Mérési, modellezési és analízis módszerek kidolgozása IT infrastruktúrák újrakonfigurációjához
  • SecureChange: Folyamatosan változó IT rendszerek biztonsági verifikálása tervezési és telepítési időben
  • AMBER: A szolgáltatásbiztonság mérési és értékelési módszereire vonatkozó kutatások koordinálása