1992 Fiscal Year Annual Research Report
通信プロトコルにおける障害からのリアルタイム回復技術に関する研究
| Project/Area Number |
04650315
|
|---|
| Research Institution | Osaka University |
|---|
Principal Investigator |
菊野 亨 大阪大学, 基礎工学部, 教授 (50093745)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
楠本 真二 大阪大学, 基礎工学部, 助手 (30234438)
角田 良明 大阪大学, 基礎工学部, 助教授 (40233671)
|
|---|
| Keywords | 通信プロトコル / プロトコル検証 / プロトコル設計 / リスポンシブプロトコル / 回復 / リニアアレイシステム |
|---|
| Research Abstract |
(1)リスポンシブプロトコル検証技術:プロセス間の同期のずれにより異常状態に陥ってもリアルタイムに正常状態に回復する機能を備えている通信プロトコルをリスポンシブプロトコルと呼ぶ。通信プロトコルがこのような機能を備えているか否かを判定するため、任意の異常状態に陥っても有限時間内に正常状態に回復するか否か、更に正常状態に回復するまでの時間を計算してそれがあらかじめ決められている時間より短いか否かを検証する方法を考案した。この方法に基づいた検証システムを試作して、システムを用いて双方向ハンドシェイクプロトコルなどを検証し、所期の機能が実現されていることを確認した。
(2)リスポンシブプロトコル設計技術:リスポンシブプロトコルを設計するための2つのアプローチについて検討した。まず、リスポンシブプロトコルの機能を備えているか否かを検証し、備えていなければプロトコルを修正するという、検証と修正を反復する方法を考案した。この方法は回復機能とリアルタイム機能を独立して設計できるタイプのプロトコルに有効であることを例示した。次に、任意の通信プロトコルにリスポンシブ機能としてチェックポイント/ロールバック機能を付加する統一的設計法を考案した。この方法をISDN網間プロトコルであるISUPの主要部分に適用してその有効性を確認した。
(3)リニアアレイシステム再構成技術:線上に位置する複数のプロセッサを接続したリニアアレイシステムで通信システムを構成した場合の信頼性と性能のトレードオフについて考察した。各プロセッサに対して予備のプロセッサを用意する方法と全てのプロセッサを相互に接続する方法に比べて、各プロセッサを隣接する定数個のプロセッサに接続し故障時にシステムを再構成する方法が、信頼性と性能の観点からみて評価が高いことを示した。
|
-
[Publications] 川島 健一,角田 良明,菊野 亨: "述語列のリアルタイム収束性に基づくリスポンシブプロトコルの検証法" 電子情報通信学会技術研究報告CPSY91-82. 91. 83-90 (1992)
-
[Publications] 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)
-
[Publications] Yoshiaki Kakuda and Tohru Kikuno: "Issues in responsive protocols design" Proc.2nd Int´l.Workshop on Responsive Computer Systems. 8-12 (1992)
-
[Publications] 川島 健一,角田 良明,菊野 亨: "述語列のリアルタイム収束性のリスポンシブプロトコル設計への適用" 情報処理学会研究報告92-DPS-58. 92. 205-212 (1992)
-
[Publications] 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)
-
[Publications] 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)
-
[Publications] Hermann Kopetz and Yoshiaki Kakuda(ed.): "Responsive Computer Systems" Springer-Verlag, 377 (1993)
