高信頼化ソフトウェアのための開発手法ガイドブック－予防と検証の事例を中心に－：IPA 独立行政法人 情報処理推進機構2011年6月6日改訂 2010年9月15日公開 独立行政法人 情報処理推進機構 ソフトウェア・エンジニアリング・センター 概要 1 背景と目的 ITの進展により情報システムは、利用範囲が広がり一般国民の生活に直結する重要な社会インフラを支える存在となっています。インフラは「産業構造ビジョン2010」においても重要な世界戦略商品であり、そのインフラを構成する部品のひとつとして情報システムは、高い信頼性・安全性を要求されています。他方、企業の業務の一端を担う情報システムでも、企業活動に重大な被害を与える計画外なシステム停止が存在します。これらのシステムも社会インフラの構成要素と同様に高い信頼性・安全性を要求します。 このような状況下で、情報システムの重要な構成要素であるソフトウェアは、開発量の増大と機能の複雑化、さらにコスト削減と開発期間の短縮などの要求とともに、信頼性・安全性への対応課題が
