• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2006 年度 実績報告書

情報爆発に対応する高度にスケーラブルでセキュアなソフトウェア構成・更新方式

計画研究

研究領域情報爆発時代に向けた新しいIT基盤技術の研究
研究課題/領域番号 18049027
研究機関東京工業大学

研究代表者

柴山 悦哉  東京工業大学, 大学院・情報理工学研究科, 教授 (80162642)

研究分担者 渡部 卓雄  東京工業大学, 大学院・情報理工学研究科, 助教授 (20222408)
千葉 滋  東京工業大学, 大学院・情報理工学研究科, 助教授 (80282713)
河野 健二  慶應義塾大学, 理工学部, 助教授 (90301118)
キーワードソフトウェア検証 / アスペクト指向 / 開発環境 / テスト自動化 / オーバレイネットワーク / クラスタ / インターネット
研究概要

本年度は,以下の4つの課題に取り組んだ.
スケーラブルなソフトウェア検証:情報爆発時代の非均質かつ大規模な計算環境で稼働するソフトウェアの検証を行うためには,その信頼性や安全性に関する複雑な仕様を記述する必要がある.そこで,この仕様記述の爆発に対応するために,アスペクト指向の考え方を取り入れた仕様記述方式を提案し,記述実験により有効性の予備的な評価を行った.
スケーラブルなソフトウェアの開発環境:ソフトウェアの信頼性向上のためにテストの自動化は重要であるが,高度にスケーラブルな分散ソフトウェアを対象としたテスト自動化ツールは,未開拓の研究領域である.そこで,分散型アスペクトを動的に切り替えてテスト支援を行う方式を提案した.そして,実際に,分散クラスタ型実験環境InTrigger上での動作確認を行った.
スケーラブルなオーバレイネットワークを用いた情報集約方式:スケーラブルな分散ソフトウェアが実行時に生成する大量の情報を,効率的に集約するためのアルゴリズムに関する研究を行った.これは,オーバレイネットワークのルーティング径路に沿った形でリダクションネットワークを構築し,柔軟かつ効率的な情報集約を実現するものである.シミュレータおよび分散クラスタ上での予備実験により有効性の確認を行った.
スケーラブルなインターネット・エミュレータ:高度にスケーラブルな分散ソフトウェアの設計および性能予測に利用可能なエミュレーション環境の構築を目指し,オーバレイネットワークを念頭においた調査活動と概念設計を行った.その結果,ネットワークの遅延や実効帯域などの性能予測に大きな影響を与える要素のみをエミュレーションの対象とする設計方針を考案するにいたった.

  • 研究成果

    (5件)

すべて 2007 2006

すべて 雑誌論文 (5件)

  • [雑誌論文] 組込みシステム向けマルチコア・プロセッサのためのソフトウェア開発支援2007

    • 著者名/発表者名
      高橋清隆, 柴山悦哉
    • 雑誌名

      情報処理学会論文誌 : プログラミング 48・SIG 4

      ページ: 27-47

  • [雑誌論文] An Aspect-Oriented Approach to Modular Behavioral Specifications2006

    • 著者名/発表者名
      Kiyoshi Yamada, Takuo Watanabe
    • 雑誌名

      Electronic Notes in Theoretical Computer Science 163・1

      ページ: 45-56

  • [雑誌論文] Run Time Detection of Covert Channels2006

    • 著者名/発表者名
      Naoyuki Nagatou, Takuo Watanabe
    • 雑誌名

      International Symposium on Frontiers in Availability, Reliability and Security

      ページ: 577-584

  • [雑誌論文] Program Transformation with Reflection and Aspect-Oriented Programming2006

    • 著者名/発表者名
      Shigeru Chiba
    • 雑誌名

      Generative and Transformational Techniques in Software Engineering, Lecture Notes in Computer Science 4143

      ページ: 65-94

  • [雑誌論文] Software Fault Injectionを用いた開発時テスト支援環境2006

    • 著者名/発表者名
      黒田滋樹, 柴山悦哉
    • 雑誌名

      コンピュータソフトウェア 23・4

      ページ: 82-86

URL: 

公開日: 2008-05-08   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi