BTC EmbeddedPlatform 22.1 is now available.
Highlights
Tool Configuraion
MATLAB 2021b is supported.
TargetLink5.2 is supported.
Formal Secification Editor
Templates creation and sharing is supported for Universal Pattern.
Automatic Vector Generation
New option for ATG engine to generate new vectors based on existing vectors is introduced.
sqrtf, ceilf, floorf and powf in math.h is supported for automatic vector generation.
Initialization of automatic vector generation engines with an existing vector is introduced.
Formal Verification
Overflow/Underflow check for Formal Requirements is supported.
Formal Test
Overflow/Underflow check for Formal Requirements is supported.
Embedded Coder Architecture
Model workspace parameters are supported for Simulink and EmbeddedCoder models.
Testcase Editor
Import/Export export testcases in JSON format is supported.