Dependabillity Engineering Laboratory

菊野研究室では，情報システムがディペンダビリティ(高信頼性)を獲得するための種々のアプローチについて，主にソフトウェア工学の立場から研究・開発を進めています．特に，企業でのシステム開発現場と密接にリンクした実証的なテーマ，具体的には，情報システムの高信頼性化と信頼性評価(自動検証)，ソフトウェアテストの効率化，といった課題に取り組んでいます．