ガイオ・テクノロジー株式会社
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

製品の詳細は下記ホームページでご覧いただけます。

http://www.gaio.co.jp/product/dev_tools/pdt_mcc.html

価格

■MC-Checker モデルベース開発向け単体検証パッケージ
 300万円/1ユーザー ノードロックライセンス
 ・機能ブロック単体評価用MC-Checkerアプリケーション一式
 ・マイコンコアシミュレータ(1MPUモデルを選択)
 ・dSPACE社TargetLink対応モジュール(M32R用※)標準添付

■No.1システムシミュレータ MC-Checkerオプション
 300万円/1ユーザー ノードロックライセンス
 ・No.1システムシミュレータ(別売)にMC-Checker機能を追加するためのオプション一式

お問い合せ先

ガイオ・テクノロジー株式会社

営業部

電話番号

03-3662-3041

メールアドレス

info@gaio.co.jp

EISメール申し込み

発行人:MSC LTD 中村正規

編集:(株)P&Pビューロゥ

このサイトの利用(免責、著作権、個人情報)について