ホーム > 製品・サービス情報 > 自動車ECU開発検証ソリューション > MC-Checker
MC-Checker 自動車モデルベース開発 モデル/コード一致性確認ツール
モデルベース開発における 仕様モデル/実装コードの一致性自動評価ツール
マイコンシミュレータを使用して 組込み「実コード」ベースのPILシミュレーションが可能
自動車機能安全規格「ISO-26262」で規定された モデル/コード Back-to-Backテスト
単体テストツールと連携して、コードカバレッジ同時計測、仕様モデルからの期待値比較も可能
【適用事例】三菱電機姫路製作所様 ４WD用電子制御装置のモデルベース開発 へのMC-Checker適用事例 【参考資料】Vol.02 (2010/05/13) )特集 : モデルベース開発におけるモデルとコードの比較検証と課題
製品の概要
「MC-Checker」は、モデルベース開発における仕様モデル/実装コードの一致性確認ツールです。
MATLAB/Simulinkによる仕様モデルのMILシミュレーション結果と、ガイオのマイコンシミュレータによる組込み「実コード」のPILシミュレーション結果を、効率よく比較検証します。
ハンドコードや各社ACGによるコートコードにも対応します。自動車機能安全規格ISO26262で規定されたモデル/コードのBack-To-Backテストが可能です。
MC-Checkerの特長
自動車ECUソフトの モデルベース開発における 実装コードの動作、品質確認ツール
自動車機能安全規格 ISO26262に規定された モデル/コードのBtoBテストが可能
MATLAB/Simulinkによる車両制御の設計「モデルベース開発」において、仕様モデルと生成した組込みコードの単体レベル/結合レベルでの一致性確認が必要とされています。自動車機能安全規格「ISO-26262」の中でも、モデル/コードの「Back-to-Back」テストとして、認証要求項目の１つになっています。
MC-Chckerは、モデル/コードの動作比較検証を自動化するツールです。車両制御システムを構成する多数のMATLAB/Simulinkブロックと、それに対応する組込みコードの関数を、効率的に比較検証します。
ISO26262 自動車機能安全 モデルベース開発検証ソリューションの詳細ページへ
仕様モデルは Simulink上でMILS実行 組込みコードは SPILS環境のマイコンシミュレータにより実行
多数の制御ブロックのモデル/コードの比較検証を自動化
MC-Checkerには、MATLAB/Simulinkで作成したモデルブロックと、それを基に開発したコード（関数）の動作一致性を自動比較する機能が搭載されています。モデルをSimulinkで動作させた仕様動作結果と、組込みソフトをクロスコンパイラで生成した「実コード」で動作させた実装動作を、サブシステム（関数）単体レベルや、機能ブロックの結合レベルで比較検証します。
※MILS : Model In the Loop Simulator (制御ブロックをモデルで実行するシミュレータ)
※SPILS : Simulator-based Processor In the Loop Simulator (制御ブロックを 組込み「実コード」で動作させるシミュレータ)
MILS、SILS、PILS、SPLIS、HILS の違いについては、VECU-G製品ページにまとめられています。
ISO 26262で規定された単体レベルと結合レベル両方のモデル/コード比較検証に対応
MC-Chekcerは、MATLAB/Simulinkの１つのサブシステムと、それに対応する組込み関数の動作を比較検証します。
最小単位のサブシステムに対して適用する単体レベルでは、ソフトウエアに対する「単体テスト」と同じ位置付けであり、モデルやコードを網羅する（カバレッジを100%にする）テストケースを与えて、両者の一致性を検証します。機能単位のサブシステムに対して適用する結合レベルでは、主に実車データや故障注入データなどにより、システムの挙動において、モデル/コードの一致性を確認します。
| MC-Checker タイプ | 適用コード/モデル | 比較のためのテストケース |
| 単体レベル検証 MC-Checker-MT モデル/コードの単体品質確認 |
[モデル] 最小単位のサブシステム [コード] モデルに対応する関数 |
モデルベースツールを利用して生成した、モデル/コードの網羅テストデータ |
| 結合レベル検証 MC-Checker-ST モデル/コードの機能レベル動作検証 |
[モデル] 機能単位ブロック [コード] モデルに対応する関数（サブ関数を含む） |
システムの挙動を確認する実車データ、または故障注入データなど |
■MC-Checker-MT （ for Module Test ） ： 単体レベル検証 モデル/コード 単体品質確認ツール
モデルベース開発における組込みコード単体（関数）品質確認ツールです。マイコン「実コード」を使用して、モデル/コードの単体レベルでの動作比較検証を効率化します。他社MBDツールが生成するモデル/コード網羅テストケースを入力可能です。
■MC-Checker-ST （ for System Test ） ：結合レベル検証 モデル/コード結合動作一致性確認
モデルベース開発における機能結合動作確認ツールです。結合（機能）レベルで 、マイコン「実コード」を使用したモデル/コード一致性確認（Back-to-Backテスト）を実行します。テストケースには実車走行データ、故障注入データを使用して機能動作を確認が可能です。
MC-Checkerの機能
モデル/コードの比較検証に必要なアイテム（リソース）を統合管理
MC-Checkerには、モデルとコードを効率良く比較検証するための管理機能が搭載されています。モデル実行に使用するMATLAB/Simulinkモデルファイル（mdlファイル）を始め、クロスコンパイラでコード化した実行オブジェクトファイル、テストに使用する入力データファイル（csvファイル）などを統合管理します。
登録したテストアイテムを組み合わせて目的のテストを簡単に構築
登録したテストアイテムを選択して「シミュレーションクエリ」を作成することで、モデル実行（MIL実行）、コード実行（SPILS実行）のシミュレーションを簡単に構築可能です。例えば、同じモデルに対してテストデータのみを変えたバリエーションテストを容易に構築することができます。
テストデータには汎用的なCSVファイルを使用 他社モデルベースツールと容易に連携可能
MC-Checkerの入出力ファイルは、汎用的なCSV形式を使用可能です。他社モデルベース開発ツールで生成したモデルカバレッジ、コードカバレッジ検証用のテストケースを入力することが可能です。
・EmbeddedTester (BTC)： モデルからのオートコードをMC/DC網羅データ生成
・Reactice (Reactive Systems)： モデルを網羅するテストデータ生成
・SLDV (MathWorks)： モデルを網羅するテストデータ生成
モデル/コードの実行結果をグラフで比較可能 許容誤差を設定することで自動合否判定が可能
MC-Checkerには、モデルとコードの実行結果をグラフや数値で比較可能な「比較ビューア」を搭載しています。また、許容誤差を指定するだけで、全ての実行結果を一斉比較し、合否結果をCSV形式の一覧に表示することも可能です。
サポートMPU
動作環境
PC： PC/AT互換機
OS： WindowsXP Profesional SP3
ソフトウェア： Microsoft .NET Framework 3.5
Microsoft Visual Sutdio 2005 C++ ランタイムコンポーネント
Microsoft Visual Sutdio 2008 C++ ランタイムコンポーネント
Microsoft Visual Sutdio 2010 C++ ランタイムコンポーネント
（インストーラ同梱、別途インストールが必要）
対応MATLAB/Simulink: R2006b, R2007b, R14SP2
価格
■MC-Checker モデルベース開発向け単体検証パッケージ
ノードロックライセンス（※） ： 300万円/ 1ユーザーライセンス
・機能ブロック単体評価用MC-Checkerアプリケーション一式
・マイコンコアシミュレータ（1MPUモデルを選択）
・dSPACE社TargetLink対応モジュール（M32R用※）標準添付
■No.1システムシミュレータ MC-Checkerオプション
ノードロックライセンス（※） ： 200万円/ 1ユーザーライセンス
・No.1システムシミュレータ（別売）にMC-Checker機能を追加するためのオプション一式
※その他マイコン用TargetLink対応モジュールにつきましては、営業部までお問い合わせ下さい。
※ノードロックライセンスは、USBキーによるライセンス管理となります。フローティングライセンスにつきましては、
営業部までお問い合わせ下さい。
参考資料（GAIO CLUB）
参考情報・リンク
MC-Checker説明デモビデオ(音声入り)
※再生にはAdobe社の「FlashPlayer （9以上）」が必要です。
※上のリンクをクリック後、「実行」→「実行する」ボタンを押して下さい。