Rendszertervezés specializáció (MIT, IIT, AUT)

 

Célkitűzés

Egy modern kiber-fizikai rendszer olyan megbízható és intelligens komponensekből és szolgáltatásokból álló, döntően szoftver alapú 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ő, modell-centrikus 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).

Témalabor, önállló labor és diplomaterv

A specializáción belül a MIT tanszékre jelentkező hallgatók a következő témalabor feladatcsoportokból válogathatnak:
  • Adatmérnökség, tudásmérnökség, döntéstámogatás
  • Automatikus tesztelés
  • Ellenőrzési módszerek
  • Felhő alapú infrastruktúra
  • Informatikával segített életvitel (Ambient Assisted Living) 
  • Képi információ feldolgozása és képfelismerés
  • Kiber-fizikai rendszerek, IoT
  • Kooperatív intelligens rendszerek
  • Mérés alapú modellalkotás és vizualizáció
  • Modern fejlesztőrendszerek és modell alapú technológiák
  • Szemantikus technológiák
Bővebb információ: itt és itt.
 
 
Válogatás néhány korábbi hallgatói önálló labor, szakdolgozat és diplomaterv munkából:
  • Blockchain technológia alkalmazása
  • Nagyméretű adathalmazok vizuális elemzése
  • Hierarchikus állapotgépek formális verifikációja
  • Tárgyak felismerése és követése gépi látás segítségével
  • Autonóm robotok működésének futásidőbeli ellenőrzése
  • Ellenőrző kódrészletek illesztése C/C++ programokhoz
  • Intelligens ágensek IoT környezetben 
  • Képfeldolgozáson alapuló orvosi diagnosztikai eljárások kidolgozása

További korábbi önálló munkák bemutatása.

Tehetséggondozás

Tehetséges hallgatóink már a BSc képzés során rendszeresen bekapcsolódnak nemzetközi kutatási és ipari projektjeinkbe, nyílt forráskódú szoftverfejlesztéseinkbe. Számukra tehetséggondozó programot és kiemelt konzultációs hátteret biztosítunk.