研究開発された技術紹介

車載LANに接続する電子制御ユニット(ECU)増加に伴い、車載LANの堅牢制を確保する環境整備のニーズが高まっている。本研究開発では1車載LANに流れるデータ(シグナル)の問題箇所の見える化2車載LANプロトコルのモデル化による高品質検証の確保3車載ネットワーク設計の妥当性を検証する仕組み作りを高度化目標とし、その手法として状態遷移モデルを取り入れた検証ツールを開発する事により本高度化目標を達成する

状態遷移モデルにより、高精度で均一な車載LAN不具合検証を実現
※「状態遷移モデル」とはある状態ごとに外部からのデータ入力と内部からのタイムアウト・スイッチ押下等に応じて振る舞いを記述するモデル
・車載LANのモニタリングとシミュレーション機能を備える
・技術者のレベルに左右されない車載LANの検証を可能にする
・車載LAN動作不具合の"見える化"により問題抽出を可能にする
(新技術)
・テスト仕様書作成:工数負荷軽減
‐状態遷移モデルが簡単に作成可能
‐ベースとなる状態遷移モデルのサンプルはイーソルが提供
・テスト内容:モデル化による情報の汎用化・高品質化
‐状態遷移モデルを共有・再利用が可能
‐誰でもすぐに短期間で漏れのない高品質の検証が可能
・不具合の発見:作業精度が向上
‐モニタリングデータの異常データを可視化することで、不具合箇所を容易に発見することが可能

・車載LAN検証のための解析・出力機能の開発で"見える化"を実現
‐PC側ソフトウェアから送信するコマンドで車載LAN上を流れるCAN(Controller Area Network)フレームを取得するソフトウェアを開発
‐状態遷移モデルから車載LANへのデータ送出機能を開発
‐LAN設計情報をPC側ソフトウェアに反映、ユーザーが判読可能な形式で表示する機能を開発
‐取得したシグナルを車載LAN情報と照らし合わせて解析、グラフ表示する機能を開発
‐車載LAN設計情報をもとに異常シグナル値を検出する機能を実装
・ユーザーの作業アシスト機能を開発
‐PCソフトウェア上で状態遷移モデルを作成・編集できる機能を開発
‐状態遷移モデルのデバッグのため、ブレークポイント、一時停止、モデルのステップ実行を行う機能を開発
‐状態遷移モデルからのテスト結果の出力機能を開発
‐車載LAN上を流れるシグナルの出力に文字列を加えることを可能にした
‐テスト報告書からモニタリングデータを出力したCSVファイルへのハイパーリンク機能を実装

出展：ET2011、ET2012、ESEC2012に出展

CAN通信をイベントと状態をもとにした状態遷移モデルを作成することによって、通信検証を実施することができます。

・H24年度に事業化に成功
・検証機器及び検証用有償ソフトウェアあり

・精度向上→共通の状態遷移モデルの使用により、試験者に依存しない均一な評価が可能
・標準化→使用する状態遷移モデルの共通化により、試験の標準化が可能

利便性の高い追加機能の開発を経てH25年5月に製品化・販売を開始する
・PC側ツールがなくても機器単体で状態遷移モデルによる動作確認ができるよう、機能追加の開発を継続中
・機能追加のための開発をH25年4月を目処に完了させ、H25年5月に予定する展示会に出展する予定
・展示会出展と同時に製品化し、販売を開始する