高信頼性システム開発技術の動向：IPA 独立行政法人 情報処理推進機構

独立行政法人 情報処理推進機構、ソフトウェア・エンジニアリング・センターの活動の一つとして2007年に高信頼性システム技術調査検討会(DSTWG,Dependable System Technology Working Group)が発足しました。このDSTWGでは情報システムが社会に浸透し、我々の生活や経済を支える重要な構成要素の一つ（以下、重要インフラと呼ぶ）になった結果、避けられないシステム障害が社会的に大きな影響を与えることになることから、これらを高信頼化するための技術を調査し、事例と共に検討してきました。調査をするにあたり、システムを数理的に記述することにより、高品質のソフトウェアを効率良く開発することを目的とする「形式手法」に着目し、2007年度に海外ならびに国内における形式手法(Formal Method)の導入状況を調査しました。 調査の結果、米国ならびに欧州では形式手法の