WEFACT consists of the WEFACT framework which provides a flexible infrastructure for defining and executing V&V processes. External resources – external processes, tools and standards – are integrated into the WEFACT framework by well defined interfaces. The safety case or security case respectively is the central output of WEFACT. It summarizes the information of the V&V process and provides a basis for the certification of the artefact under test (AUT).
The validation plan (V-plan) consists of the requirements for the AUT as well as the V&V activities which are necessary in order to satisfy those requirements. A V&V activity is the application of a V&V method by means of an appropriate V&V tool. It is possible to integrate various external tools. Positive results of the V&V activity are used to establish evidence for the requirements, while negative results are fed back to the developer team.
We are working closely with the Austrian Institute of Technology in Vienna on the WEFACT tool, find out more on their website.