HOMEソフトウェア高信頼化報告書・出版物・ツール事業成果(報告書等)「先進的な設計・検証技術の適用事例報告書 2015年度版」を公開
~IoT時代を見据えたソフトウェア開発の信頼性確保を実現したベストプラクティス34事例を紹介~

本文を印刷する

ソフトウェア高信頼化

「先進的な設計・検証技術の適用事例報告書 2015年度版」を公開
~IoT時代を見据えたソフトウェア開発の信頼性確保を実現したベストプラクティス34事例を紹介~

2016年1月4日更新
2015年11月18日公開
独立行政法人情報処理推進機構
技術本部 ソフトウェア高信頼化センター

概要

 2020年までに世界のIoT(Internet of Things)デバイス数は500億超 、国内のIoT市場規模は約16兆円 に達すると予測されており、IoTで利用される機器やシステムの規模が拡大するに伴い、それらを制御する「ソフトウェア」の不具合に起因する機器の故障や、システムの停止が社会に与える影響は大きくなるものと考えられます。そのため、ソフトウェアの不具合を未然に防止するためにも、ソフトウェアの信頼性確保が社会的に重要な課題となっています。

 そこでIPAでは、ソフトウェアの信頼性確保を実現するための「先進的な技術・手法」に着目し、それらを実際に実践した成功事例(ベストプラクティス)を収集・取りまとめ、「先進的な設計・検証技術の適用事例報告書 2015年度版」として公開しました。

 本書は、製造業や流通業、商社、情報通信業など多岐にわたる業種・分野の事例を34件収録しており、様々な業種・分野において実践できる内容となっています。また、「開発工数を2分の1に短縮した事例」や、「超高速開発ツール 導入により費用・工数・工期を3分の1に短縮した事例」など、ソフトウェアの信頼性確保の実現に加えて、開発工程の効率化やコスト削減などを実現したベストプラクティスについて、効果測定データをはじめ実践的な情報を掲載しているため、これから新しい技術・手法を導入する開発現場において、自社の状況と本書の事例を比較するなど、本書が「参考書」として活用されることを目指しています。

 今後もIPAでは、ソフトウェアの信頼性確保を目的に、先進的な開発技術・手法のベストプラクティスを継続して収集し、広く一般に提供していく予定です。
 また、これらの先進的な技術や手法が多くの企業・開発現場で活用されることで、高い信頼性が確保されたソフトウェア開発の実現につながることを期待しています。

本書に掲載されている事例の効果(一例)

 本書では、以下のような効果を達成したベストプラクティスを紹介しています。(本書に掲載の代表的な例)

  1. 開発初期での関係者間の合意形成手法導入により、開発工数を2分の1に短縮(製造業)
  2. 業務分析および再構築により業務効率が6倍に(商社)
  3. 超高速開発ツール導入により、費用・工数・工期を3分の1に短縮(流通業)
  4. シミュレーション技術導入によりテストの実施回数を100分の1に削減(製造業)
  5. 類似製品開発技術の整備により工数を従来比80%に抑えつつ品質向上を実現(製造業)
  6. 類似製品開発時の検討漏れ防止技術により確認項目数を20%削減し生産性を向上(製造業)
  7. テストの自動化導入により、開発中の不具合を2分の1に削減し品質を向上(情報通信業)

ダウンロード

一覧より各事例ごとにダウンロード、もしくは、一括でダウンロードいただけます。

一括ダウンロード

 ・全編ダウンロード(zip)[41.6MB]

  ・PARTⅠPDF文書[458KB](表紙、概要、事例一覧)
  ・PARTⅡ(zip)[26.3MB](設計事例20件)
  ・PARTⅢ(zip)[14.9MB](検証事例14件)

個別ダウンロード
 
No.
標題
事例提供元







