先進的な設計・検証技術の適用事例報告書 2013年度版 ～ソフトウェア開発の高信頼化を目指した先進的な取組み事例を紹介～：IPA 独立行政法人 情報処理推進機構

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