New safety standards, such as ISO 26262, present a challenge for companies producing safety-relevant embedded systems. Safety verification today is often ad-hoc and manual; it is done differently for digital and analogue, hardware and software.The VeTeSS project will develop standardized tools and methods for verification of the robustness of safety-relevant systems, particularly against transient ...