This Project's

Model-Based Software Engineering

Theme: Software and Engineering Design

Our aim is to investigate sound approaches to software engineering, in which software developers create models of system design that can be verified automatically against their requirements. We have focused on model based security engineering and automated support for this, but our work generalises to wider mission-critical systems development, for which we have demonstrated techniques that verify automatically a system implementation against its design models. Contact: Jan Jürjens