Zoltán Micskei from BME has been seconded to ResilTech for two weeks. He continues the work with ResilTech researchers on using modeling for testing and analysis of critical systems. As the leader of the Critical Systems Research Group, he gave an update on the recent research activities at BME that can be relevant to ResilTech and the ADVANCE use cases.

During the discussion after the talk, the participants selected potential collaboration areas that can be further developed during the subsequent BME secondments in July: modeling of development processes specifically focusing on security requirements, error propagation analysis in embedded and service-oriented systems and security/safety analysis using novel graph processing techniques.