loader image

Test Solutions for Model-based Development

How can I create the needed millions of scenarios?

How can I avoid the test explosion problem?

How can I find out if my tests are passed or failed?

Release of BTC EmbeddedPlatform 23.3p0

BTC EmbeddedPlatform 23.3p0 is now available.


Reachability check for formal requirement
It is now possible to verify if the last phase of a formal requirement is reachable for Proofs and Automatic Test Case Generation for Requirements.

Stub code/variables in separate C-Files
It is now possible to create stub code/variables into separate C-Files depending on the name of the referenced header files in the model during EmbeddedCoder architecture import.

Support “Allow arguments (Match graphical interface)”
It is now possible to support the model setting “Allow arguments (Match graphical interface)” during EmbeddedCoder architecture import.

Parameter constraints considered for Stimuli Vector generation.
Upper limit and Lower limit in Saturation block
Upper limit and Lower limit in Saturation block

Support parallel execution of Formal Verification
It is now possible to support parallel execution of proofs with up to 16 threads.

Support MATLAB 2023b.

Support MinGW8.1

Join our newsletter

Your email address will be submitted to the privacy-certified newsletter software Newsletter2Go for technical distribution. For further information go to our privacy policy.


Discover some of the main features of our products in these short videos.