Software systems play an essential in all areas of society such as public administration, banking and finance, control of indutrial plants, healthcare, and simulation in a wide range of engineering disciplines. Model-driven software engineering (MDSE) is an emerging paradigm intended to target challenges related to productivity, flexibility and reliability of software systems. In MDSE, models are the main artefact of the software development process. The models are manipulated by computer tools and software development steps (including code generation) are performed using automatic model transformations. Furthermore, MDSE enables verification of software designs prior to implementation and deployment.
The MDSE research group works on the theoretical foundations of model-driven engineering and software verification, supporting software tools and technology, and the practical application within areas such as complex simulation systems, process modelling, protocols, and embedded systems. In particular, the Research group focus on Technologies such as the Diagram Predicate Framework and Coloured Petri Nets.
The group has international research collaboration with the Technical University of Denmark, University Paris Nord, Universidad Autonoma de Madrid, and St. Francis Xavier University (Canada). The research group collaborates nationally with the Programming Language Theory group at the University of Bergen, the Precise Modelling and Analysis Group at the University of Oslo, and Ålesund University College.