| 研究概要 |
1.リスポンシブ機能の検証法:リアルタイム機能とフォールトトレランス機能の両者を備えている通信プロトコルをリスポンシブプロトコルと呼ぶ.通信プロトコルがこの機能を備えているか否かを検証するには,任意の異常状態から正常状態への回復が与えられた時間内で実現できることを示さなければならない.この検証について検討した結果,通信プロトコルのシステム状態を有限な述語で表現し,全てのシステム状態が正常状態に到達することを調べるという自動検証法を考案した.
2.リスポンシブ機能の合成法:通信サービス仕様から通信プロトコル仕様を自動生成する方法について検討した.その結果,メッセージ再送およびチェックポイント・ロールバックリカバリというリスポンシブ機能を備えた自動合成法を提案した.この方法に基づいた合成システムを試作して,X.25呼設定・呼解放プロトコルなどの合成実験を行った.実験により,通信サービス仕様の規模にほぼ比例した時間で通信プロトコル仕様が生成できることが判明した.
3.マルチプロセッサシステムの性能評価:マルチプロセッサシステムのリスポンシブネスを,与えられたシステムアーキテクチャにおいて故障の発生にもかかわらずジョブの実行を継続させることができる確率と定義し,4種類のシステムアーキテクチャに対するリスポンシブネスを求める方法を提案した.更に,マルチプロセッサシステムの再構成がリスポンシブネスに与える影響について考察した.
|