15-A-1
業務生産性向上や市場環境の変化に対応できる経営・業務を実現するために活用されるBPMの紹介PDF文書[1.55MB] (一社)コラボネット事業推進協会/(株)BPM実践企画
15-A-2
BPMをベースにした会社統合での新業務プロセス設計の適用PDF文書[3.78MB] 三菱商事RtMジャパン(株)
15-A-3
人間系プロセスを含む業務をBPMソフトウェア活用により改善した事例PDF文書[1.17MB] 日本電気(株)
15-A-4
受注業務にビジネスアナリシス方法論を適用した業務システムの構築~中小企業の特注品業務プロセス改革の提案~PDF文書[1.46MB] (株)プロセスデザインエンジニアリング
15-A-5
ビジネスへの貢献が求められる時代のソフトウェア開発の考え方~超高速開発ツールがもたらす方法論のイノベーション~PDF文書[863KB] (一社)ICT経営パートナーズ協会/MBC(Method Based Consulting)
15-A-6
「フィーチャー」の概念を取り入れたモデルベース開発PDF文書[1.16MB] 三菱スペース・ソフトウエア(株)
15-A-7
D-Case導入によるシミュレーションS/Wの期待結果明確化と合意形成PDF文書[0.99MB] 三菱電機(株)
15-A-8
大規模システム開発プロジェクトにおけるユーザーエクスペリエンス品質設計プロセスの適用とその効果PDF文書[1.85MB] NECソリューションイノベータ(株)
15-A-9
ソニーの電子お薬手帳システム「harmo」に適用したセキュリティ設計分析手法PDF文書[1.62MB] ソニーデジタルネットワークアプリケーションズ(株)
15-A-10
XDDPにおけるデグレード防止効果を高めるための手法 ~『気づきナビ』の考案~PDF文書[681KB] アズビル(株)
(株)インテック
キヤノンITソリューションズ(株)
15-A-11
モデルベース開発への移行に向けたC言語ソースコードに対する状態遷移抽出技術の適用PDF文書[1.16MB] (株)東芝
15-A-12
組込システムのモデルベース開発適用におけるDIコンテナの活用PDF文書[1.77MB] ヤマハ(株)
15-A-13
大規模システムへのモデルベース開発手法の適用PDF文書[537KB] (株)IHIエアロスペース
15-A-14
自動車のパワーバックドアシステム開発のためのモデルベースシステムズエンジニアリングの適用PDF文書[1.05MB] 慶應義塾大学大学院
日産自動車(株)
15-A-15
製品開発におけるSysML適用の取り組み~要求の可視化~PDF文書[1.45MB] (株)リコー
15-A-16
D-Caseを用いたゴール共有による開発プロセスの適用~ETロボコンでの試行と成果~PDF文書[0.99MB] 富士ゼロックス(株)
15-A-17
システム記述言語(AADL)による複合システム設計~航空機前方車輪の回転数から速度を計測・記録・表示するシステムへの適用~PDF文書[643KB] ISAE(Institut Supérieur de l'Aéronautique et de l'Espace)
15-A-18
ロケットエンジンにおけるモデルベース信頼性評価技術の構築と試行PDF文書[1.25MB] 国立研究開発法人 宇宙航空研究開発機構
15-A-19
デジタル制御電源製品開発に対するモデルベース開発の適用PDF文書[1.14 MB] (株)富士通研究所
15-A-20
組込みソフトウェアのアーキテクチャ設計方法の可視化PDF文書[1.22MB] ビースラッシュ(株)







15-B-1
SysMLとCMLによるシステムオブシステムズの検証PDF文書[673KB] Newcastle University
15-B-2
通信制御ソフトウェア開発における状態遷移設計の品質向上への取組み~状態遷移表へのモデル検査の適用~PDF文書[914KB] 富士通(株)
15-B-3
国際スタンダード認証に求められる「要件から検証結果までのトレーサビリティ管理」の効率化の取組みPDF文書[1.16MB] 富士設備工業(株)
15-B-4
Friendlyによる内部APIを使ったシステムテスト自動化PDF文書[626KB] (株)Codeer
15-B-5
アジャイルプロセスにおける実践的な品質向上施策の適用事例PDF文書[1.22MB] (株)日立ソリューションズ
15-B-6
「コストモデル」を使った開発品質・生産性向上の取組み~バグ対応コストの見える化と最適化~PDF文書[1.34MB] (株)HS情報システムズ
15-B-7
メトリクス分析手法を用いた試験品質向上の取組みPDF文書[2.9MB] (株)東芝
15-B-8
ユーザーエクスペリエンスを業務に定着化させるための取り組み事例の紹介PDF文書[858KB] (株)ベリサーブ
15-B-9
パッケージソフトウェア開発プロセス改善による品質向上と生産性向上PDF文書[582KB] (株)富士通マーケティング
15-B-10
Webシステムにおける単体テストの品質向上の取組みPDF文書[626KB] 住友電工情報システム(株)
15-B-11
安心なサービスの品質改善を実現する為の継続的システムテストPDF文書[973KB] 楽天(株)
15-B-12
セキュア開発手法の考察と診断ツールの活用事例の紹介~お客様に「安心してご利用ください」と言えるための脆弱性対策~PDF文書[1.2MB] ビッグローブ(株)
15-B-13
モデル検査とテストによる車載オペレーティングシステムの検証PDF文書[646KB] 北陸先端科学技術大学院大学
15-B-14
モデルベース開発とコード解析を用いた組込みソフトウェアの開発PDF文書[1.32MB] アルプス電気(株)

更新履歴

2016年1月4日 検証事例15-B-6 P11.図15-B-6-7を差し替えました。