Automated Graph Generation for the Assurance of Software-Intensive Cyber-Physical Systems
Place: E:2116, E-huset, Lund
Contact: gorel [dot] hedin [at] cs [dot] lth [dot] se
Save event to your calendar
Seminar by Prof. Daniel Varro, Linköping University
When engineering critical software-intensive cyber-physical systems, system-level assurance often uses a combination of design-time and runtime verification and validation techniques to ensure compliance with related safety standards.
For example, software tool qualification necessitated by safety standards requires that no tools used in the design of avionics systems are trusted without sufficient assurance ideally provided by a large set of consistent (well-formed or malformed) instance models specific to a domain. System-level testing of autonomous vehicles also frequently relies upon the automated synthesis of realistic test contexts and abstract test scenarios. The testing of machine learning based components used in may exploit synthetic scene graphs.
My talk will focus on how the automated generation of consistent, realistic and diverse domain-specific graph models can help in design-time assurance and runtime monitoring of critical cyber-physical systems. The talk will cover recent research results including conceptual foundations as well as efficient supporting software tools.
Dániel Varró is a professor of software engineering at Linköping University and an adjunct professor at McGill University as well as at Budapest University of Technology and Economics. He was a research chair of the MTA Lendület Cyber-Physical Systems Research Group. He has co-authored over 200 scientific papers which received seven Distinguished Paper Awards, and three Most Influential Paper Awards. He serves on the editorial board of the Software and Systems Modeling journal and he is vice chair of the MODELS steering committee. He served as PC co-chair of FASE 2013, ICMT 2014, SLE 2016 and MODELS 2021 conferences. He is a co-founder of the VIATRA model query and transformation framework, and IncQuery Labs, a technology-intensive company.