BTC EmbeddedPlatform 22.3 is now available.
Highlights
Boundary check for formal requirements support
It is now possible to support boundary coverage check for formal requirements.
Parallel MATLAB simulations support
It is now possible to support for parallel MATLAB simulations by using a dedicated preference.
TargetLink Adaptive AUTOSAR support
It is now possible to support for TargetLink Adaptive AUTOSAR model.
Project Report support
It is now possible to create a Project Report which combines the test status of all use cases.
Automatic mapping support
It is now possible to support for an automatic mapping derivation which allows to simplify the import of additional architectures.