VeTeSS (Verification and Testing to Support Functional Safety Standards) is an ARTEMIS project to develop standardized tools and methods for the verification of safety properties, particularly for generic components and subsystems used in safety-relevant embedded systems. The project will concentrate on the strategically important automotive market in order to constrain the scope of the problem, limit the size of the consortium and the budget, and to keep the project focused.

We are aware that many of the same problems arise in other sectors, and the project will actively engage, through an Industrial Advisory Board (IAB) created as part of the project, with representatives of those industries to share knowledge and disseminate results.

This is a 36 month project, starting in May 2012, with Infineon UK as the lead partner.