RESEARCH ACTIVITIES COVER THE FOLLOWING AREAS:

• Semantic theories for modelling the behaviour of computer programs and systems
• Design, implementation and models for analysis and construction of distributed, embedded and intelligent systems
• Algorithms, methods and tools for verification, and validation of programs and systems
• Probabilistic models and algorithms for intelligent decision making and machine learning

MODEL-DRIVEN DEVELOPMENT

Each of the four research directions mentioned above constitutes an area in its own right.

Moreover, the areas are interrelated in a number of ways:

Semantic models offer important guidelines for the development of languages and paradigms for distributed systems, and they are necessary prerequisites for the development of verification and inference algorithms and tools.

The development of validation and inference tools provides new insight into the underlying models on the one hand, and are applied in environments for the construction and analysis of distributed, embedded and intelligent systems on the other.

The usage of distributed, embedded and intelligent software in increasingly complex systems provides valuable insight into the strengths and weaknesses of existing models, algorithms and tools, and serve as inspiration for the development of new ones. Machine learning is central for data-driven development of intelligent software. This complements and completes the unit's focus on model-driven development.