is a public-private research community solving grand challenges in information and communication science shaping tomorrow's society
Model-based design and testing
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.
Delivered items 2011
- Scientific publication: Experience with a compositional model checker in the healthcare domain (Hooman, Huis in 't Veld, Schuts)