|
|
ガイオ・テクノロジー株式会社
2011/6/21 更新
|
MC-Checker : モデル/コードの一致性確認自動化ツール
|
|
「MC-Checker」は、モデルベース開発における仕様モデル/実装コードの一致性確認ツールです。MATLAB/Simulinkによる仕様モデルのMILシミュレーション結果と、ガイオのマイコンシミュレータによる組込み「実コード」のPILシミュレーション結果を、効率よく比較検証します。ハンドコードや各社ACGによるコートコードにも対応します。自動車機能安全規格ISO26262で規定されたモデル/コードのBack-To-Backテストに対応します。
【主な特長】
■モデルベース開発における 仕様モデルとコードの一致性自動評価ツール
■Simulinkで作成され車両制御の仕様モデル(M)と開発したコード(C)の動作を比較検証
■自動車機能安全規格「ISO-26262」で規定された モデル/コード Back-to-Backテストが可能
■単体テストツールと連携して、コードカバレッジ同時計測、仕様モデルからの期待値比較も可能
|
|
|
|
|
|
|
製品の詳細は下記ホームページでご覧いただけます。
|
|
|
価格
|
|
■MC-Checker モデルベース開発向け単体検証パッケージ
300万円/1ユーザー ノードロックライセンス
・機能ブロック単体評価用MC-Checkerアプリケーション一式
・マイコンコアシミュレータ(1MPUモデルを選択)
・dSPACE社TargetLink対応モジュール(M32R用※)標準添付
■No.1システムシミュレータ MC-Checkerオプション
300万円/1ユーザー ノードロックライセンス
・No.1システムシミュレータ(別売)にMC-Checker機能を追加するためのオプション一式
|
|
|
|
|
|
|
お問い合せ先
|
|
|
|