Objectives: The main aim of WP2 is to improve the design and testing phases of model-based development by the systematic use of models. Models will be used to validate design steps and to automate and improve the testing phase.
ESI will work on executable system models that allow exploration and validation of architectural concepts and design steps by simulation. Axini concentrates on the use of models for testing and the extension of the Axini TestManager with new techniques. PHC investigates the practical application of these techniques, applying and evaluation them on concrete industrial cases, and studies the incorporation in the development process.