PART Ⅱ 设计事例 - IPA 独立行政法人 情报処理推进.PDF

先進的な設計・検証技術の適用事例報告書2013 年度版 ＰＡＲＴ Ⅱ 設計事例 PART Ⅱ 設計事例 目次 １． はじめに 1 ２． 事例一覧 2 ３． 設計適用事例の状況 3 ４． 各事例報告 6 Ａ－１ アシュアランス技術を用いた鉄道信号の革新 7 Ａ－２ XDDP 導入による派生開発の品質改善とその効果 17 Ａ－３ 組込み系の利用品質における「HMI 品質メトリクス」開発と 適用事例 29 Ａ－４ 要件定義段階における信頼性向上の取り組み事例紹介 45 Ａ－５ 要件定義の品質向上に向けた取り組み 63 Ａ－６ ジェネレータツールを利用した高信頼開発、高速開発の実践 79 Ａ－７ 設計工程におけるTERASOLUNA DS の適用 89 Ａ－８ Grails/Groovy の適用推進 103 Ａ－９ 個人依存開発から組織的開発への移行事例 119 Ａ－10 MBSE による双腕作業ロボット動作実行系のコンセプト設計 133 Ａ－11 仕様記述言語 VDM++ を用いたシステムの仕様の記述 145 Ａ－12 車載ECU 開発における上流工程での品質確保 171 Ａ－13 独自開発したモデル駆動開発プロダクトラインエンジニアリング の実践 187 ５． おわりに 205 PART Ⅱ 設計事例 １． はじめに PART Ⅱは、「設計」における適用事例を記載したものである。全体的な目的や共通事項 は、「PART Ⅰ 概要」を参照願いたい。 ソフトウェア開発現場での認識として、要件定義プロセスも含めた設計工程が、後の工 程での手戻りやソフトウェア品質に多大な影響を与えるといわれている。 この部分に工夫を加えることによって、ソフトウェアの信頼性向上につながるのではな いか、さらに、そこに様々な取組みを行っている事例が多く存在するのではないかと考え、 企業・団体に情報提供をお願いした