組込みシステムにおけるリソーススケジューリング設計・検査手法とツール(ソフトウェア工学)
スポンサーリンク
概要
- 論文の詳細を見る
分散化された組込みシステムにおけるリソーススケジューリング設計・検査手法とツールを提案する.本提案手法は,タイミング図を拡張した表記法で設計を行い,その成果物であるリソーススケジュールモデルから時間付きオートマトンモデルに変換し,モデル検査でリソーススケジューリングの検証を行うものである.更に本提案手法を実現するツールを開発した.本ツールは,リソーススケジュールモデルから時間付きオートマトンモデルに自動変換する機能と,モデル検査のための時相論理式を自動生成する機能を有する.本ツールの有効性を,実際の組込みシステムのリソーススケジューリング問題で実験し,評価した.その結果,最大で160分の1に検証工数を削減できた.また,検証の際に必要とするモデル検査の学習時間を最大240分の1に削減できた.
- 2007-03-01
著者
-
福田 晃
九州大学大学院システム情報科学研究院
-
福田 晃
九州大学大学院システム情報科学府・研究院
-
渡辺 政彦
九州大学大学院システム情報科学研究院情報工学部門
-
松本 充広
九州大学大学院システム情報科学研究院情報工学部門
-
細谷 伊知郎
トヨタ自動車株式会社
-
城戸 滋之
トヨタ自動車株式会社
-
松本 充広
九州大学大学院システム情報科学研究院情報工学部門:福岡県産業・科学技術振興財団福岡知的クラスター研究所
-
渡辺 政彦
キャッツ株式会社
-
城戸 滋之
トヨタ自動車
-
福田 晃
九州大学大学院システム情報学府・研究院
関連論文
- 無線可視領域通信を支援する相対位置情報を利用した名前解決ミドルウェア(ネットワークミドルウェア・エミュレータ,ネットワークを支えるソフトウェア技術論文)
- 技術展示 ネットワーク連携コンテキストアウェア日本語入力支援システムの実装 (ユビキタス・センサネットワーク)
- 技術展示 ネットワーク連携コンテキストアウェア日本語入力支援システムの実装 (モバイルマルチメディア通信)
- 物理ネットワーク負荷に適応したP2Pネットワークトポロジー制御(ネットワーク)
- 無線LAN位置推定における誤差補正手法の一検討(Work in Progress,ワイヤレス環境でのアプリケーション品質,P2P/アドホックネットワーク,画像符号化,ストリーム技術,信頼性,一般)
- P-1-556 肝切除術後早期に出現した多発残肝再発に対しTS-1でCRを得た肝細胞癌の一例(肝 悪性2,一般演題(ポスター),第63回日本消化器外科学会総会)
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- V-1-63 全胃幽門輪温存膵頭十二指腸切除術後胃排泄遅延におけるストレート法の有用性の検討(膵1 PPPD,一般演題(ビデオ),第62回日本消化器外科学会定期学術総会)
- VW-2-1 膵頭十二指腸切除における門脈・上腸間膜静脈合併切除再建の工夫(ビデオワークショップ2 消化器外科手術における血行再建の工夫と合併症対策,第62回日本消化器外科学会定期学術総会)
- 膵空腸吻合no stent法の適応と結果 (特集 膵頭十二指腸切除術(PD)をめぐる諸問題) -- (膵空腸吻合)
- 無線LAN環境における主成分分析を用いたハイブリッド位置推定手法(ユビキタス・モバイル,システム開発論文)
- 無線LAN位置推定システムにおける正準相関分析を用いたデバイス適応手法(ユビキタス・モバイル,システム開発論文)
- B-15-9 地理情報システムのためのキャッシュデータの確率的な無効化を実現する放送型プロトコル(B-15.モバイルマルチメディア通信,一般セッション)
- 地理情報のデータ構造を考慮した放送型キャッシュデータ無効化プロトコル(移動通信ワークショップ)
- ユビキタス環境におけるキャッシュ一貫性管理プロトコル(モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- ユビキタス環境におけるキャッシュ一貫性管理プロトコル(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- 一時的なサービス利用を考慮したUI配布型機器連携アーキテクチャの提案(セッション3:慶應義塾大学)
- Twitterにおけるコンテキストと単語の相関関係分析 (ディペンダブルコンピューティング)
- Twitterにおけるコンテキストと単語の相関関係分析 (コンピュータシステム)
- B-018 MPI-HMMERのグリッド向けスケジューリング(B.ソフトウェア)
- B-006 Grid環境における情報管理サービスの検討(B.ソフトウェア)
- B-002 環境適応型スケジューリング実現方式の検討(B.ソフトウェア)
- Grid環境における適応型スケジューリングの検討(EVA-2 : 性能改善)(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- OBIGridにおけるHMMER高速化の検討
- Grid環境における簡易ジョブマネージャの試作と評価
- ゲノムアプリケーションInterProScanのスケジューリング機能の検討(EVA-1:科学技術計算アプリケーションの評価,2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- Grid環境におけるHMMER実行方式の検討(EVA-1:科学技術計算アプリケーションの評価,2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 相対位置情報を利用した無線可視領域における通信を支援する名前解決ミドルウェアの設計と評価(ホームネットワーク,ユビキタスネットワーク,コンテキストアウェア,eコマース及び一般)
- WiPS : 無線LAN機器を用いた位置測定システム(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 膵仮性嚢胞消化管吻合 (最新 肝胆膵手術アトラス) -- (膵臓)
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- WS-7-05 膵IPMN(Intraductal papillary-mucinous neoplasm)に対する診断と外科治療の適応(ワークショップ7 : 膵のIPMTの診断と手術適応)
- PD-5-02 小膵癌に対する診断と手術成績の検討(パネルディスカッション5 : 小膵癌に対する診断と治療)
- 無線LANを用いた位置推定システムのためのデバイス正規化手法(位置推定)
- ソフトウェアアーキテクチャ事前設計を目的とするフィーチャモデルのガイドラインとアンチパターン
- 無線伝送路の可逆性を用いた小型携帯端末のための共有情報生成方式の提案(DPS/MBL合同セッション センサネットワーク)
- 無線メッシュネットワーク上の測位システムにおける観測データ集約による通信量削減手法の提案 (モバイルマルチメディア通信)
- 無線メッシュネットワーク上の測位システムにおける観測データ集約による通信量削減手法の提案(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信及び一般)
- ネットワーク連携コンテキストアウェア日本語入力支援システムの実装(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 組込みシステムにおけるリソーススケジューリング設計・検査手法とツール(ソフトウェア工学)
- RASを用いたソフトウェアプロダクトライン開発資産表現
- ネットワークを用いたコンテキストアウェア日本語入力支援システムの提案(モバイル,アドホック,ユビキタス,無線,セキュリティ,マルチアクセス,アクセスネットワーク・User Network Interface,Homeネットワーク,一般)
- ホームネットワークのためのセンサ連携を支援するイベント駆動フレームワーク(ネットワーク,システム開発・ソフトウェア開発論文)
- フィーチャモデル自動描画アルゴリズムの提案と実装
- 相対位置情報を利用した名前解決ミドルウェアのための負荷分散手法の評価(モバイルコンピューティング、モバイルアプリケーション、ユビキタス通信、モバイルマルチメディア通信)
- B-15-10 無線LANを用いた位置推定システムにおける推定結果補正手法の評価(B-15.モバイルマルチメディア通信,一般セッション)
- B-15-1 無線可視領域ネットワークのための端末相互認証手法における視覚情報の効果(B-15.モバイルマルチメディア通信,一般セッション)
- 無線可視領域ネットワークにおける端末相互認証手法の評価(移動通信ワークショップ)
- 2.八千代医療センターにおける緩和ケアグループ導入の現状と課題(一般演題,第30回東京女子医科大学在宅医療研究会)
- 消化器病センターの緩和ケアに対する取り組みと大学病院としての緩和ケア(シンポジウム,緩和医療,第72回東京女子医科大学学会総会)
- B-15-9 指向性無線LANの信号強度ピーク値を用いた被写体方向推定手法(B-15.モバイルマルチメディア通信,一般セッション)
- B-15-18 ネットワーク連携コンテキストアウェアIMEの高速化手法(B-15.モバイルマルチメディア通信,一般セッション)
- アドホックネットワークにおけるコンテキストアウェアメッセージ交換システムのキャッシング方式の検討
- B-15-8 赤外線リモコンを用いた直感的な機器選択補助手法の検討(B-15.モバイルマルチメディア通信,一般セッション)
- マルチパスの伝送路特性に基づく共有情報生成方式の認証への応用(学生セッション)
- 無線メッシュネットワークにおける端末位置推定のためのチャネル割当方式の提案(学生セッション)
- Twitter分析に基づく位置依存文字列の抽出
- Twitterにおけるコンテキストと単語の相関関係分析
- Twitterにおけるコンテキストと単語の相関関係分析
- Twitterにおけるコンテキストと単語の相関関係分析
- Twitterにおけるコンテキストと単語の相関関係分析
- 地域情報共有システムwikiLocationにおける誤推定の局所性に着目した測位結果補正手法の提案(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- ユビキタス環境におけるキャッシュ一貫性管理プロトコル(学生特別セッション,モバイルマルチメディアアプリケーション,モバイルP2P,画像符号化,ストリーム技術)
- B-15-25 メッシュネットワーク上での位置推定のための通信量削減手法(B-15.モバイルマルチメディア通信,一般セッション)
- B-15-18 建物の構造を考慮した屋内位置推定手法の一検討(B-15.モバイルマルチメディア通信,一般セッション)
- B-15-11 無線LAN位置推定におけるプローブ要求のフィルタリング手法(B-15.モバイルマルチメディア通信,一般セッション)
- 九州大学における先導的PBL教育の評価分析
- シリコンシーベルト福岡のシステムLSI設計人材育成 : 社会人教育
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- Grid環境における簡易ジョブマネージャの試作と評価
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- 行動認識アプリケーション向けドメイン特化型言語LOARAの設計と評価
- ドメイン特化型開発における自動化テストプロセスの提案
- セーフティクリティカルシステムのプロダクトラインにおけるNバージョンプログラミングの導入
- フィーチャモデル自動描画アルゴリズムの提案と実装
- システムLSI設計人材養成実践プログラムQUBEにおけるETSSの活用
- Twitter 分析に基づく位置依存文字列の抽出
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 組込みソフトウェアにおける実行トレースに基づく捨象モデリングツールの実装と評価
- 無線LANの指向性アンテナを利用した被写体方向推定の検討
- 無線LANの指向性アンテナを利用した被写体方向推定の検討
- アドホックネットワークルーテイングプロトコルの音声通信性能の検証(セッション4A : アドホックネットワーク)(ユビキタスモバイルサービス)
- Twitter におけるコンテキストと単語の相関関係分析
- Twitter におけるコンテキストと単語の相関関係分析
- Twitter におけるコンテキストと単語の相関関係分析
- Twitter におけるコンテキストと単語の相関関係分析
- ネットワーク連携コンテキストアウェア日本語入力支援システムの実装(モバイル P2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- 可変構造型並列計算機のキャッシュ・アーキテクチャ : キャッシュ構成およびキャッシュ内コヒーレンス処理
- 可変構造型並列計算機のキャッシュの単体性能評価