森崎研究室

通信サービス、金融サービス、通販サービス、交通運輸サービス、自動車、 衛星、家電製品など、社会生活のあらゆる場面で、ソフトウェアがなくてはならない存在になっています。ソフトウェアがこれらの製品やサービスを支えているということは、これらの製品の安全性やサービスの継続性などの顧客価値を、ソフトウェアが持つことを客観的に示すディペンダビリティ保証技術が必要です。 このため、ソフトウェア要求、設計、製造、試験、保守、運用を含むソフトウェア開発・運用プロセスの全ライフサイクルを一貫して支援するディペンダビリティ保証技術について研究を推進しています。