Kutatási területek

IT szolgáltatásmenedzsment

  • Cloud computing
  • Virtualizáció
  • Vizuális feltáró adatelemzés
  • "Big Data" elemzési módszerek
  • Konfiguráció tervezés és menedzsment
  • Hibaterjedés analízis
  • Nagy rendelkezésreállás (99,999%)
  • Autonomic computing
  • IT menedzsment automatizáció

Vezető Kutató

Pataricza András

Szoftvertervezés

  • Követelményanalízis
  • Modell alapú szoftverfejlesztés
  • Metamodell tervezés
  • Szakterület-specifikus modellezés
  • Objektum-orientált tervezés
  • Kódgenerálás
  • Automatizált tesztelés
  • Folytonos integráció

Vezető Kutató

Varró Dániel

Kritikus beágyazott rendszerek

  • Biztonságkritikus rendszerek
  • Modell alapú tervezés
  • Hibatűrés
  • Ellenőrzés és tesztelés
  • Formális verifikáció
  • Forráskód generálás
  • Hardver-szoftver integráció
  • Nyomonkövethetőség

Vezető Kutató

Majzik István

Adatelemzés és Big Data

  • Szolgáltatás-orientált architektúra
  • Eseményfeldolgozás
  • Üzleti szabályrendszerek
  • e-Business
  • Folyamatmodellezés
  • Optimalizálás
  • Kísérlet tervezés
  • Hibamodellezés

Vezető Kutató

Pataricza András

Legfrissebb események

Vendégelőadásra érkezik a NASA JPL munkatársa július 3-án

Július 3-án hétfőn nyilvános vendégelőadást tart egyetemünkön Sebastian Herzig, a Nasa JPL és a Georgia Tech kutatója. Tovább »

Részvételünk az ETAPS 2017 konferencián

Kutatócsoportunk doktorandusza, Hajdu Ákos részt vett az idén Svédországban megrendezett ETAPS 2017 nemzetközi konferencián, ahol két cikk is bemutatásra került. Tovább »

GraphConnect és OCIM előadások

Kutatócsoportunk munkatársa, Szárnyas Gábor előadást tartott a londoni GraphConnect 2017 konferencián az MTA-BME Lendület Kiber-fizikai Rendszerek Kutatócsoport keretei között fejlesztett ingraph projektről. Az előadás diasora és videófelvétele is elérhető. Tovább »

"Mesterséges intelligencia alapú regressziós tesztelés" című előadás a Simonyi konferencián

BSc hallgatóink, Elekes Márton és Gujgiczer Anna sikeres előadást tartottak a XIV. Simonyi konferencián a kutatási eredményeikből. Előadásuk során bemutatták a mesterséges intelligencia területéről ismert automatatanuló algoritmusokat és ezen algoritmusok alkalmazását szoftverek ellenőrzésére. Kutatásukkal korábban a kari TDK konferencián is sikeresen szerepeltek. Tovább »

"Excellent" minősítéssel zárult az R5-COP projekt

Március 31-én zárult a három éve, több mint 30 ipari és egyetemi partner közreműködésével indult R5-COP - "Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems" ARTEMIS projekt. Az Eindhovenben megtartott értékelésen a szakmai bírálók kiválónak minősítették a projekt eredményeit. Tovább »

Tartalom átvétel