Model-Driven Development

Developing a prototype just to discover that it does not function as intended is both expensive and frustrating. Any developer wants to avoid problems like that, and one way of preventing potential problems is to set up a mathematical model of the finished product and make calculations on whether it will perform according to plan – even before the company starts developing the actual hardware and software for the product.

At CISS, several researchers and PhD students work within model-driven development, and the area is prophesied to become a vital part of the development of embedded software systems in the future. In addition, we work within model-driven testing, in which we set up a model, develop software on the basis of this model and subsequently test the software against the model in order to find out whether it performs according to our calculations. Everything done with the purpose of heightening reliability and minimising the number of potential flaws and faults in the product.