1992 年度実績報告書

通信プロトコルにおける障害からのリアルタイム回復技術に関する研究

研究課題

研究課題/領域番号	04650315
研究機関	大阪大学
研究代表者	菊野亨大阪大学, 基礎工学部, 教授 (50093745)
研究分担者	楠本真二大阪大学, 基礎工学部, 助手 (30234438) 角田良明大阪大学, 基礎工学部, 助教授 (40233671)
キーワード	通信プロトコル / プロトコル検証 / プロトコル設計 / リスポンシブプロトコル / 回復 / リニアアレイシステム
研究概要	(1)リスポンシブプロトコル検証技術:プロセス間の同期のずれにより異常状態に陥ってもリアルタイムに正常状態に回復する機能を備えている通信プロトコルをリスポンシブプロトコルと呼ぶ。通信プロトコルがこのような機能を備えているか否かを判定するため、任意の異常状態に陥っても有限時間内に正常状態に回復するか否か、更に正常状態に回復するまでの時間を計算してそれがあらかじめ決められている時間より短いか否かを検証する方法を考案した。この方法に基づいた検証システムを試作して、システムを用いて双方向ハンドシェイクプロトコルなどを検証し、所期の機能が実現されていることを確認した。 (2)リスポンシブプロトコル設計技術:リスポンシブプロトコルを設計するための2つのアプローチについて検討した。まず、リスポンシブプロトコルの機能を備えているか否かを検証し、備えていなければプロトコルを修正するという、検証と修正を反復する方法を考案した。この方法は回復機能とリアルタイム機能を独立して設計できるタイプのプロトコルに有効であることを例示した。次に、任意の通信プロトコルにリスポンシブ機能としてチェックポイント/ロールバック機能を付加する統一的設計法を考案した。この方法をISDN網間プロトコルであるISUPの主要部分に適用してその有効性を確認した。 (3)リニアアレイシステム再構成技術:線上に位置する複数のプロセッサを接続したリニアアレイシステムで通信システムを構成した場合の信頼性と性能のトレードオフについて考察した。各プロセッサに対して予備のプロセッサを用意する方法と全てのプロセッサを相互に接続する方法に比べて、各プロセッサを隣接する定数個のプロセッサに接続し故障時にシステムを再構成する方法が、信頼性と性能の観点からみて評価が高いことを示した。

研究成果
(7件)

すべてその他

すべて文献書誌 (7件)

[文献書誌] 川島健一,角田良明,菊野亨: "述語列のリアルタイム収束性に基づくリスポンシブプロトコルの検証法" 電子情報通信学会技術研究報告CPSY91-82. 91. 83-90 (1992)
[文献書誌] Yoshiaki Kakuda,Tohru Kikuno,Miroslaw Malek and Hironori Saito: "A unified approach to design of responsive protocols" Proc.the 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems. 8-15 (1992)
[文献書誌] Yoshiaki Kakuda and Tohru Kikuno: "Issues in responsive protocols design" Proc.2nd Int´l.Workshop on Responsive Computer Systems. 8-12 (1992)
[文献書誌] 川島健一,角田良明,菊野亨: "述語列のリアルタイム収束性のリスポンシブプロトコル設計への適用" 情報処理学会研究報告92-DPS-58. 92. 205-212 (1992)
[文献書誌] Chang Chen,An Feng,Yoshiaki Kakuda and Tohru Kikuno: "Reconfiguration algorithm for modular redundant linear array" IEICE Transactions on Information and Systems. E75-D. 210-218 (1993)
[文献書誌] Chang Chen,Hiroyuki Asada,Yoshiaki Kakuda and Tohru Kikuno: "Comparison of hybrid modular redundant multiprocessor systems with respect to performabilities" Proc.23rd Int´l.Symposium on Fault-Tolerant Computing. (1993)
[文献書誌] Hermann Kopetz and Yoshiaki Kakuda(ed.): "Responsive Computer Systems" Springer-Verlag, 377 (1993)

1992 年度 実績報告書

通信プロトコルにおける障害からのリアルタイム回復技術に関する研究

研究代表者

菊野 亨 大阪大学, 基礎工学部, 教授 (50093745)

研究成果

[文献書誌] 川島 健一,角田 良明,菊野 亨: "述語列のリアルタイム収束性に基づくリスポンシブプロトコルの検証法" 電子情報通信学会技術研究報告CPSY91-82. 91. 83-90 (1992)

[文献書誌] Yoshiaki Kakuda,Tohru Kikuno,Miroslaw Malek and Hironori Saito: "A unified approach to design of responsive protocols" Proc.the 1992 IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems. 8-15 (1992)

[文献書誌] Yoshiaki Kakuda and Tohru Kikuno: "Issues in responsive protocols design" Proc.2nd Int´l.Workshop on Responsive Computer Systems. 8-12 (1992)

[文献書誌] 川島 健一,角田 良明,菊野 亨: "述語列のリアルタイム収束性のリスポンシブプロトコル設計への適用" 情報処理学会研究報告92-DPS-58. 92. 205-212 (1992)

[文献書誌] Chang Chen,An Feng,Yoshiaki Kakuda and Tohru Kikuno: "Reconfiguration algorithm for modular redundant linear array" IEICE Transactions on Information and Systems. E75-D. 210-218 (1993)

[文献書誌] Chang Chen,Hiroyuki Asada,Yoshiaki Kakuda and Tohru Kikuno: "Comparison of hybrid modular redundant multiprocessor systems with respect to performabilities" Proc.23rd Int´l.Symposium on Fault-Tolerant Computing. (1993)

[文献書誌] Hermann Kopetz and Yoshiaki Kakuda(ed.): "Responsive Computer Systems" Springer-Verlag, 377 (1993)

1992 年度実績報告書

菊野亨大阪大学, 基礎工学部, 教授 (50093745)

[文献書誌] 川島健一,角田良明,菊野亨: "述語列のリアルタイム収束性に基づくリスポンシブプロトコルの検証法" 電子情報通信学会技術研究報告CPSY91-82. 91. 83-90 (1992)

[文献書誌] 川島健一,角田良明,菊野亨: "述語列のリアルタイム収束性のリスポンシブプロトコル設計への適用" 情報処理学会研究報告92-DPS-58. 92. 205-212 (1992)