モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法(組込みシステム,組込み技術とネットワークに関するワークショップETNET2013)
スポンサーリンク
概要
- 論文の詳細を見る
組み込み制御ソフトウェア開発の効率向上のため,Simulinkモデルから実装を考慮したUMLモデルを効率的に設計する手法を提案する.一般に,組み込み制御ソフトウェア開発は制御ロジックを作成する制御設計と制御ロジックを元にソフトウェアモデルを作成するソフトウェア設計の2段階で行う.近年の制御設計ではMATLAB/Simulinkを用いて制御ロジックをSimulinkモデルとして設計することが多い.しかし,MATLAB/Simulinkはプリエンプティブなマルチタスク環境でのタスク間のプリエンプションなどについては考慮していない.そのため,制御ロジックをそのままソフトウェアとして実装する場合,プリエンプションによってデータの不整合が発生する恐れがあり,同期や通信の処理を追加する必要がある.我々はこれまでに,制御設計からソフトウェア設計への移行をスムーズに行うため,Simulinkモデルをソフトウェア設計に適した形のUMLモデルに変換するモデル変換ツールを開発してきた.本論文では,生成されたUMLモデルをプリエンプティブなマルチタスク環境で実行した場合に起こりうるデータの不整合を,モデル検査ツールSPINを用いて発見する手法を提案する.そして,モデル変換ツールが生成したUMLモデルから検証用のPROMELAコードを自動生成するツールを開発する.これにより,効率的なソフトウェア設計を可能とする.
- 2013-03-06
著者
関連論文
- 分散型組み込み制御システムのための分散リアルタイムOS (ディペンダブルコンピューティング)
- 分散型組み込み制御システムのための分散リアルタイムOS (コンピュータシステム)
- 4L-2 静的構造モデリングのためのアスペクト指向設計環境(要求定義とプログラミング言語・設計・実装,学生セッション,ソフトウェア科学・工学)
- 1L-6 組み込みシステムのためのアスペクト指向に基づくコンフィギュレーション(組込みとネットワーク,学生セッション,アーキテクチャ)
- 1L-4 組み込みシステム向けのダイナミックリンク手法に関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- モデルレベルでの織り込みを実現するアスペクト指向設計環境(学生セッション A_モデル指向(1))
- 組み込み制御ソフトウェアのアスペクト指向に基づく開発法(組み込みシステム)
- BattailのSOVAに対する精密化について(符号理論)
- 4A-3 パーソナルコンピュータの元気化によるライフサイクル延長について(省電力と高信頼技術,一般セッション,アーキテクチャ)
- 時間駆動処理とイベント駆動処理が共存する組み込み制御システムのための分散処理環境
- D-6-7 RMを基にしたリアルタイムスケジューリングアルゴリズムの分析(D-6.コンピュータシステムC,一般セッション)
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 組み込み制御ソフトウェア開発のためのSimulink・UMLモデル変換ツール
- オブジェクト指向組み込み制御システムのモデルベース開発法(分析・設計技法)
- Clock Gatingに基づいたGALS型システムにおける回路性能を考慮したインタフェースの構成法(計算機システム)
- 5N-2 応答時間を短縮した時間駆動分散処理ミドルウェア(組み込みシステム,学生セッション,アーキテクチャ)
- 3-219 大学情報系学科における組込みソフトウェア教育の実践と課題(オーガナイズドセッション「企業における技術者継続教育-日本を強くする組込みシステム教育のあり方-」,口頭発表論文)
- 組み込み制御ソフトウェア開発のための Simulink・UML モデル変換ツール
- 5L-1 フラッシュROM上で動作する組み込みOSの動的更新方法(組込みOS,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2T-2 排他的な処理を含むSTGに対するCSC Conflictの因果関係追加による解消手法について(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 1Q-1 組み込み制御ソフトウェア開発のためのSimulinkモデルからUMLモデルへの変換ツール(開発環境・開発支援,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
- 6L-5 仮想化技術を用いたセキュアクライアントの提案(仮想化技術(2),学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- 分散型組み込み制御システムのための分散リアルタイムOS
- プログラムの動作を可視化する教育用プログラミング言語環境の提案
- 2T-1 束データ方式のデータパス回路に適した非同期式制御回路の一設計手法(論理・物理設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 5N-1 時分割スケジューリング機能を有する時間駆動アーキテクチャ向けリアルタイムOS(組み込みシステム,学生セッション,アーキテクチャ)
- プログラムの動作を可視化する教育用プログラミング言語環境の提案 (技術と社会・倫理)
- 3L-2 GALS型システムにおける効率的なインタフェースの一構成法(論理・物理設計技術,学生セッション,アーキテクチャ)
- 2R-3 組み込みシステム向けエージェントフレームワーク(マルチエージェント(2),学生セッション,人工知能と認知科学)
- 1L-3 動的更新が可能な組み込みOSに関する研究(組込みとネットワーク,学生セッション,アーキテクチャ)
- 6K-2 SMTプロセッサにおける軸タスク分割を考慮したスケジューリングアルゴリズム(プロセッサと可視化,学生セッション,アーキテクチャ)
- 5U-9 アドホックネットワーク向け分散オブジェクトネーミングサービス(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 5U-8 無線LAN環境向け分散オブジェクト基盤(センサネットワーク運用・制御,学生セッション,ネットワーク)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- 時間駆動とイベント駆動が混在する組み込み制御システムのための分散処理環境(OS・ミドルウェア,組込技術とネットワークに関するワークショップETNET2008)
- デ-06 プログラム知識が無くても内容を作ることができる教材(デモセッション,コンピュータと人間社会)
- 4Z-2 複数経路を利用し通信の品質を保つアドホックルーティングプロトコル(アドホックネットワーク,学生セッション,ネットワーク)
- 3V-4 リソースに制限のある組み込みシステムのためのエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学)
- 3T-9 手持ちの材料だけを使って調理できる料理レシピをWebから検索するシステム(センサデータベースとコンテンツ,学生セッション,データベースとメディア)
- 2ZC-7 DHTを用いたWeb情報共有手法(P2P,学生セッション,ネットワーク,情報処理学会創立50周年記念)
- 1V-6 組み込みシステム向けマルチエージェントフレームワーク(マルチエージェント(1),学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
- 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案 (ソフトウェアサイエンス)
- 5N-3 時間駆動ネットワークを導入した組み込み制御システム向け分散オブジェクト環境(組み込みシステム,学生セッション,アーキテクチャ)
- アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案 (ソフトウェアサイエンス)
- RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案 (ソフトウェアサイエンス)
- 組み込み制御システム向け時間駆動分散オブジェクト環境(OSとネットワーク,組込みシステム工学)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境(組込みシステム開発環境)
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 組込み制御システム向け時間駆動分散オブジェクト環境
- 教材配信の場としてのblogの活用
- D-6-15 RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- D-6-16 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案(D-6.コンピュータシステムC(ソフトウェア),一般セッション)
- アスペクト指向プログラミングによる組込みOSのカスタマイズ手法の提案
- RMに基づいたマルチプロセッサ用プリエンプション低減リアルタイムスケジューリングアルゴリズムの提案
- 利用率をベースにしたリアルタイムスケジューリングアルゴリズムの提案
- 自動車ネットワークの進化を支える半導体 (特集 ネットワーク時代を支える半導体)
- 振る舞いモデル生成機能を持つSimulink・UMLモデル変換ツール
- 組み込み制御システムのためのオブジェクト指向コード生成ツール(組込ソフトウェア開発手法)
- 位置透過性のあるシステムコールを有する組込み制御システム向け分散リアルタイムOS
- RMに基づいたリアルタイムスケジューリングアルゴリズムの提案と可能性解析(ソフトウェアシステム)
- 位置透過性のあるシステムコールを有する組み込み制御システム向け分散リアルタイムOS
- SimulinkモデルとUMLモデルを用いた組み込み制御ソフトウェア開発のためのモデル変換環境
- RMに基づいたリアルタイムスケジューリングアルゴリズムの提案と可能性解析
- C-022 アスペクト指向による時間駆動分散処理の実現(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- C-021 組込み制御システム向け分散リアルタイムOSのコンフィギュレーション環境(組込みシステム,C分野:ハードウェア・アーキテクチャ)
- アスペクト指向による組込みOSスケジューラのカスタマイズ(スケジューリング・省電力,組込み技術とネットワークに関するワークショップETNET2013)
- アスペクト指向による組込みOSスケジューラのカスタマイズ(スケジューリング・省電力,組込み技術とネットワークに関するワークショップETNET2013)
- モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法(組込みシステム,組込み技術とネットワークに関するワークショップETNET2013)
- 分散共有メモリ機構を持つ組み込み制御システム向け分散リアルタイムOS(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
- 分散共有メモリ機構を持つ組み込み制御システム向け分散リアルタイムOS(リアルタイムオペレーティングシステム,組込み技術とネットワークに関するワークショップETNET2013)
- モデル変換と振る舞い検証を活用した組み込み制御ソフトウェア設計法(組込みシステム,組込み技術とネットワークに関するワークショップETNET2013)