Model-based Engineering Research
Our research in model-based engineering is helping engineers refine systems through rigorous modelling.
Our research
We’re developing the next generation of methods and tools to help engineers specify, verify and refine systems through rigorous modelling. We also integrate them into advanced software design paradigms, such as self-adaptive systems or digital twins.
We apply our methods in domains such as:
- cyber-physical systems (railway systems)
- asynchronous circuits
- autonomous systems
- self-protecting systems
Our Advanced Model-Based Engineering and Reasoning (AMBER) group leads our research in model-based engineering.