IncQuery Labs participated in the annual Hungarian scientific event-series: Researcher’s Night 2020 (Kutatók éjszakája). Between the 27-28th of November, there were all kinds of scientific programs: workshops, lectures and talks all across the country for science-enthusiasts and curious bystanders. This year, due to current circumstances, all events took place online. The series was supported by the Marie Skłodowska-Curie grant of the European Union.
Our colleague, Benedek Horváth, who is a PhD student participating in the Lowcomote project, gave a talk in the event series. He introduced the MoDeS3 project , which is an educational tool for teaching safety critical systems engineering. In the project, a model railway track is supervised by a model-basedinterlocking system, whose correctness is proven by formal verification - precise mathematical techniques and algorithms used to check behavioral correctness).
In his research, Benedek connected this study with the possibilities of cloud-based computing, putting emphasis on the elastic scalability of the cloud. His main argument is that cloud computing can help tackle the large computation demand of formal verification and shorten time-to-market.
The talk was supported by the FTSRG (Fault Tolerant Systems Research Group) of the Budapest University of Technology and Economics.
Watch the video on the Youtube Channel of IncQuery Labs and subscribe to our channel for notifications for future videos.