A lot of tools are already available. Both in commercial and scientific environments there is a strong tendency to develop new tools and expand the existing tools. Most of the initiatives follow a particular vision or are meant for a specific area. Tooling is split in two domains:
- Classification of tools
This program brings together and describes the tools that are available. - Tool development
This program is concerned with developing new products and extend existing verification and validation tools.
Goal
Bring together the available tools in a working environment. Experiment with the tools, define the commonalities and differences, identify research areas and present the results.
Output
The expertise center for tools for Verification and Validation
Work program
The Tool Management program has identified many tools both from industry and research. In the Tool Development program new tools and a repository are under development. From both programs the tools will be made operational in the LaQuSo environment.
- Make the tools operational and support them in the laboratory environment
- Present properties and behavior
- Present the outcome of the use of tools in cases
- Present research areas together with industry partners
- Organize lectures, presentations and colloquia on tools with partners
- Be the expertise center on tools
The competence center on tools not only has information about tools but an operational version of the tool is implemented too. Example case studies in which many tools are used will be exposed.