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

大規模分散システムのための実時間オブジェクトアーキテクチャ

研究課題

研究課題/領域番号 06452244
研究種目

基盤研究(B)

配分区分補助金
応募区分一般
研究分野 情報通信工学
研究機関慶応義塾大学

研究代表者

所 真理雄  慶応義塾大学, 理工学部, 教授 (10051898)

研究分担者 高汐 一紀  電気通信大学, 電気通信学部, 助手 (40272752)
研究期間 (年度) 1994 – 1996
研究課題ステータス 完了 (1996年度)
配分額 *注記
6,700千円 (直接経費: 6,700千円)
1996年度: 1,500千円 (直接経費: 1,500千円)
1995年度: 2,000千円 (直接経費: 2,000千円)
1994年度: 3,200千円 (直接経費: 3,200千円)
キーワード大規模分散システム / 実時間計算 / オブジェクト指向 / 並行プロセス計算 / スケジューリング アルゴリズム / DROL / Dt CCS / スケジューリング・アルゴリズム / DtCCS / 分散実時間オブジェクト / 実時間ネットワーク・プロトコル / 並行計算モデル / R+P / D+CCS / 動的スケジューリング / MART / RtP
研究概要

原子力プラント,航空機管制システム,月面作業ロボット,人工衛星制御システム,分散マルチメディアシステム等,実時間性を要する大規模分散システムに対する需要がますます高まっている.これらを支援する計算機システムもまた,ネットワーク上などでの本格的な大規模分散の時代を迎えているところである.
本研究課題では,従来,その場凌ぎ的なアドホックな手法によってなされてきた大規模分散処理記述を,(1)記述:並行オブジェクト指向に柔軟な実時間性を取り入れた分散実時間オブジェクト指向,(2)実行環境:動的負荷分散,実時間スケジューリング等による動的かつ実時間的実行計算制御,さらに(3)理論:非同期名前渡しプロセス計算及び時間的並行プロセス計算という3点に焦点を絞り議論した.
具体的には,(a)分散実時間プログラミング言語DROLのARTSカーネル及びRT-Mach実時間カーネル上への実装,分散計算システム実験環境(慶応義塾大学,電気通信大学,IBM PC-AT互換機10台)上での性能や応用可能性の評価,(b)動的実時間システムのための柔軟なスケジューリング アルゴリズムの提案,(c)局所時間性を考慮した分散オブジェクトの形式化及びプロセス代数による実時間プログラミング言語の意味論の確率という3つのテーマを軸に研究を発展,それぞれの分野において得られた有意義な成果を統合,大規模分散実時間アプリケーションを安全かつ効率的に記述可能なプログラミングパラダイス及びその基礎理論を構築した.

報告書

(4件)
  • 1996 実績報告書   研究成果報告書概要
  • 1995 実績報告書
  • 1994 実績報告書
  • 研究成果

    (17件)

すべて その他

すべて 文献書誌 (17件)

  • [文献書誌] 佐藤一郎,所真理雄: "分散計算のための局所時間性に基づく形式系" コンピュータ ソフトウェア. 11. 32-44 (1994)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] 佐藤一郎,所真理雄: "プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論" 情報処理学会 論文誌. 35. (1994)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] 高汐一紀,所真理雄: "分散時間システム記述言語DROLにおける最少被害戦略の実現" コンピュータ ソフトウェア. 12. 17-34 (1995)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] Kazunori Takashio and Mario Tokoro: "Least Suffering Strategy in Distributed Real-Time Programming Language DROL" Real-Time Systems Journal. 11. 41-70 (1996)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] Ichiro Satoh and Mario Tokoro: "A Formal Description for Parallel Processes with Time Properties (in Japanese)" Transactions of Information Processing Society of Japan. 35 (3). 540-548 (1996)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] Ichiro Satoh and Mario Tokoro: "Modeling Distributed Processes with Local Time (in Japanese)" Computer Software. 11 (2). 32-44 (1994)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] Kazunori Takashio and Mario Tokoro: "Least Suffering Strategy in Distributed Real-Time Programming Language DROL (in Japanese)" 12 (6). 17-34 (1995)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] Kazunori Takashio and Mario Tokoro: "Least Suffering Strategy in distributed Real-Time Programming Language DROL" Real-Time Systems Journal, Kluwer Academic Publishers. 11 (1). 41-70 (1996)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      1996 研究成果報告書概要
  • [文献書誌] 佐藤一郎、所真理雄: "分散計算のための局所時間性に基づく形式系" コンピュータソフトウェア. 11・2. 32-44 (1994)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 佐藤一郎、所真理雄: "プロセス代数によるリアルタイムオブジェクト指向プログラミング言語の意味論" 情報処理学会論文誌. 35・11. (1994)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 高汐一紀、所真理雄: "分散実時間システム記述言語DROLにおける最小被害戦略の実現" コンピュータソフトウェア. 12・6. 17-34 (1995)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] Kazunori Takashio and Mario Tokoro: "Least Suffering Strategy in Distributed Real-Time Programming Language DROL" Real-Time Systems Journal. 11・1. 41-70 (1996)

    • 関連する報告書
      1996 実績報告書
  • [文献書誌] 高汐一紀: "分散実時間システム記述言語DROLにおける最小被害戦略の実現" コンピュータソフトウェア,日本ソフトウェア科学会.12. 17-34 (1995)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] K. Takashio: "Least Suffering Strategy in Distributed Real-Time Programming Language DROL." Real-Time Systems, Kluwer Academic Publishers.10. 41-70 (1996)

    • 関連する報告書
      1995 実績報告書
  • [文献書誌] 高汐 一紀: "分散実時間システム記述言語DROLにおける最小被害戦略の実現." コンピュータソフトウェア,日本ソフトウェア科学会.

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 塩野崎 敦: "リアルタイム通信プロトコルRtPの設計." コンピュータソフトウェア,日本ソフトウェア科学会.11-2. 20-31 (1994)

    • 関連する報告書
      1994 実績報告書
  • [文献書誌] 佐藤 一郎: "分散計算のための局所時間性に基づく形式系." コンピュータソフトウェア,日本ソフトウェア科学会.11-2. 32-44 (1994)

    • 関連する報告書
      1994 実績報告書

URL: 

公開日: 1994-04-01   更新日: 2016-04-21  

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

Powered by NII kakenhi