The project successfully demonstrated the possibility to reduce testing effort by at least 20% for small to medium sized, yet industially relevant, control applications. Even higher reductions were achieved in the context of fault injection.
Additionally, it has shown that fault based coverage criteria are a better ground for trust in a test suite, than some classical, structural coverage metrics.
Six tools/tool suites were developed or extended during the project:
A list of the scientific publications created in the course of the project can be found in menu item Publications. In many cases, the publication (or a pre-final version of it) can be downloaded as PDF file.
Several public project deliverables, including an initial state of the art survey, used modelling languages and fault models and the test case generation methods, can be downloaded at menu item Deliverables.