BTC EmbeddedPlatform 23.3p0リリースのご案内
主な新機能
形式要求の到達可能性チェックのサポート
形式検証の実行結果と自動生成したテストケースにおいて、Universal Patternの各フェーズに到達するかどうかを確認できるようになりました。
スタブコードを指定ファイルに生成する機能のサポート
EmbeddedCoderアーキテクチャのインポートで信号オブジェクトで指定したヘッダファイルにスタブコードを生成できるようになりました。
”引数を許可(グラフィカル インターフェイスとの一致)”のサポート
EmbeddedCoderアーキテクチャのインポートで関数インターフェイスに“引数を許可（グラフィカル インターフェイスとの一致）”設定を対応できるようになりました。
パラメータを考慮した入力ベクタ生成機能の拡張
Saturationブロックの上限と下限
Relayブロックのスイッチオン ポイントとスイッチオフ ポイント
形式検証の並列実行のサポート
最大で16スレッドまで利用してProofの並列実行を行えるようになりました。
MATLAB 2023bのサポート
MinGW8.1のサポート