バージョンアップ情報のお知らせ(SharedVariableChecker2)
平素より弊社製品をご愛顧頂きまして誠にありがとうございます。
以下製品のバージョンアップを実施致しました。
バージョンアップ情報
【製品名 】 SharedVariableChecker2
【製品バージョン】 V4.0
【リリース日 】 2024年03月25日
バージョンアップ内容
機能追加
・コア間の競合変数に対してロック機能を用いた排他制御を解析する機能を追加
-セマフォによるコア間競合変数の排他制御を解析できるようになりました。
・「警告の無い変数(関数)を含む」オプション機能を追加
-解析結果レポートに「警告の無い変数(関数)を含む」情報の出力を抑制することが出来るようになりました。
機能改善
・コア間干渉変数の指摘文字の改善
-タスク間干渉変数の指摘と合わせるように、コア間干渉変数の指摘の文字を変更しました。
・検証可能なソースコードの改善
-型定義にキャスト式を記載しているソースコードを検証できるように改善しました。
マニュアル改善
・SVC2設定ファイルのフォーマットを記載
-タスク間干渉解析時に利用する設定ファイルのフォーマットをマニュアルに記載しました。