モデルベース開発ツール MC-Checker モデルベース開発モデル/コードBack-to-Back テストツールモデルベース開発における仕様モデル/実装コード（PILレベル）の一致性自動評価ツールマイコンシミュレータを使用して組込み「実コード」ベースのPILシミュレーションが可能自動車機能安全規格「ISO-26262」で規定されたモデル/コード Back-to-Backテスト単体テストツールと連携してコードカバレッジ同時計測、仕様モデルからの期待値比較も可能「MC-Checker」は、自動車モデルベース開発において、MATLAB/Simulinkにより構築した車両制御仕様モデルと、それを基に開発したC言語実コードとの動作比較を行うことにより、ECU組込みコードの妥当性を評価するツールです。ハンドコーディングされたC言語ソースや、各社ACG（Automatic Code Generator）から自動生成したCソースコードにも対応します。手間のかかるモデルとコードの一致性確認を効率的に行うためのソリューションです。自動車モデルベース開発におけるモデル/コードの Back-to-Backテストツール MC-Checkerは、モデルベース開発における仕様モデル/実装コードの一致性確認ツールです。MATLAB/Simulinkで設計した制御仕様モデル動作と、マイコンに組み込む制御コード動作を、効率良く比較検証します。自動車機能安全規格ISO26262で要求されるモデル/コードの Back-To-Backテストが可能です。 MATLAB/Simulinkモデル＜制御仕様＞オートコードハンドコード車両/製品組込みソフト＜制御ソフト＞制御コードはマイコンシミュレータによりターゲットに忠実なPILレベルでシミュレーションクロスコンパイラ＜コード生成＞他社MBDツール連携モデル/コードカバレッジテストケース制御仕様モデルはSimulinkを使用して、MILシミュレーションが行われます。これに対し、組込み制御コードは、クロスコンパイラで生成したターゲットコードをマイコンシミュレータで実行する事で、PILレベルのシミュレーションを行います。自動車に搭載するターゲットコードに最も忠実な動作が行われます。 MATLAB/Simulink ＜モデル実行＞ ※MIL = Model In the Loop マイコンシミュレータ＜実コード実行＞ ※SPIL = Simulator based Processor In the Loop MIL実行他社製モデルベースツール、ガイオのカバレッジマスターで自動生成したテストケースを使用可能 MC-Checkerの入出力ファイルは、汎用的なCSV形式を使用可能です。他社モデルベース開発ツールやガイオのカバレッジマスターで自動生成したBack-to-Backテスト用テストケースを、CSVフォーマットでインポートすることが可能です。 SPIL実行モデル実行結果＜仕様動作＞ M 一致性比較検証 C コード実行結果＜実装動作＞制御仕様一致確認 MC-Checker データフロー MATLAB/ Simulink Simulink Coder (MathWorks) TargetLink (dSPACE) MDL Simulink モデル Cコード OBJ クロスコンパイラ M MIL シミュレーション C PIL シミュレーション (マイコンシミュレータ) (MATLAB/Simulink) SLDV (MathWorks) Reactis (Reactive Systems) カバレッジマスターwinAMS （ガイオ）モデル実行結果 CSV 他社製モデルテストデータ生成ツールカバレッジマスター MC/DCテストデータ自動生成機能比較結果 (CSV ファイル) モデル/コード Back-to-Back テスト (一致性比較) コード実行結果ターゲットコード単体レベルテストデータ生成 Embedded Tester (BTC) CSV CSV オートコードジェネレータ C テスト結果 MC-Checker 波形ビューアによる比較確認結合レベルテストデータ生成モデルを網羅するテストケース自動生成 CSV Back-to-Back テスト用テストケースコードを網羅するテストケース自動生成実車走行データ Fault 故障注入シミュレーションデータ MC-Checker 製品の特長モデル/コードの比較検証に必要なアイテム（リソース）を統合管理 MC-Checkerには、モデルとコードを効率良く比較検証するための管理機能が搭載されています。モデル実行に使用するMATLAB/Simulinkモデルファイル（mdlファイル）を始め、クロスコンパイラでコード化した実行オブジェクトファイル、テストに使用する入力データファイル（csvファイル）などを統合管理します。テストアイテムを組み合わせて比較テストを簡単に構築登録したテストアイテムを選択して「シミュレーションクエリ」を作成することで、モデル実行（MIL実行）、コード実行（SPILS実行）のシミュレーションを簡単に構築可能です。例えば、同じモデルに対してテストデータのみを変えたバリエーションテストを容易に構築することができます。モデル入力データ MATLAB/Simulinkのテスト入力データファモデル（*.mdl）イル（*.csv）を登録管理を登録管理検証対象の制御モデル入力データマップオブジェクトモデル情報と入力データの信号割当てを設定マイコンバイナリオブジェクト（*.xlo）を登録管理モデル網羅データコード網羅データ実車データ等オブジェクトマップモデル情報の信号とオブジェクトの変数の割当てを設定クロスコンパイラで生成した実コード CSVファイルでマッピング指定 CSVファイルでマッピング指定テストアイテムモデル/コード一致性確認のためのテストアイテムを作成し統合管理入力データ（CSVファイル）テストデータには汎用的なCSVファイルを使用他社モデルベースツールと容易に連携可能 Simulinkモデル (mdlファイル）入力データマップデータ名 MC-Checkerの入出力ファイルは、汎用的なCSV形式を使用可能です。他社モデルベース開発ツールで生成したモデルカバレッジ、コードカバレッジ検証用のテストケースを入力することが可能です。オブジェクトコードオブジェクトマップ（MPU実行ファイル）信号名変数名シミュレーションクエリ SPILシミュレーションクエリ MILシミュレーションクエリ入力データ・EmbeddedTester (BTC)：モデルからのオートコードをMC/DC網羅データ生成・Reactiｓ (Reactive Systems)：モデルを網羅するテストデータ生成・SLDV (MathWorks)：モデルを網羅するテストデータ生成入力データ入力データマップアイテムを組み合わせてシミュレーションを構成入力データマップ Simulinkモデルオブジェクトマップ SimulinkモデルオブジェクトコードサポートMPU （2014/4現在）マイコンメーカ M PU 名シミュレータエンジン他社コンパイラサポートステータスモデル/コードの実行結果をグラフで比較可能許容誤差を設定することで自動合否判定が可能 Spansion FR81S SX(HyperSonic) Spansion ○ インフィニオン TriCore e200z3 SX(HyperSonic) HighTec, TASKING ○ MC-Checkerには、モデルとコードの実行結果をグラフや数値で比較可能な「比較ビューア」を搭載しています。また、許容誤差を指定するだけで、全ての実行結果を一斉比較し、合否結果をCSV形式の一覧に表示することも可能です。フリースケール e200z6 SX(HyperSonic) ○ e200z4 e200z420 SX(HyperSonic) SX(HyperSonic) S12X SX(HyperSonic) M32R R32C/100 SX(HyperSonic) SX(HyperSonic) RENESAS ○ ○ RH850 SX(HyperSonic) GreenHills, RENESAS ○ SX(HyperSonic) RENESAS ○ SX(HyperSonic) RENESAS ○ SH-2A SH-4A SX(HyperSonic) SX(HyperSonic) RENESAS ○ ○ V850 SX(HyperSonic) GreenHills, RENESAS ○ V850E2M SX(HyperSonic) GreenHills, RENESAS ○ RX200 ルネサスエレク RX600 トロニクス SH2A-FPU Diab, GreenHills, HighTec Diab, GreenHills, HighTec ○ ○ 開発予定 ※最新のマイコン対応状況につきましては、弊社WEBページをご覧下さい。 http://www.gaio.co.jp/product/product_supmpu.html 推奨動作環境 ■PC: PC/AT Compatible ■OS: WindowsXP Profesional SP3 / Windows7 (32bit / 64bit) ■Software: Microsoft .NET Framework 3.5 Microsoft Visual Sutdio 2003 C++ ランタイムコンポーネント Microsoft Visual Sutdio 2005 C++ ランタイムコンポーネント Microsoft Visual Sutdio 2008 C++ ランタイムコンポーネント Microsoft Visual Sutdio 2010 C++ ランタイムコンポーネント ■対応MATLAB/Simulink： 32bit版のみ対応 R14SP2, R2006b, R2007b, R2010b SP1, R2011a 2014.08 営業部〒140-0002 東京都品川区東品川2-2-4 天王洲ファーストタワー25階 TEL: 03-4455-4767 E-mail.info@gaio.co.jp URL. http://www.gaio.co.jp/ 代理店