The tasks within the analysis and tools workpackage will lead to the development of a number of individual prototype tools as well as improved and extended versions of existing real-time verification and validation tools. To allow for the functionality of each tool to be accessible by other tools within the project as well as related tools outside the project, the consortium will provide detailed interface descriptions of the individual prototype tools, including required input- and output-formats.

Based on these interface descriptions, the project will develop automatic translations between a number of tools within and outside the project.

As a result of the experiences gained from interaction between the prototype tools, the consortium will propose an architectural design of a fully integrated and extendible tool set, including suggestions for common format(s) for exchange of model descriptions.

responsible partner: AU