ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
スポンサーリンク
概要
- 論文の詳細を見る
無線などの通信機能を持つデバイスを分散配置し,そのデバイスを通じてエリア内を移動する利用者の端末にサービス提供するシステムを対象に,典型的なアーキテクチャと,それに基づくシステムへの形式的手法の適用について検討する.このようなシステムでは,端末の移動に従って変化するネットワークトポロジに依存したサービスを,安定的に実現できなければならない.そこで,階層型アーキテクチャを前提とし,ソフトウェアの振る舞いに本質的な影響を及ぼすネットワークの振る舞いに着目したモデリング,検証手法について検討する.
- 2012-10-25
著者
-
沢田 篤史
南山大学情報理工学部ソフトウェア工学科
-
沢田 篤史
京都大学
-
沢田 篤史
南山大学情報理工学部
-
張 漢明
南山大学
-
張 漢明
南山大学情報理工学部
-
NAKAMURA Yukihiro
Research Organization of Science and Engineering, Ritsumeikan University
-
吉田 信明
京都高度技術研究所
-
Nakamura Yukihiro
Graduate School Of Sciences And Technology Niigata University:institute For Human Science And Biomed
-
Nakamura Yukihiro
The Department Of Communications And Computer Engineering Graduate School Of Informatics Kyoto Unive
-
中村 行宏
京都高度技術研究所
関連論文
- アスペクト指向技術を用いたORBミドルウェア開発方法(オブジェクト指向とWeb技術)
- 高速軽量なXQuery問い合わせプログラム生成系の設計と試作
- シングルタイルJPEG2000コーデックのシステム構成
- ソフトウェア工学科の誕生
- E-AoSAS++に基づく開発支援環境 : コード生成ツールの提案(組込み(学生セッション))
- E-AoSAS++に基づく開発支援環境 : 実行前検査ツールの提案(組込み(学生セッション))
- ソフトウェア工学科の誕生 : ソフトウェア工学によるソフトウェア工学教育カリキュラムの開発(開発/設計手法,報告)
- アスペクト指向に基づくソフトウェアアーキテクチャの文書化方式
- ソフトウェア工学科の設計
- データ型を考慮した軽量なXML文書処理系の自動生成(ソフトウェア開発を支援する基盤技術)
- バス帯域を考慮したHD PhotoにおけるPhoto Core Transformのハードウェアアーキテクチャ(スマートパーソナルシステム,一般)
- モデル駆動アーキテクチャに基づくホームネットワークサービスの開発支援(学生セッション A_モデル指向(1))
- 平安京ビューによるIDSデータの視覚化
- 開放型大規模ネットワークのためのIDSログ監視支援システム(不正侵入・異常検知)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- 安全なギガビットネットワークシステムKUINS-IIIの構成とセキュリティ対策(ネットワーク管理)(インターネットアーキテクチャ技術論文)
- E-AoSAS++における振舞い検証の枠組み (ソフトウェアサイエンス)
- 分散型機能協調基盤による機能連携サービス提供方法(モバイル,コンテンツ,セキュリティ,信頼性,一般)
- 特集「ソフトウェア工学」の編集にあたって
- 「ソフトウェア工学特集」のレター論文掲載開始にあたって
- 多段粒子フィルタを用いた物体認識の並列実装(スマートパーソナルシステム,一般)
- 分散協調型ホームネットワークサービス構築基盤 (ヒューマンコミュニケーション特集) -- (分散協調メディア)
- ホームネットワークサービス向けサービスシナリオ記述フレームワークのエミュレータ開発(NW性能管理, NW品質, 一般)
- 機能協調基盤ゆかりカーネルにおけるアクセス制御と振舞記述(「モバイルNWとインターネット/家電NWはどう融合するか?」【標準化(DLNA等), モバイルNW, 家電NW, 情報家電, 及び一般】)
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理
- 分散協調基盤ミドルウェア「ゆかりコア」でのメディア処理(モバイルと放送の融合時代を迎えて(1セグ放送, モバイル放送, 携帯放送融合サービス, 1セグ対応携帯端末, モバイルコンテンツと放送コンテンツの融合, マルチメディア配信, ディジタル放送受信機, および一般))
- ネットワーク家電のための機能協調型基盤ゆかりカーネル構想
- 機能協調型基盤ゆかりコアを用いた実生活支援サービス : NICTユビキタスホームへの展開と実装(システム・アプリケーション)
- 機能協調型家電ネットワーク基盤"ゆかりコア"おける環境適応型機能バインド機構
- 機能協調型家電ネットワークのためのサービスシナリオ記述方式(ミドルウェア・組込み)
- ゆかりコア : ネットワーク家電のための分散協調型サービス構築基盤
- 実時間歩行者認識に向けたHOG特徴抽出のハードウェア実装(スマートパーソナルシステム,一般)
- On the Job Learning : 産学連携による新しいソフトウェア工学教育手法
- 並列ベクトル計算機VPP上のHPFの性能評価
- 並列ベクトル計算機VPP上のHPFの性能評価
- 食材に視覚的特徴変化を生じさせる加工における食材と加工動作の同時認識(画像・映像処理)
- 歩行時の両足床反力を用いた個人識別(パターン認識)
- D-12-27 個人識別のためのフットステップ情報利用の検討(D-12. パターン認識・メディア理解, 情報・システム2)
- 組込みソフトウェアシンポジウム2004報告(ソフトウェア工学の動向報告)
- 階層分割に基づく組込みソフトウェアの振舞い検証の支援について
- メディアストリーミングにおける高速移動通信網に適した動的符号化レート制御手法
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- ウィンターワークショップ2006・イン・鴨川参加報告
- E-AoSAS++における振舞い検証の枠組み
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- デザインパターンを用いたCDIツールのアーキテクチャとその実現
- 非同期式設計によるFPGA向けIEEE754準拠単精度浮動小数点除算器(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 非同期式設計によるFPGA向けIEEE754準拠単精度浮動小数点除算器(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 非同期式設計によるFPGA向けIEEE754準拠単精度浮動小数点除算器(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 組込みソフトウェアの仕様モデルとアーキテクチャの関係に関する考察
- 遅延パーサを用いた軽量なXQuery処理系
- ウィンターワークショップ2005イン・伊豆参加報告(ソフトウェア工学の動向報告)
- A-16-13 グラフィックデザインミーティング映像に対するインデキシングのための操作認識(A-16. マルチメディア・仮想環境基礎)
- An Asynchronous IEEE-754-standard Single-precision Floating-point Divider for FPGA
- Automatic filter design for 3-D sound movement in embedded applications
- Efficient 3-D Sound Movement with Time-Varying IIR Filters(Speech/Audio Processing,Multimedia and Mobile Signal Processing)
- VDM-SLによるソフトウェアアーキテクチャの記述法
- Web情報システムのソフトウェアアーキテクチャ
- A-16-9 分散型機能協調基盤上の家電・センサ機能単位化およびその統合(A-16. マルチメディア・仮想環境基礎)
- 単機能分散型ネットワークドアプライアンスアーキテクチャにおける統合サービス記述の検討
- Hardware Accelerator for Run-Time Learning Adopted in Object Recognition with Cascade Particle Filter
- Efficient Memory Organization Framework for JPEG2000 Entropy Codec
- Design Tools and Trial Designs for PCA-Chip2
- Autonomous Repair Fault Tolerant Dynamic Reconfigurable Device
- A Simulation Platform for Designing Cell-Array-Based Self-Reconfigurable Architecture(Selected Papers from the 19th Workshop on Circuits and Systems in Karuizawa)
- Fault Tolerant Dynamic Reconfigurable Device Based on EDAC with Rollback(VLSI Architecture,VLSI Design and CAD Algorithms)
- An Integrated Approach of Variable Ordering and Logic Mapping into LUT-Array-Based PLD(Selected Papers from the 17th Workshop on Circuits and Systems in Karuizawa)
- LUT-Array-Based PLD and Synthesis Approach Based on Sum of Generalized Complex Terms Expression(Special Section on VLSI Design and CAD Algorithms)
- 観測データに基づく生産加工活動認識のための物体・操作・目的情報の統合利用(テーマセッション(3))(ユビキタスコンピューティングのためのパターン認識・理解)
- A-16-17 食材加工過程の認識のための食材の視覚的特徴変化と可能な調理操作に関する知識の利用(A-16. マルチメディア・仮想環境基礎)
- 情報相分割に基づくユーザインタフェース設計
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- リポジトリを利用した設計情報の変化の分析と発展支援
- 操作情報を中心としたユーザインタフェース設計法
- Design of Realtime 3-D Sound Processing System(Cyberworlds)
- 複雑な信号処理を伴う制御アプリケーションを容易に実現するためのプラットフォームの試作(スマートパーソナルシステム,一般)
- HTML要素の状態を考慮したCSSの拡張方法の提案(研究速報)
- パターンに基づくCSP記述の検査に関する考察
- パターンに基づくCSP記述の検査に関する考察 (ソフトウェアサイエンス)
- 属性付き字句系列に基づくソースコード書き換え支援環境
- 並行システム記述におけるフォールトパターンに関する考察
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討
- ソフトウェア進化研究の分類と動向
- 前処理前プログラムに対する記号表の構成手法
- SOAに基づくシステムのためのアプリケーションプラットフォームのプロダクトライン化に関する研究
- アーキテクチャ指向開発における形式手法の適用に関する考察
- アーキテクチャ指向開発における形式手法の適用に関する考察
- ソフトウェア進化研究に関する動向調査 : IWPSEシリーズを題材に
- 多段粒子フィルタを用いた物体認識の並列実装
- バス帯域を考慮したHD Photo における Photo Core Transform のハードウェアアーキテクチャ
- ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討(検証と品質,ソフトウェアサイエンス、理論)
- 並行システム記述におけるフォールトパターンに関する考察(検証と品質,ソフトウェアサイエンス、理論)
- SOAアプリケーションプラットフォームのプロダクトライン化
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- アーキテクチャ指向開発における形式手法の適用に関する考察(組込みソフトウェア開発,組込み技術とネットワークに関するワークショップETNET2013)
- ソフトウェア進化研究に関する動向調査IWPSEシリーズを題材に
- VDM-SLによるソフトウェアアーキテクチャの記述法
- コンパイル方式による高速軽量なXQuery問い合わせプログラム生成系の設計と実現