The new version BTC EmbeddedPlatform 25.3 (including BTC EmbeddedTester, BTC EmbeddedSpecifier and BTC EmbeddedValidator) has been successfully certified by German TÜV Süd as fit for purpose for the usage in safety critical software development projects.
The certificate addresses different standards including ISO 26262, IEC 61508-3:2010, ISO 25119, IEC 62304 as well as EN 50716. For the automotive standard ISO 26262 the certificate is valid for all ASIL levels incl. ASIL D. As a verification tool, BTC EmbeddedPlatform has been classified with the highest tool confidence level TCL 3.
The certificate adresses all use cases within BTC EmbeddedPlatform, including:
- Requirements-based Testing
- Back-to-Back Test
- Code Coverage Analysis
- Automatic Test Generation
- Robustness Analysis
- Formal Specification
- Formal Verification
We provide the certificate and the corresponding report to our customers free of charge upon request, which dramatically reduces and almost eliminates any effort for tool qualification measures on the customer side.
