IPA ソフトウェア高信頼化センター(SEC)
はじめに 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター ( 以下 IPA/SEC という ) では 2007 年 12 月より ソフトウェア開発データ白書 に掲載されているグラフ ( 以下白書掲載グラフという ) に自社のプロジェクトデータをマッピングすることにより 自社プロジェ
... ◆はじめに 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター（以下 IPA/SEC という）で は、2007 年 12 月より「ソフトウェア開発データ白書」に掲載されているグラフ ( 以下白書掲載グラ フという）に自社のプロジェクトデータをマッピングすることにより、自社プロジェクトの相対的な ...
27
資料 1 事例から学ぶ IT サービスの高信頼化への アプローチ 2015 年 12 月 4 日 ( 金 ) 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 加藤均 Copyright 2015 IPA, All Rights Reserved Softw
... が、SECジャーナル40号に掲載されました。 「情報システムの障害状況 2014年後半データ」（P.44～P.47） http://www.ipa.go.jp/sec/secjournal/index.html#section2 本文では、2014年7月から12月に報道されたシステム障害一覧を掲載していると共に 以下の2点の障害パターンについて解説しています。 ...
31
システム障害事例の分析により得られた教訓の共有 ~ 教訓を活用して情報システムの類似障害を削減 ~ 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 研究員齋藤毅
... Copyright© 2018 IPA, All Rights Reserved 「注意すべき観点」に基づいた 障害事例の分類 「情報処理システム高信頼化教訓集」およびSEC journalで取りまとめてい るシステム障害事例情報を短い時間でポイントや全体像をつかめるよう、 「注意すべき観点」に基づいて分類した障害事例の一覧を公開 ...
25
つながる世界のセーフティ & セキュリティ設計入門 で伝えたいこと ~ 実態調査から見えたこと そして開発指針へ ~ ET/IoT2016 ブースプレゼン 2016 年 11 月 18 日 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 西尾桂子 2016
... 認証 暗号化 アクセス制御 電子署名 脆弱性評価 ログ・監査 UML 侵入検知 CC (ISO/IEC 15408) SDL (Secure Development Lifecycle) SIM/TPM等信頼を担保する手法 形式手法 FIPS-140 Twin Peaks手法 SQUARE その他の手法やツール 独自の手法 セキュリティ設計は行っていない ...
25
IPA 組織の紹介 国際標準化センター セキュリティセンター システムグループ 重要インフラ分野のシステム障害への対策 IPA ( 独 ) 情報処理推進機構 技術本部 ソフトウェア高信頼化センター S o f t w a r e R e l i a b i l i t y (SEC) E n h a
... 1章 つながるシステムのセーフティとセキュリティ 2章 事故及びインシデント事例 3章 セーフティとセキュリティのための開発プロセス 4章 ソフトウェア技術者のためのセーフティ設計 5章 ソフトウェア技術者のためのセキュリティ設計 6章 ロジカルな設計品質の説明 ...
27
つながる世界の開発指針 の 産業展開に向けて IPAサイバーセキュリティシンポジウム２０１７ 2017年2月8日 独立行政法人 情報処理推進機構 技術本部 ソフトウェア高信頼化センター 中尾 昌善 2016 IPA, All Rights Reserved Software Reliability
... ①安全安心を実現するための設計を見える化する。 1) 設計の見える化 をしているか ②安全安心を実現するための設計の相互の影響を確認する。 2)セーフティとセキュリティの対策は、 しているか 相互の影響を確認 ［指針11］ 不特定の相手とつなげられて も安全安心を確保できる設計をする ...
29
IPA セミナー第 8 部 11/21( 金 )15:50-16:40 ソフトウェア開発データ白書 の新分析項目のご紹介 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 研究員佐伯正夫研究員松田充弘 ET 年 11 月
... 業種、開発プロジェクトの種別（新規／改良）、開発規模の他、規模当りの設計書ページ数、 規模当りのテストケース数、信頼性要求レベル等によって変動する傾向が見られる。 ⇒ 自組織のソフトウェア開発プロジェクト群のデータに基づいて、自組織に おける生産性変動要因を見出すこと、そして見積り／計画の妥当性評価 にあたっては、その生産性変動要因による変動を勘案しながら評価する ことが望ましい。 ...
45
制御システムセーフティ セキュリティ検討 WG 活動のご紹介 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 調査役石田茂 IPA Software Reliability Enhancement Center
... すべてのインターフェイスで、 SUTは、職務分掌と最小特権をサポートするために、 SUTの使用を制御 するためのすべてのユーザー（人間、ソフトウェアプロセスとデバイス）に割り当てられた権限を強制す る能力を提供しなければならない。 FSA-S-UC-1.2 ロールへのパーミッション割当て SUTは、人間のユーザのロールに権限のマッピングを変更することが許可されたユーザまたはロールの ...
17
ソフトウェア開発データが語るメッセージ 2017 ~ 生産性 信頼性の経年推移の分析から ~ 2018 年 3 月 6 日 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC)
... 白書の新規開発全体のデータでは様々な組織の種々のプロジェクトが混在している中で SLOC 生産性に低 下傾向が見られるが、開発に携わっている読者の中にはこの生産性の低下傾向について、自組織の状況とは 異なると思われる方が少なからずいるであろう。実際、 「自組織では生産性は徐々に向上してきている」とい う声も聞く。そのような組織では、似たようなソフトウェアを長年開発するうちに経験が蓄積され、技術的 ...
47
IPA/SEC の活動 昨年度まで : ソフトウェア エンジニアリング今年度から : 情報処理システム ソフトウェア障害の対策, 教訓共有等 重点 : 生産性 信頼性向上から安全 安心へ 対象 : 企業 業界レベルから国民レベルへ 開発競争力強化から高信頼化へ 学会 SEC 産業界 大学 研究機関
... ～経験を共有し，みんなの力でIT社会の安全・安心を築くしくみに向けて～ ２０１３年１１月２２日（金） 独立行政法人情報処理推進機構（ＩＰＡ） 技術本部 ソフトウェア高信頼化センター（ＳＥＣ） ...
12
SEC 高信頼化技術適用事例セミナー 先進的な設計事例紹介 チュートリアル ソフトウェア品質の高信頼性および説明責任に有効な 利用品質メトリクスの解説 ~ 利用品質を構成する 5 つの領域の一つ HMI 品質 の役割を考える ~ 2014 年 6 月 24 日 株式会社 U eyes Design
... Copyright (C) 2014 U'eyes Design Inc., All Rights Reserved. ご清聴ありがとうございました。 HMI設計およびHCD関係者が、ソフトウェア品質全体における HMI/HCDの位置付けを理解するセミナーを企画 !! ...
45
所属 背景 東洋大学経営学部経営学科准教授 工業経営 / 経営システム工学, ソフトウェア工学, 品質マネジメント 主な学外活動 日本科学技術連盟 SQiPソフトウェア品質委員会運営委員長 IPA/SEC 高信頼化定量管理部会主査 ( ソフトウェア開発データ白書 ) 組込みシステム技術協会実装品質強
... ソフトウェア品質データを分析して「事実」を把握し，これに基づいて 品質目標とその達成方法を計画し，達成状況をデータで確認し， プロセス改善などの適切な処置をするというPDCAサイクルの実践 が必要であり， その原動力が品質データ分析 である． ...
30
Software Engineering Center Information-technology Promotion Agency, Japan SEC セミナ IT プロジェクトの見える化 IPA 情報処理推進機構 SEC ソフトウェア エンジニアリング センター 専門委員神谷芳樹 ( みたに
... 専門家による分業体制に移行し、個人への作業依存が高くなるので、品質がばらつきやすい 問題認識 ソフトウェア要件のレビューを十分に行い、機能要件と非機能要件に対してあいまいさを極力 減らす ...
58
Information-technology Promotion Agency, Japan (ET-WEST 2013)2013 年 6 月 13 日 ~14 日 組込みシステム開発技術リファレンス ESxR シリーズ概要紹介 IPA 独立行政法人情報処理推進機構 SEC ソフトウェア高信頼化セン
... プロジェクト計画の立案手順を知る ～組込みソフトウェア業界の計画立案ノウハウを集大成～ ・ESMR計画書編に続く、計画書作成の実践トレーニングガイド ・計画段階での必要事項検討が不十分（書き方がわからない他） ・プロマネ、PJメンバー、管理者等様々なPJ関係者を想定 ...
29
概要 生活支援ロボットと安全性 生活支援ロボット関連ナショナルプロジェクト NEDO 生活支援ロボット実用化プロジェクト 経済産業省ロボット介護機器開発 導入促進事業 高信頼ソフトウェア開発支援技術への期待 1
... 日本自動車研究所・産業技術総合研究所 労働安全衛生総合研究所・名古屋大学・日本品質保証機構 日本認証・日本ロボット工業会・製造科学技術センター 生活支援ロボットは人との接 触度が高くなるため，安全対 策を確認する試験方法が必 ...
63
高信頼性ソフトウェア開発のための一般化離散型信頼度成長モデル
... モデルの適用例 今回提案した離散ワイブソレ型 SRGM が，典型的 なソフトウェア信頼度成長パターンである指数形 および S 字形信頼度成長 曲線の両方に対 しても柔 軟に適応可能であることを 実証するため， 実測デ ータを用い た提案モデ ルの適用例を示す.. 適用す る実 測データ は， それぞれ，指数形信頼度成長曲..[r] ...
7
個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1
... 4 個人依存の開発のリスク 国内競争及びグローバル展開の機能量の増加とリードタイム短縮は 個人依存した組織では対応できず事業の衰退化が進むリスクがある。 ・過去の資産優先と高年齢化 ...
10
Liebert GXT3 -J 800VA - 3kVA コンパクトサイズで高信頼性を追求したオンライン UPS (100VAC 入出力 )
... ● Liebert ® MultiLink TM は保護対象のサーバにインストールし、UPSと直接通信を 行うことで、電源障害時にサーバを安全に自動シャットダウンさせるソフトウェアです。 ● Liebert ® MultiLink TM は、Liebert GXT3-J に無償添付されています。 ● オプションの IS-WEBCARD/IS-UNITY-SNMP/DP を利用することで、ネットワー ...
8
利用環境や目的から考える IoT システムの品質ーコンテキストを考慮した品質要求の明確化ー 森崎修司 IPA つながる世界の品質指針検討ワーキング グループ IPA IoT 高信頼化検討ワーキング グループ名古屋大学大学院情報学研究科
... 委員 後藤 祥文 デンソーテクノ株式会社 委員 五味 弘 一般社団法人電子情報技術産業協会 (JEITA)/沖電気工業株式会社 委員 中道 泰隆 一般社団法人コンピュータソフトウェア協会 (CSAJ)/ JBアドバンスト・テクノロジー株式会社 ...
22
車載ソフトウェアのテスト自動化支援ツール
... 一方、自動車の高機能化により車載ソフトウェアは大規 模化・複雑化の傾向にある （1） 。テスト項目数の増大、検証 モレのリスク増大などの問題解決のため、モデルベース開 発手法を自動車業界では導入推進している （2） 。モデルベー ス開発では、設計図（モデル）をシミュレーションするこ とで、設計を検証する（MILS ※2 ）（図 1）。この手法により、 ...
6