Oktatás és tehetséggondozás
A csoport a mérnökinformatikus BSc, MSc és PhD képzésben is jelen van, választható tárgyaink pedig izgalmas és naprakész tudást adnak hallgatóinknak.
Specializációk
Rendszertervezés (BSc)
Tervezés és integráció a szoftveren innen és túlEgy modern kiber-fizikai rendszer olyan megbízható és intelligens komponensekbol és szolgáltatásokból álló, döntően szoftveralapú nyílt rendszer, amely az Interneten keresztül közvetlen összeköttetésben áll a különféle mobil- és okoseszközökkel, a külvilágot érzékelő szenzorokkal és beavatkozókkal, a szinte korlátlan kapacitású számítási felhővel – és azokkal a kritikus alrendszerekkel is, amelyek helyes működésén életek múlnak.
A specializáció célja olyan rendszermérnökök képzése, akik képesek e modern rendszerek specifikálására, tervezésére, integrációjára, ellenőrzésére és megvalósítására egy felülről lefelé történő, modellcentrikus megközelítéssel, amely már napjainkban is domináns a kritikus rendszerek számos területén (pl. autó, repülőgép, gyógyászati berendezések, bioinformatika).
Szoftverfejlesztés (BSc)
Programozni bárki megtanulhat, de jól csinálni nehézA specializáció célja megismertetni a hallgatókat azokkal a kurrens szoftvertechnikákkal és eszközökkel, amelyek informatikai rendszerek megvalósításához, teszteléséhez, karbantartásához és dokumentálásához szükségesek.
A specializáció kiemelt hangsúlyt fektet a legfrissebb szoftverirányzatok teljes spektrumának lefedésére, különös tekintettel a kliens oldalra és az informatikai háttérrendszerek fejlesztésére, a vonatkozó megvalósítási technikákra, heterogén platformok rendszerintegrációs elveire, olyan igényes grafikai információmegjelenítési és felhasználói interfész kialakítási módszerekre és fejlesztési technológiákra, amelyek követik a felhasználói igényeket, valamint a korszerű rendszerfejlesztési koncepcióknak való megfelelés követelményeire.
Tantárgyaink
Rendszermodellezés
Az informatikai rendszerek tervezési folyamatának modellalapú megközelítései
A tantárgy célja a későbbi tantárgyak által megtanítandó specializált modellezési paradigmák előkészítése, az alapvető modellezési feladatok és eszközök bemutatásával.
Informatikai rendszertervezés
A modellalapú rendszertervezés alapvető folyamatai és eszközei
Szakirányos tárgyunk a képzés korábbi tárgyaira építve a modellalapú rendszertervezést iparilag releváns példákon és eszközökön keresztül mutatja be.
Formális módszerek
Formális modelleken alapuló tervezés és megvalósítás, formális analízis
A hallgatók megtanulnak formális modelleket alkotni, illetve megismerik a különböző formális módszereket és technológiákat, ezek előnyeit, hátrányait, és alapvető eszközeit.
Modellalapú rendszertervezés
Szakterület-specifikus modellezés és eszközfejlesztés technológiája
Bemutatjuk a szakterület-specifikus modellezési nyelvek használatát a modellalapú szoftvertervezési folyamat és az ipari implementációs technológiák szempontjából.
Kiberfizikai rendszerek
Felhőalapú, autonóm, adaptív/átkonfigurálható beágyazott rendszerek
Áttekintjük a kiberfizikai rendszerekhez kapcsolódó kulcstechnológiákat, kiemelve az algoritmikus, modellezési és szolgáltatásbiztonsági aspektusokat.
Szoftver- és rendszerellenőrzés
Automatikus ellenőrzési és tesztelési technikák, eszközök
A tantárgy célkitűzése, hogy megismertesse a hallgatókat a teljes szoftver- és rendszerfejlesztési életciklus során alkalmazható különböző ellenőrzési technikákkal.
Szoftver verifikáció és validáció
Formális verifikációs és validációs módszerek matematikai háttere
A tárgy célja a szoftverfejlesztésben használatos verifikációs és validációs módszerek rendszerező ismertetése, hangsúlyozva a formális verifikációs technikák matematikai alapjait.
Empirikus rendszertervezés
Extrafunkcionális tulajdonságok garantálása tervezéskor és üzemeltetéskor
Bemutatjuk a metrikák folytonos világát és az informatikai rendszerek diszkrét kvalitatív modelljeit összekötő technikákat a legfontosabb alkalmazási területek érintésével.
Blockchain technológiák és alkalmazások
Blockchain eszközök alapvető tervezési elvei és sajátosságai, alkalmazásai
Az alkalmazások szempontjából kiemelt szerepű az általános célú üzleti szolgáltatások létrehozása és integrációja, valamint a kiberfizikai (Cyber-Physical Systems, CPS) alkalmazási esetek.
'Big Data' elemzési módszerek
Nagy adatmennyiségből adódó speciális problémák kezelése
A tárgy hallgatói megismerhetik a nagy méretű adathalmazok elemzésére szolgáló legfontosabb elemzési megközelítéseket és platformokat, beleértve az adatelemzés alapjait.
DevOps
A rendszerfejlesztés és ‑üzemeltetés automatizálása és kapcsolódásai
A hallgatók megismerik az informatikai rendszerek fejlesztésének támogatásával és üzemeltetésével kapcsolatos technológiákat, háttérismereteket, és alkalmazásokat.
Mérési adatok vizuális elemzése
Hogyan lesz az adatból információ? Hogyan találjuk meg a tűt a szénakazalban?
Megismertetjük a hallgatókat a vizuális adatelemzés alkalmazási lehetőségeivel, elsődlegesen informatikai rendszerek tervezésében és kiértékelésében.
Önálló munka
Hallgatóink változatos témákon dolgozhatnak már a témalabortól kezdődően: az ipari partnereink által inspirált gyakorlati fejlesztési feladatoktól kezdve az elméleti jellegű kutatási témákig széles spektrumon biztosítunk konzultációt. Célunk, hogy hallgatóink olyan témákat találjanak, amikben elmélyülnek és szakmailag fejlődnek.
Tehetséggondozás
A motivált, érdeklődő hallgatókat szívesen látjuk már a BSc tanulmányaik kezdetén. Ők később a közös munka során rendszeresen bekapcsolódnak nemzetközi kutatási és ipari projektjeinkbe, nyílt forráskódú szoftverfejlesztéseinkbe.
Számukra tehetséggondozó programot, kiemelt konzultációs hátteret és egyéni mentorálást biztosítunk a TDK konferenciától kezdve egészen a doktori képzés végéig.
Hallgatóink eredményei
Jellemző munkahelyek
Hallgatóinknak nem esik nehezükre elhelyezkedni a végzés után: start-up cégeknél, multinacionális cégek hazai vagy akár nemzetközi fejlesztőközpontjaiban mind-mind megtalálhatók volt hallgatóink, nem ritkán senior pozícióban.
