BTC EmbeddedPlatform 23.3p0 is now available.
Highlights
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