組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)

スポンサーリンク

概要

• 論文の詳細を見る
• 2010-03-26

著者

• 久住 憲嗣

  九州大学システムlsi研究センター

• 小野 康一

  日本アイ・ビー・エム株式会社東京基礎研究所

関連論文

• IBMプロフェッショナル論文 組み込みシステムのアーキテクチャー設計と性能評価のためのモデル・ベース手法
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (ディペンダブルコンピューティング)
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価 (コンピュータシステム)
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (ディペンダブルコンピューティング)
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価 (コンピュータシステム)
• ドメイン特化型開発における自動化テストプロセスの提案 (ディペンダブルコンピューティング)
• ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
• OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
• OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
• フィーチャモデル自動描画アルゴリズムの提案と実装
• 時間/機能制約による仕様に対する実行可能なUML/SysMLモデルの動的検査手法
• 特集「組込みシステム工学」の編集にあたって
• 動的解析による Web アプリケーション・モデル抽出支援手法(情報システム開発の支援環境と手法)(情報システム論文)
• シリコンシーベルト福岡のシステムLSI設計人材育成 : 社会人教育
• モデル駆動型開発に基づくSOAのセキュリティ開発プロセス
• モデル駆動型開発に基づくセキュリティ設定 : Webサービスのための認証設定(モデル指向(一般セッション))
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 携帯端末用Webページから通常端末用ページを構成する手法 : Webページのモデル化とその評価
• 多種端末向けWebコンテンツ適用のための変換方式とオーサリングツール (2000年情報学シンポジウム--ネットワーク型情報メディアの活用と情報を活かす新技術) -- (セッション6:情報の可視化)
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• セーフティクリティカルシステムのプロダクトラインにおけるNバージョンプログラミングの導入
• フィーチャモデル自動描画アルゴリズムの提案と実装
• システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
• 移動エージェントAgletsのセキュリティ・モデル(特集●インターネット)
• OSから解析可能な無線通信端末の消費電力モデルとその生成手法(消費電力,組込技術とネットワークに関するワークショップETNET2009)
• OSから解析可能な無線通信端末の消費電力モデルとその生成手法(省エネ,組込技術とネットワークに関するワークショップETNET2009)
• 4K-5 行動認識アプリケーション向けドメイン特化型言語の提案(情報爆発時代におけるライフログ・センサー処理,一般セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会)
• B-017 時間制約を持つ仕様に対するUML/SysMLモデルの動的検査手法(B分野:ソフトウェア,一般論文)
• RB-002 MARTEプロファイルを適用したUMLモデルによる組込みシステムの性能評価シミュレーション(B分野:ソフトウェア,査読付き論文)
• Android携帯端末アプリケーション向け消費電力プロファイリング手法 (ディペンダブルコンピューティング)
• Android携帯端末アプリケーション向け消費電力プロファイリング手法 (コンピュータシステム)
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
• ドメイン特化型開発における自動化テストプロセスの提案
• ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (ディペンダブルコンピューティング)
• 放送による車載機器向けソフトウェア差分更新方式 (ディペンダブルコンピューティング)
• 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (ディペンダブルコンピューティング)
• 次世代アーキテクチャ分析のための性能解析モデリング手法の提案 (コンピュータシステム)
• ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案 (コンピュータシステム)
• 放送による車載機器向けソフトウェア差分更新方式 (コンピュータシステム)
• ウェアラブル/移動情報端末におけるコンテキスト指向プロセス管理
• ウェアラブル/移動情報端末におけるコンテキスト指向プロセス管理
• Android携帯端末アプリケーション向け消費電力プロファイリング手法
• Android携帯端末アプリケーション向け消費電力プロファイリング手法
• ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
• ドメイン特化型開発における網羅性を考慮したテストケース削減手法の提案
• 放送による車載機器向けソフトウェア差分更新方式
• 放送による車載機器向けソフトウェア差分更新方式
• 性能と信頼性を考慮したコンテキストアウェアミドルウェアCAMPUS(位置情報・コンテキスト依存サービスII)
• 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
• 次世代アーキテクチャ分析のための性能解析モデリング手法の提案
• プロジェクトファシリテーションツールを活用した初学者向けソフトウェア開発PBL
• 飛行船自動航行システム開発におけるSysMLを用いたプロセス改善事例
• 2122 SysMLによる製品システムモデルの検証ツール(OS6-1 モデル駆動型の製品システム開発,OS6 モデル駆動型の製品システム開発)
• SysMLを用いたシステム開発における制約の充足可能性検証
• SysMLを用いたシステム開発における制約の充足可能性検証
• 自動モノリシック化機能を持つ組込み向けマイクロカーネル構成オペレーティングシステム(システムソフトウェアの新しい潮流)
• 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
• 組込向けマイクロカーネルOS Lambdaのメモリ管理機構の実装
• 組み込み用マイクロカーネルOS lambda
• 組み込み用マイクロカーネルOS lambda
• SysMLを用いたシステム開発における制約の充足可能性検証 (ディペンダブルコンピューティング・組込み技術とネットワークに関するワークショップETNET2012)
• SysMLを用いたシステム開発における制約の充足可能性検証 (コンピュータシステム・組込み技術とネットワークに関するワークショップETNET2012)
• UMLモデリング教育におけるモデル駆動開発ツールの利用方法の検討
• 組込みソフトウェアの動的振舞いによるシステム性能の評価手法
• 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
• GPS/QZSS測位の精度改善のための一手法
• 派生開発からプロダクトライン開発への漸次的移行プロセスXDDP4SPLにおけるコア資産管理手法
• GPS/QZSS測位の精度改善のための一手法
• SysMLを用いたシステム開発における制約の充足可能性検証(組込みシステム開発手法,組込み技術とネットワークに関するワークショップETNET2012)
• SysMLを用いたシステム開発における制約の充足可能性検証(組込みシステム開発手法,組込み技術とネットワークに関するワークショップETNET2012)
• GPGPUを用いたリポジトリマイニングのための外部ドメイン専用言語QORALの提案
• 派生開発方法論XDDPからのプロダクトライン開発導入
• リポジトリマイニング向けドメイン専用言語の設計と実装
• ソフトウェアFMEAの一手法とプロダクトライン開発におけるその利用
• ソフトウェアプロダクトライン国際会議(SPLC2013)参加報告
• Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)
• Alloyによるリポジトリマイニング向けドメイン専用言語の構築支援(一般)
• リポジトリマイニングの進化に対応した分析ツールE-CUBEの構築
• オブジェクト指向モデリング教育におけるモデル駆動開発ツールの活用方法の検討
• オブジェクト指向モデリング教育におけるモデル駆動開発ツールの活用方法の検討
• Androidアプリケーションの運用時消費電力分析(プログラム解析と開発支援)

もっと見る 閉じる

スポンサーリンク