Model-driven development

Model-driven development refers to the practice of using models as the central objects in the development process.This is in contrast to most development which has textual specifications and code as the central objects. Model-driven processes are the future of software development as they give the promise of integrating formal methods much more tightly with the development process.

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.