Certified verification for industrial control software.
The same certified process that supports ASIL D evidence in automotive also covers IEC 61508-3.
Industry pressure, made visible.
Control software in machines and plants is growing faster than the established test processes around it.
SIL evidence is increasingly demanded by customers and certifiers, making tool qualification a bottleneck.
Mixed codebases combine hand-written C/C++ and model-based parts without one consistent verification workflow.
IEC 61508-3 inside the same certified process.
The TÜV SÜD certificate for BTC TestStack covers IEC 61508-3. The same certificate that supports automotive ASIL D evidence can be used for SIL evidence in industrial automation.
One workflow covers hand-written code and model-based parts where both development styles exist.
Deterministic model checking supports proof where manual sampling cannot cover the full behavior space.
Verification can be automated in machine and plant software pipelines as release cycles accelerate.
Certified proof bridge.
The proof story is the certificate bridge: the same certified method used for automotive ASIL D evidence also covers IEC 61508-3.
Fits the engineering environments this industry actually uses.
See BTC TestStack on IEC 61508-3.
Bring your codebase and standard context into an evaluation with our engineers.