BTC EmbeddedPlatform 23.2p0 is now available.
Highlights
Graphical Debugger for Formal Specification
It is now possible to graphically check the status of each phase of the Universal Pattern in the Validation and Formal Test results of the Formal Specification and the analysis results of the Formal Verification, which allow to make debugging easier.
Re-use Generated C-code for EC Importing
It is now possible to reuse already generated C-code for Embedded Coder architectures, which allows to increase the performance of architecture import scenarios.
Observe Intermediate FR Results
During generating test case in Formal Test or executing Proof in Formal Verification, it is now possible to observe intermediate Formal Requirements’ status as well as progress bar.
Support MATLAB 2023a
Support Polarion 2304