受託開発実績：自動コード生成用モデルの自動チェッカー

お客様の作成されたモデルコーディングルールに従い、自動的にモデルのチェックを行うためのツールを作成させていただきました。

導入前の問題点

Simulinkモデルを自動コード生成してECUに載せるというのは、モデルベース開発の１つの大きな流れです。

Simulinkモデルでアルゴリズムを記述することで分かりやすさが向上する半面、そのチェックは従来の方法では実現できません。

人間の目でチェックを行うには大変な労力がかかり、その工数が問題視されていました。

ソリューション

まずは、自動コード生成用のモデルを作成するにあたり順守するべきルールを、お客様の側で作成されました。

弊社はそのルール一覧を元に、モデルを自動的にチェックするツールを実装させていただきました。

特長は、次の通りです。

■Mathworks社のModel Verification＆Validationツールボックスへの追加ルールという形で作成しました

■このツールボックスにあらかじめ備わっているルールと、今回新規に作成したチェック項目とを同時に検査する事ができます

■エラーが検出された場合、問題のあるブロックへのリンクをクリックすると、そのブロックが表示されるようにしました

■エラーが検出された場合、その問題を自動的に修正する事も出来るようにしました