組込みソフトウェアの動的振舞いによるシステム性能の評価手法
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,リバースモデリング手法とモデル・シミュレーションを組み合わせることで,ソフトウェアの動的な振舞いに基づいて組込みシステムの性能を評価する手法を提案する.組込みシステムに搭載するソフトウェアはシステム全体の性能に大きな影響を及ぼす.そのためソフトウェア開発の上流工程であるアーキテクチャ設計において,組込みシステムの性能を評価することは重要である.しかしソフトウェア設計が詳細化されていない上流工程において組込みシステムの性能を評価する有効な手段が確立していないことが問題である.そこで組込みシステムの性能に強い影響を及ぼすソフトウェアの動的な振舞いに着目する.リバースモデリング手法によりソフトウェアの動的な振舞いを表すモデルを作成する.上流工程における組込みシステムのハードウェア要素と,ソフトウェア要素の構成やソフトウェアのアーキテクチャは,UMLを用いて高い抽象度で表現する.これらのモデルを用いたモデル・シミュレーションにより組込みシステムの性能を評価する.本手法を実際の組込みシステムであるマルチ・ファンクション・プリンタ製品に適用した.シミュレーションによる性能評価の結果と,実システムの測定値が同様の傾向を示すことから,本手法が組込みシステム開発の上流工程における性能評価に有効であることを確認した.
- 2012-12-15
著者
-
安浦 寛人
九州大学
-
小野 康一
日本アイ・ビー・エム株式会社 東京基礎研究所
-
中田 武男
日本アイ・ビー・エム株式会社
-
小野 康一
日本アイ・ビー・エム株式会社東京基礎研究所
-
坂本 佳史
日本アイ・ビー・エム
-
坂本 佳史
日本アイ・ビー・エム株式会社グローバルビジネスサービス組込みソフトウェア・コンサルティング
-
中田 武男
日本アイ・ビー・エム
-
坂本 佳史
九州大学大学院システム情報科学府
関連論文
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- IBMプロフェッショナル論文 組み込みシステムのアーキテクチャー設計と性能評価のためのモデル・ベース手法
- メディア処理向けカスタムプロセッサにおける復合処理命令拡張の検討 (集積回路)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (コンピュータシステム)
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- Non-uniform Selective Way Cacheの動的制御による組込みプロセッサの省エネルギー化(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- Non-uniform Selective Way Cacheの動的制御による組込みプロセッサの省エネルギー化(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- アスペクト指向技術の適用によるドメインフレームワークのモジュール性向上(オブジェクト指向とWeb技術)
- アスペクト指向の導入によるフレームワークの理解容易性の向上(組込みソフトウェア工学及び一般)
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- 携帯端末用Webページから通常端末用ページを構成する手法--Webページのモデル化とその評価 (ソフトウェアサイエンス)
- C-12-9 ゲーテッドフリップフロップの多ビット結合によるレジスタの低電力化(C-12.集積回路,一般セッション)
- AS-2-5 90nm CMOS回路における遅延及び電力ばらつきの実測(AS-2. ASPLA 90nmを用いたVLSIの研究開発,シンポジウム)
- D-11-73 レイトレーシングハードウェアのための交差判定器の計算精度に関する一考察
- シングルサイクルアクセス可能な二階層キャッシュアーキテクチャ(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- シングルサイクルアクセス可能な二階層キャッシュアーキテクチャ(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- BOPに向けたビジネス戦略(2025年半導体デバイスの進化予測,デザインガイア2008-VLSI設計の新しい大地)
- 情報技術と社会の関係の再構築 (情報技術の新時代に向けて)
- ハードウェア/ソフトウェア・コデザイン : ソフトコアプロセッサによるシステム設計
- 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
- 動的解析による Web アプリケーション・モデル抽出支援手法(情報システム開発の支援環境と手法)(情報システム論文)
- 動的解析による Web アプリケーション・モデル抽出支援手法
- 複合機における多言語メッセージの分析と再利用手法
- RICEによる2次キャッシュメモリの性能評価
- ハードウェアキャッシュ評価システム "RICE"
- メディア処理向けカスタムプロセッサにおける復号処理命令拡張の検討
- メディア処理向けカスタムプロセッサにおける復号処理命令拡張の検討
- ページ・機能のモジュール性を高めるWebアプリケーションフレームワークの提案
- モデル駆動型開発に基づくSOAのセキュリティ開発プロセス
- モデル駆動型開発に基づくセキュリティ設定 : Webサービスのための認証設定(モデル指向(一般セッション))
- 2025年半導体デバイスの進化予測 : 集積回路研究会主催「LSIの未来を考える石垣ワークショップ」からの提言(2025年半導体デバイスの進化予測,デザインガイア2008-VLSI設計の新しい大地)
- 2025年半導体デバイスの進化予測 : 集積回路研究会主催「LSIの未来を考える石垣ワークショップ」からの提言(2025年半導体デバイスの進化予測,デザインガイア2008-VLSI設計の新しい大地)
- 情報社会に生きる小中学生のための計算機の動作原理の教育
- フラッシュ・メモリを主記憶とするシステムのためのメモリ・アーキテクチャの検討
- フラッシュ・メモリを主記憶とするシステムのためのメモリ・アーキテクチャの検討
- フラッシュ・メモリを主記憶とするシステムのためのメモリ・アーキテクチャの検討
- マイクロプロセッサにおけるアーキテクチャレベルの低消費電力化手法
- Low Power Design for IEEE 802.11 WLAN at the Medium Access Control Layer
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 携帯端末用Webページから通常端末用ページを構成する手法 : Webページのモデル化とその評価
- 多種端末向けWebコンテンツ適用のための変換方式とオーサリングツール (2000年情報学シンポジウム--ネットワーク型情報メディアの活用と情報を活かす新技術) -- (セッション6:情報の可視化)
- BOPに向けたビジネス戦略(2025年半導体デバイスの進化予測,デザインガイア2008-VLSI設計の新しい大地)
- システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
- AS-3-2 プロセッサベース組込みシステムの省エネルギー化を目的としたコード配置手法(AS-3.低消費電力設計技術とその応用,シンポジウム)
- AS-3-1 プロセスばらつきを考慮したSRAMセルの低消費電力設計手法(AS-3.低消費電力設計技術とその応用,シンポジウム)
- A-3-18 プロセッサベース組込みシステムの低消費電力化を目的としたクロックゲーティング命令に関する検討(A-3.VLSI設計技術,一般講演)
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- Non-uniform Selective Way Cacheの動的制御による組込みプロセッサの省エネルギー化(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- Non-uniform Selective Way Cacheの動的制御による組込みプロセッサの省エネルギー化(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- シングルサイクルアクセス可能な二階層キャッシュアーキテクチャ(消費電力,組込技術とネットワークに関するワークショップETNET2009)
- シングルサイクルアクセス可能な二階層キャッシュアーキテクチャ(省エネ,組込技術とネットワークに関するワークショップETNET2009)
- パーソナルコンピュータ向けキャッシュシステムに関する一考察
- 高速並列処理ワークステーション(TOP-1) : アーキテクチャ
- コンポーネント指向Webアプリケーションフレームワークにおけるモジュール性の向上のための一手法
- Model2アーキテクチャのコンポーネント間関係に基づいたWebアプリケーション開発支援
- 標準的使用法の提示によるオブジェクト指向フレームワークの対話的理解支援
- アスペクト指向の導入によるフレームワークの理解容易性の向上
- B-17 オブジェクト指向フレームワークの標準的使用法に基づく対話的理解支援(オブジェクト指向とパターン,B.ソフトウェア)
- フレームワーク製作者の意図を考慮した再構成手法
- 制約記述の導入によるフレームワークのカスタマイズ作法の提示
- 標準的実装からの逸脱度によるフレームワークの設計評価
- スライシングを用いたフレームワークの再構成支援技法
- 5ZC-5 ユーザの実装逸脱度に基づくフレームワークの設計評価メトリクス
- フレームワーク・ナビゲータ : フレームワークを用いたアプリケーション実装の支援
- 仕様記述言語ZZと実行時仕様
- ドメインモデルの形式的記述手法ならびに要求仕様獲得への活用
- プログラム変更に対する正当性検証技法と分割技法の適用
- 論理型仕様の理解支援のための一手法
- 移動エージェントAgletsのセキュリティ・モデル(特集●インターネット)
- C-9-7 ディジタルPVリンク(次世代ビデオ・インターフェース)の概要
- 高速並列処理ワークステーション(TOP-1) : 入出力システム
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- RC-011 仮想キューによる高性能ハードウエアRTOSの実現(C分野:ハードウェア・アーキテクチャ,査読付き論文)
- メディア処理向けカスタムプロセッサにおける復号処理命令拡張の検討
- B-017 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法(B分野:ソフトウェア,一般論文)
- RB-002 MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション(B分野:ソフトウェア,査読付き論文)
- RC-013 システム実時間測定のためのLosslessデータ圧縮伸張方法(ハードウェア・アーキテクチャ,査読付き論文)
- TA-1-4 システムLSI設計におけるシステムレベル最適化技術
- ノートブック型コンピュータにおける消費電力とパフォーマンスに対する外部キャッシュの劾果
- テキスト分析技術を用いた開発関連文書の文書品質の定量化 (思考と言語)
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
- オブジェクト指向に基づく分析結果とプログラムからの設計上の決定抽出
- テキスト分析技術を用いた開発関連文書の文書品質の定量化(テーマセッション)
- 2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)
- LSIの信頼性評価指標の提案
- 開発文書品質の定量化と文書校正ツールによる開発部門間の課題分析
- Ajaxアプリケーションの保守容易性計測のためのソフトウェアメトリクス
- UMLモデルからの変換によるWebアプリケーションの形式検証
- 組込みソフトウェアの動的振舞いによるシステム性能の評価手法
- UMLモデルからの変換による Web アプリケーションの形式検証
- 4.7 カナリアFF(第4章:素子特性ばらつき,ディペンダブルVLSIシステム)
- 2.3 設計自動化技術(第2章:放射線によるソフトエラー,ディペンダブルVLSIシステム)