|
■自動車ECUソフトの モデルベース開発における 実装コードの動作、品質確認ツール
MATLAB/Simulinkによる車両制御の設計「モデルベース開発」が次第にさかんになっています。これは、MATLAB/Simulink上の車両制御ブロックを要求仕様、詳細仕様として、ECU制御ソフトを開発する手法です。最近では、仕様モデルから組込みC言語ソースコードを自動生成するACG（Automatic Code Generartion）の適用も始まっています。
しかしながら、正しく制御ロジックが設計、または自動生成されているかどうか、マイコン実装による制御誤差はどの程度かを確認しておくことが必要となっています。
＜誤差の要因の一例＞
●連続系モデルと 離散系コード
●倍精度演算モデルと 単精度演算コードの小数点丸め精度
など・・
■Simulinkで作成され車両制御の仕様モデル（M）と開発したコード（C）の出力結果を比較検証
「MC-Checker」は、仕様モデルをそのままSimulink上で実行したものと、開発したC言語コードをマイコンで実際に実行したものとの比較を行うことで、 マイコン実装コードによる制御結果が正しいことを確認するためのツールです。
■開発したコードを実際のマイコン実行コードにコンパイルして 実装マイコンのISS（命令セットシミュレータ）で実行
ECU実コードの実行には、マイコン実コードの命令を忠実に実行するISS（Instruction Set Simulator）が使用されます。
|
