モデルベース開発実績特集

作業実績

システム要求分析

対象システムの構造や要求を分析し、SysMLダイアグラムなどを作成します。
要求分析からシステム構造分析、機能設計をします。

SysMLダイアグラムによる視覚化

SysMLモデリングツールを利用し、対象システムの要求や機能を様々な角度から視覚化します。

ツール使用実績

• MATLAB
• Simulink
• Stateflow
• System Composer
• Simulink Requirements
• Enterprise Architect
• Doors

作業実績

制御仕様モデル開発

制御仕様書を基に、Simulinkモデルを作成します。
JMAAB制御モデリングガイドラインに準拠したモデルを作成します。

カバレッジテスト

MC/DCやC0~C2などのカバレッジテストをします。
カバレッジ100%となるように、Simulinkモデルの再設計をします。
修正前後でOUTPUTに差分がないことをBack-to-Backテストで確認します。

結合テスト

MILシミュレーション環境を構築し、結合テストを実施します。
テストの自動化やテストデータ作成の自動化など、作業を省力化するためのスクリプトを作成します。

ツール使用実績

• MATLAB
• Simulink
• Stateflow
• Simulilnk Test
• Simulink Check
• Simulink Coverage
• Simulink Design Verifier
• Polyspace Bug Finder
• MATLAB Report Generator
• Simulink Report Generator
• MATLAB Compiler
• MATLAB Compiler SDK
• Parallel Computing Toolbox
• Reactis

作業実績

固定小数点化対応をしたオードコード用モデル開発

制御仕様モデル（コントローラモデル）に対し、固定小数点化を実施します。
Back-to-Backテストにて、対応前後の精度確認をし、要求精度に合わせて修正をします。

オードコード設定カスタマイズ

コーディング規約に準拠したCソースが出力されるよう、オートコード設定のカスタマイズをします。

オートコード用モデルと組込CのBack to Backテスト

オートコードされたCソースのSILS環境を構築し、オートコード前のモデルのMILS環境とのBack-to-Backテストをします。

組込C開発

オートコードされたCソースを利用し、搭載するチップに合わせてドライバを開発します。
ドライバソースと合わせて、ソフトウェアの検証をします。

ツール使用実績

• MATLAB
• Simulink
• Stateflow
• MATLAB Coder
• Simulink Coder
• Stateflow Coder
• Embedded Coder
• Fixed-Point Designer
• Simulink Fixed Point
• AUTOSAR Blockset
• TargetLink
• カバレッジマスターwinAMS

作業実績

結合/単体テスト作業の自動化

Simulink Testを利用し、テストシナリオやテストハーネスの作成、テストの実行の一連の作業をMATLABスクリプトで自動化。

Simulinkモデルの変化点確認の効率化

App Designerにて、Simulinkモデルの修正前後のシミュレーション結果をグラフ で比較表示。出力信号の差分を効率的に確認することで、正しく修正されているこ との確認とデグレードがないことを確認。

エクスポート形式のカスタマイズ

MATLABスクリプトにて、Simulink Requirementsで作成された要求ツリーを独自フォーマット(Excel)に変換して出力。

モデルベース開発向けCI環境構築

モデリングルールチェックや単体結合テスト、Cソース出力、B2Bテストの一連の作業を定期実行し、結果レポートを関係者に通知。デグレードの有無やCソースの品質確認を容易にし、手間をかけずに手戻りを低減させた開発が可能となる環境を構築。

ツール使用実績

• MATLAB
• Simulink
• Stateflow
• MATLAB Coder
• Simulink Coder
• Embedded Coder
• Fixed-Point Designer
• Simulink Test
• Simulink Check
• Simulink Coverage
• Simulink Design Verifier
• Polyspace Bug Finder
• MATLAB Report Generator
• Simulink Report Generator
• Simulink Requirements
• Control System Toolbox
• Jenkins
• Git
• Subversion