2014 年 12 月 18 日 ( 金 ) 16:40-16:55 JMAAB 中部コンファレンス エンジニアリング サービスから見た MBD 導入の成功 失敗 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 1
ガイオ テクノロジーとは 組み込み業界向け検証ツールメーカー コンパイラ 検証 テスト 解析ツール プロトタイピングツール エンジニアリングサービス MBD 開発関連事業 テスト 検証に関するサービスやコンサルの事業 主なお客様 自動車業界を中心に事業を推進 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 2
ガイオのツール 技術の変遷 クロスコンパイラ / マイコンシミュレータ系デバッガでツールメーカーとしての地場を固める 各種ツールをリリースし多様性をアピール現在は検証ツール テストツールを中心に事業展開 コンパイラ開発で得たコード解析技術 経験とマイコンシミュレータの開発資産 経験が基礎技術 クロスアセンブラ シミュレータデバッガ CASE 連携 システムシミュレーション クロスコンパイラリバースエンジニアリング RTOS M/W リバース CASE 協調検証 I/O 検証 コード解析 加工 MISRA 構文チェック 単体テスト HMI 仕様作成 静的解析 試作レス実機レス コードカバレッジ測定 近年の傾向 協調検証 テストデータ生成 MBD 対応 BtoB テスト モデルベース開発 MBD/MDD モデルベースのプロセスやツール リバースモデリング BtoB テスト 品質改善 プロセス改善 テスト代行 ユニットテストオンザトラック 品質改善コンサル 安全規格対応 テスト設計 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 3
先進品質技術ソリューション事業 ツール事業で培った広範かつ本質的な品質意識をソリューションとして提供 テストを基点とした設計 テスト実施効率 品質確保のための運用の改善をご提案 ソフトウェア品質アセスメント実機ベースの自動テスト環境構築 品質の考え方コンサルテーション自動テストツール開発 ソフトウェア品質確保プロセス構築レガシーコードリファクタリングソリューション プロセス対応ツール導入 / 定着機能安全クロスオーバーソリューション 品質改善セミナー ユーザサイト常駐型ソリューション テストガイドラインサービス テスト代行サービス テスト領域 ユニットテスト 業務 テスト用 ギャップ診断 オンザトラック オフショア展開 ハードウェア開発 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 4
モデル中核事業 モデルに関連したエンジニアリングサービス ツール事業で経験を積んだソリューションやコンサルをサービス事業化 MBDのプロセスとツー MDDのプロセスとツーモデルリファクタリングル導入および定着のル導入および定着のモデルリダクション支援支援モデルチューニングリバースモデリングモデル移行サービス 実装モデル開発の 効率化 機能モデルの業務側 への導入支援 モデルカバレッジ 作成 / 計測サービス モデル記述ルール 作成 モデル記述サポート ツール開発 モデル作成サービス (AUTOSAR/Simuli nk/uml/sysml) COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 5
事例から見る MBD 導入の成功と失敗 振る舞い定義 機能保証 MBD 導入の成功 仕様モデル SILS 実装モデル 制御装置モデル実装情報定義 HILS プラントモデル Rapid Control Prototyping MBD 導入の失敗 ECU 実機評価 実機 機能保証 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 6
MBD 導入の失敗と成功 何が成功? 導入目的が違えば 同じ状況でも失敗だったり成功だったり モデルベース開発導入の目的は?
MBD 導入の目的 MBD 導入の目的 作成したアルゴリズムや制御を シミュレーションによって 仮想検証 先行検証が可能になり品質を向上させる オートコードを活用することで C ソースコード作成に関する実装工数削減 品質安定を得る モデルによる上流設計の実現と 抽象表現による機能把握 設計意図の共有を得る COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 8
事例から見る MBD 導入の課題 振る舞い定義 機能保証 仕様モデル SILS どこから導入する? シミュレーションと先行検証から着手 シミュレーションにより 制御アルゴリズムの先行開発を図りたい 抽象表現による 上流設計の整理から着手 実装モデル 制御装置モデル実装情報定義 HILS ECU 実機評価 プラントモデル Rapid Control Prototyping 実機 ソフトウェアの構造設計を整理して 最適なソフトウェアアーキテクチャを実現したい 機能保証 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 9
よくある事例 簡易モデル 精密モデル モデルと実機が全然違う 超高性能モデルに時間を費やしてしまう
導入後の課題 シミュレーションと実装コードとの距離が離れてしまう例 ) 機能検証済みモデルを見ながら C 言語でハンドコーディング
事例から見る MBD 導入の課題 振る舞い定義 機能保証 仕様実装情報定義モデル SILS どこから導入する? オートコード自動生成から着手 オートコードによる 工数削減を図る MBD 実績作り 実装モデル 制御装置モデル実装情報定義 HILS ECU 実機評価 プラントモデル Rapid Control Prototyping 実機 機能保証 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 12
課題事例 実機に乗ったという 実績は作りやすいため 目的によっては成功しやすい どこから導入する? プログラム言語が異なるだけ オートコードのデバッグ 実装情報定義 実装モデル MBD のメリットが現場で見えなくなってしまう ECU HILS 期待する C コードの品質を満たせず失敗するリスクも高い 実機評価 Rapid Control Prototyping 実機 機能保証 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 13
失敗事例 これ以上品質を落とせない AutoCoder 実装モデル コード自動生成 オートコード オートコード自動生成から着手 オートコードによる 工数削減を図る MBD 実績作り オートコードが重要であるため C コードの自動生成ツールが出力できないオートコードを要求した場合に MBD 導入を断念せざるを得ない 特定のデータ構造の維持データインタフェースによるメモリ増加
手作業も含めた形で MBD が実現されている AutoCoder 追加作成ツール 実装モデル コード自動生成 オートコード オートコード自動整形 手修正 現状では 手作業も含めた形が 一般的な量産コード生成方法 ツールベンチ推奨 モデル参照して手書き 量産コード COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 15
成功例 目的を達成できたこと 設計視点が上流へシフトする 検証視点の再検討
モデルによる設計視点のシフト 最初はどうしても 細部に視点が落ちてしまいがち コードアタマから モデルアタマへの視点変更が求められている ツールに使われる側から ツールを使う側への思考のシフト If 文 vs Switch vs Stateflow 折線を直線に ブロック Go-From 多用 ルールの 本質再考 構造検討 アーキテクト 記述黎明期 拡大期 接続線減退期 カイゼン期 期 基準の書き方を 直線の為に時間を 線を減らしたい このガイドライン 最適なアーキテク 縛って欲しい かけてしまう の背景は? チャはどうあるべ 自分たちとの きか ギャップは? COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 17
検証目的の再検討 C コードベースの開発と比較すると テスト項目が上流工程へ移動していく シミュレーションで評価できるようになった MBD ツールがテストしてくれるようになった 一方で 下流工程で実施しなければならないテストは残る メモリ効率 実行速度など アーキテクチャの検証 モデルの検証 C コードの検証 オブジェクトの検証 COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 18
設計者視点のシフト MBD では以下の理由により設計者の視点が上流設計にシフトしていく ツールにより実装設計 / 単体テストが自動化 設計 検証の目的について再検討する 能動的に設計 検証について考慮する ツールの制限により 検証目的などを考えなおさなければならない 要件分析 システムテスト 仕様設計 結合テスト 実装設計 単体テスト
MBD 導入支援実績 要求 / 仕様 MBD 導入の成功 MBD 導入の失敗 課 題 モデルの設計 ( 作成 実現 ) モデルの検証 (V&V) コードの品質 実装問題 MBDプロセス COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 20
モデル中核事業 モデルに関連したエンジニアリングサービス ツール事業で経験を積んだソリューションやコンサルをサービス事業化 MBDのプロセスとツー MDDのプロセスとツーモデルリファクタリングル導入および定着のル導入および定着のモデルリダクション支援支援モデルチューニングリバースモデリングモデル移行サービス 実装モデル開発の 効率化 機能モデルの業務側 への導入支援 モデルカバレッジ 作成 / 計測サービス モデル記述ルール 作成 モデル記述サポート ツール開発 モデル作成サービス (AUTOSAR/Simuli nk/uml/sysml) COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 21
END 最新情報は WEB サイトから www.gaio.co.jp 会社名 商品名は各社の商標または登録商標です 本テキストの内容は 予告無く変更される場合があります 本書記載の誤りにより生ずる問題や損失に対して弊社は責任を負いません 本資料の無断転載 複写はお断りします ガイオ テクノロジー株式会社営業本部営業部 140-0002 東京都品川区東品川 2-2-4 天王洲ファーストタワー 25 階 TEL: 03-4455-4767 Email: info@gaio.co.jp ご質問はこちらまで COPYRIGHT (C) GAIO TECHNOLOGY ALL RIGHTS RESERVED 22