展示
モデルベースデザインを適用した組込みシステム開発
本展示では、LEGO® Mindstorms® NXTを対象としたモデルベースデザインの適用事例（プラント/コントローラモデリング、コントローラモデルからのCコード自動生成）を紹介します。運動方程式に基づく制御を行う移動型倒立振子ロボットや状態遷移に基づく制御を行うスキャナ機など多数のデモを用意しています。
ユーザレベル
初心者、ユーザ
対象
- 組込み制御システム開発をされている方
- モデルベースデザインに興味のある方
- モデルからの自動コード生成技術に興味のある方
キーワード
モデルベースデザイン、自動コード生成、LEGO Mindstorms NXT、ETロボコン2009
充電池システム開発向けのソリューション紹介
充電池制御系の開発においても、モデルベースデザインは開発期間短縮のソリューションとして注目されています。本展示では、充電池開発に携わるエンジニア向けに、MATLABプロダクトが提供するソリューション例として、次の3つを紹介します。
[1] 電気要素部品による図的な充電池モデリング
[2] マルチコアプロセッサによる高速な充電池パラメータの推定
[3] HEVの例を用いた充電池を含むシステムレベルシミュレーション
ユーザレベル
初心者、ユーザ
対象
- 充電池モデルに関心のある方
- 物理モデリング支援ツールに関心のある方（Simscape、SimElectronics、SimPowerSystems）
- 実験データからモデル内の未知パラメータを推定する際に、計算時間短縮のための並列処理に関心のある方
キーワード
充電池の等価回路モデル、Simscape Languageによる新規ブロックの作成、充電池インピーダンスの周波数特性（Cole-Coleプロット）、充電池の充電・放電特性
PolySpace ソースコード静的検証
組込みソフトウェアの規模や処理の複雑さの増大に伴い、ソフトウェアの品質確保が課題となっています。その手段の一つとして、ソースコードの静的検証ツールの普及が進んでいます。
PolySpaceは形式手法に基づくソースコードの静的検証により、コンパイル前にランタイムエラーを検出し、エラーフリーのコードを確保します。
展示ではPolySpaceによるC/C++コードの検証結果の例やツールの機能をご紹介します。
ユーザレベル
非ユーザ、初心者、ユーザ
対象
- ソースコード静的検証ツールの導入を検討されている方
- C/C++/Adaコードの不具合検出や品質の検証方法に関心のあるソフトウェアエンジニアの方
キーワード
ソフトウェアテスト、C/C++/Adaソースコード静的検証
ステッピングモータ制御のモデルベースデザイン
ステッピングモータの角度制御を行う制御系をSimulinkモデルとして作成し、そのモデルから自動コード生成を行い、生成されたCコードをマイコンボードへ実装します。
生成されたCコードをマイコンボードへ実装する際のポイントを紹介します。
ユーザレベル
初心者、ユーザ
対象
- Simulinkで作成した制御系の実装を検討されている方
- Real-Time Workshop Embedded Coderの利用を検討されている方
キーワード
実装、Real-Time Workshop Embedded Coder、マイコン、自動コード生成、モデルベースデザイン
