2014年7月2日更新 2014年5月30日公開 独立行政法人情報処理推進機構 技術本部 ソフトウェア高信頼化センター 概要 社会生活になくてはならない製品・システムにおいて、ソフトウェアが重要な位置付けとなるにつれて、その信頼性の確保が重要視されます。 IPA/SECでは、ソフトウェア高信頼化の活動の一環として、ソフトウェア開発における先進的な取組み事例を数多く調査・収集しています。 それらの事例を広く紹介・共有することで、我が国のソフトウェア開発水準の向上や、製品・システム利用者の安全・安心につなげることを目的に、ソフトウェア開発プロセスのうち、最近開発手法が充実してきた「設計」、および「検証」の工程に着目して事例を取りまとめました。 ※2015年11月18日に「先進的な設計・検証技術の適用事例報告書 2015年度版」を公開しました。 本報告書の特徴 先進的な取組みや手法は、実際の