Kutatási területek és kompetenciák

Szolgáltatásbiztos rendszerek:

Megbízható, nagy rendelkezésre állású, biztonságkritikus rend­sze­rek tervezése, megvalósítása, mérése, felügyelete. Cloud.

Modellalapú szoftvertervezés:

Precíz mérnöki modellek és modell-transzformációk segítségével történő tervezés, fejlesztés és projektvezetés

Formális módszerek:

Tervezés, megvalósítás és ellenőrzés (verifikáció és validáció) formális módszerek alkalmazásával Tovább »

Szakirányajánló

Tovább »

Aktuális tárgyak

Tovább »

Alkalmazási területek és projektek

Kritikus beágyazott rendszerek:

DIANA, MOGENTES, SAFEDMI, DECOS, GENESYS, ...

Szolgáltatásalapú rendszerek:

SENSORIA, HIDENETS, e-Freight, ...

Informatikai infrastruktúra:

DESEREC, SecureChange, AMBER, ... Tovább »

Oktatási hírek

Tartalom átvétel

Legfrissebb események

Hallgatónk sikere a MATE diplomaterv pályázatán

Majzik István, szo, 2012-05-12 23:27

Horányi Gergő szakirányos hallgatónk a Méréstechnikai, Automatizálási és Informatikai Tudományos Egyesület (MATE) 2011. évi diplomaterv pályázatán II. helyezésben részesült "Futásidőbeli verifikáció elosztott beágyazott rendszerekben követelmény alapú monitorozással" című szakdolgozatával. Tovább »

Hallgatói előadás az EDCC konferencián

Gönczy László, p, 2012-05-11 11:05

Dávid István szakirányos hallgatónk a szolgáltatásbiztonság vezető európai fórumán, a 9. European Dependable Computing Conference (EDCC) konferencián adta elő hallgatói cikkét "A Model-driven Approach for Processing Complex Events" címmel. Tovább »

Oktatónk a Securware 2012 Programbizottságában

Biró Virág Anna, cs, 2012-05-03 11:37

Dr. Pataricza András meghívást kapott a Securware (International Conference on Emerging Security Information, Systems and Technologies) konferencia programbizottságának tagjai közé. Tovább »

Előadás az ICST'12 konferencián

Ujhelyi Zoltán, p, 2012-04-27 22:49

Ujhelyi Zoltán, csoportunk doktorandusza, részt vett az 5. International Conference on Software Testing, Verification and Validation konferencián 2012. április 17-20. között a kanadai Montrealban. A konferencián egy előadás során ismertette a csoport tagjainak kutatási eredményeit modelltranszformációk szeletelésével kapcsolatban Dynamic Backward Slicing of Model Transformations címmel. Tovább »

Meghívott előadások a Modellalapú szoftvertervezés és Szolgáltatásintegráció tárgyakban

Ráth István, cs, 2012-04-26 15:32

A Modellalapú szoftvertervezés és Szolgáltatásintegráció tárgyakból április-május folyamán négy ipari szakértőt hívtunk meg, hogy vendégelőadások keretében megosszák az érdeklődőkkel a tárgyak tematikájához kapcsolódó gyakorlati tapasztalataikat. Tovább »

Tartalom átvétel
tovább

Nyelvek

  • English
  • Magyar

Belépés

Feladatbeadás