Blog
- Shift-Left Testing is essential for reliable and scalable SDV Development.
- Which testing level best prevents critical defects from escalating?
- Can conventional or in-house test solutions keep up with SDV Development?
Close
Highly automated and advanced requirements-based testing enhanced by formal methods and automatic test generation
Formal Test Package is a provides feature set which enables Automatic Test Generation for Formal Requirements as well as requirement coverage measurement, automatic verdict computation based on Formal Requirements.
Combination use of those technologies yields higher confidence on test results and sets us free from time consuming manual efforts.
No need to create testcases manually, automation is available.
NOTE: Automatic Test generation for Code is not included in this package.
Requirements-based Test for Simulink, TargetLink, Hand-written C-Code, and dSPACE evaluation board(PIL).
Execution Records imported from external simulation environment (CSV, MDF)
BTC EmbeddedPlatform has been certified by German TÜV SÜD as fit for 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, we have been certified with the highest tool confidence level TCL and the certificate is valid for all ASIL levels including ASIL D.
We provide the certificate and the corresponding report to our customers free of charge upon request, which almost eliminates any effort for tool qualification measures on the customer side.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
If you would like to try out our tools, we will gladly provide an evaluation license free of charge. Evaluations include a free launch workshop and also provide an opportunity for you to meet one-on-one with our support and engineering teams.
Do you have any questions or want to see our tools in action? If so, please use the link below to schedule a meeting, where a member of our engineering team will be happy to show you the features and use cases and directly answer any questions you might have.
Sharing insights on embedded software development, model-based design, automatic code generation and ISO 26262 compliant testing.
Mathematically complete proof powered by symbolic model checking technology for Production C-Code and TargetLink models.
We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.
Copyright © 2025 BTC Embedded Systems & BTC Japan
