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.