One workflow covers hand-written code and model-based parts where both development styles exist.
Industrial Machinery
Certified verification for industrial control software.
The same certified process that supports ASIL D evidence in automotive also covers IEC 61508-3.
IEC 61508-3Powered by BTC QCore
Certified For
ISO 26262IEC 61508-3ISO 25119IEC 62304EN 50716
Why Now
Industry pressure, made visible.
1
Control software in machines and plants is growing faster than the established test processes around it.
2
SIL evidence is increasingly demanded by customers and certifiers, making tool qualification a bottleneck.
3
Mixed codebases combine hand-written C/C++ and model-based parts without one consistent verification workflow.
Standards & compliance
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.
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.
Proof
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.
IEC 61508-3 · SIL 1-3
Supported environments
Fits the engineering environments this industry actually uses.
Feel the Quality
See BTC TestStack on IEC 61508-3.
Bring your codebase and standard context into an evaluation with our engineers.