ディペンダブルコンピューティング研究会の分野


研究会で発表討論される研究分野は、だいたい次のようになっています。 (2002/4/1)

◎ディペンダブルコンピューティング(ディペンダブルシステム,ディペンダブルコンピューティングシステム,ディペンダブルコンピュータ,ディペンダブルネットワーク,ディペンダブルソフトウェア,ディペンダブルハードウェア,など)

◎フォールトトレラントシステム(並列/分散/協調システム,オペレーティングシステム,データベースシステム,リアルタイムシステム,アシュアランスシステム,計算機ネットワーク,システム設計方法論/ツール,など)

◎フォールトトレラントソフトウェア(プログラミング,データ構造,プロセス間通信と同期,トランザクション処理,例外処理,システム再構成,誤り回復,など) 

◎フォールトトレラントハードウェア(故障予防,故障マスク,故障検出・診断・再構成,機能回復,フェールセーフ,誤り検出/訂正符号,欠陥回避設計,VLSI関連,など) 

◎設計・検証・テスト(テスト生成,テスト容易化設計,テストシンセシス,自己テスト,故障診断,故障検証,プログラム検証/テスト,プロトコル検証/テスト,論理/故障シミュレーション,など)

○信頼性・安全性・性能評価(システムの信頼性,システムの安全性,解析モデル,シミュレーション,計測・評価方法,性能評価ツール,など)

○保守と診断(遠隔診断)

○フォールトトレランス応用技術(プロセス制御,ロボティクス,ニューラルネットワーク,ファジィシステム,ファクトリオートメーション,オフィスオートメーション,医用システム,など)