BTC EmbeddedPlatform 22.1がリリースされました。
ハイライト
ツールコンフィグレーション
MATLAB2021bに対応しました。
TargetLink5.2に対応しました。
Formal Specificationエディタ
Universal Patternのテンプレート作成および共有に対応しました。
自動ベクタ生成
ATGエンジンに既存のベクタを利用して新しいベクタを生成するオプションが導入されました。
math.hのsqrtf, ceilf, floorf, powfが自動ベクタ生成でサポートされました。
自動ベクタ生成エンジンの初期化において、既存のベクタを使用する機能が追加されました。
Formal Verification
Formal RequirementsのOverflow/Underflowチェックがサポートされました。
Formal Test
Formal RequirementsのOverflow/Underflowチェックがサポートされました。
Embedded Coderアーキテクチャ
SimulinkとEmbeddedCoderモデルでモデルワークスペースパラメータがサポートされました。
テストケースエディタ
JSONフォーマットによるテストケースのインポート/エクスポートがサポートされました。