Vasúttal a felhők felett

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.

FTSRG kutatócsoport: https://ftsrg.mit.bme.hu
MoDeS3 projekt: https://inf.mit.bme.hu/research/proje...
MoDeS3 videók:    • MoDeS3  

Állapotgépek ellenőrzése számítási felhőben: https://doi.org/10.1145/3417990.3421407

The talk disseminates results of the Lowcomote project that received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement n° 813884.
Lowcomote projekt: https://www.lowcomote.eu

IncQuery Labs homapage: https://www.incquerylabs.com/
Follow us on:
LinkedIn:   / admin  
Facebook:   / incquerylabs  
Twitter:   / incquerylabs