研究内容

ディペンダブル (Dependable) とは「頼りがいのある」という意味です。フォールトトレランスとフォールトアボイダンスを統合した高信頼性の概念として世界的に使われています。

当研究室では、フォールトトレラントシステム理論、ソフトウェア信頼性理論、ソフトウェアテスト理論、性能評価理論を柱に、高信頼化システムの構築を支える基礎理論を研究しています。

テストをいつ打ち切り、いつリリースするか。故障データから信頼性を推定する確率モデルの研究。

テストケースの自動生成からモデル駆動開発まで、開発の現場を支える技術。

大規模なマルコフ連鎖を高速に解く。位相型分布・マルコフ到着過程・EM アルゴリズム。

取替え・修理・点検をいつ行うべきか。確率過程に基づく最適予防保全の理論。

ソフトウェア若化、チェックポイント、クラウドや 5G ネットワークの性能・可用性評価。

マルウェアの分類と脆弱性の検出に、機械学習と確率モデルの両面から取り組む。