Objectives: The main aim of WP1 is to provide methods and techniques for system modelling that support design decisions and trade-offs, especially related to evolvability, performance and safety. ESI will work on executable system models that
- capture domain knowledge
- visualize externally visible system behaviour
- allow exploration and validation of architectural concepts by simulation.
Moreover, ESI will propose a framework to manage collections of different types of models and their relation to architecture. Axini concentrates on the use of models for testing and the extension of their TestManager tool with new techniques.