Horváth Benedek: A linzi Johannes Kepler Egyetem és a budapesti IncQuery Labs Zrt. PhD hallgatója. Témavezetői: Prof. Manuel Wimmer, Dr. Horváth Ákos és Dr. Ráth István. Fő kutatási területe elosztott, párhuzamos, reaktív modelltranszformációk skálázódásának javítása felhőalapú rendszerekben. BSc és MSc évei alatt aktív szerepet vállalt egy modellvasút terepasztal létrehozásában, a vasúti rendszerek biztonságának demonstrálása céljából.

Az emberiség gyors fejlődősével, az általunk használt közelekedési eszközök is sokat változtak. Míg néhány száz évvel ezelőtt főleg állati erővel vont járművökön közlekedtek az emberek, ezt gyorsan felváltotta a kerékpáros, autós, vasúti, majd légi közlekedés. Ezzel párhuzamosan felgyorsult az emberek életmódja, sokkal hamarabb akarnak eljutni egyik helyről a másikra. Az utasok biztonságának garantálása érdekében a tervezőmérnökök biztonsági alrendszereket építenek be a járművekbe, melyek folyamatosan felügyelik a rendszer működését és szükség esetén beavatkoznak, balesetek elkerülése céljából. A biztonsági alrendszerek helyes működésének garantálása érdekében a mérnökök különböző, nagy precizítású tesztelési és ellenőrzési módszereket használnak. Napjainkban, a számítási felhők nagymennyiségű számítási erőforrást tesznek könnyen hozzáférhetővé, mellyel ezen számítások gyorsan és hatékonyan elvégezhetőek. Előadásomban egy megoldást mutatok be, vasútfelügyeleti rendszerek felhőalapú ellenőrzésére.