The new version BTC EmbeddedPlatform 24.1p0, 24.2p0, 24.3p0 and all patches 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 IEC 61508:2010, ISO 26262:2018, EN 50716:2023, IEC 62304:2015 as well as ISO 25119: 2018/AMD1: 2020. 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 addresses all use cases within BTC EmbeddedPlatform, including:
- Requirements-based Test
- Formal Specification of requirements
- Formal Test
- Automatic Testcase Generation for Formal Requirements
- Formal Verification
- Back-to-back Test
- REST API
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.