高信頼ソフトウェア開発への取組み
高信頼性ソフトウェア開発のための一般化離散型信頼度成長モデル
... モデルの適用例 今回提案した離散ワイブソレ型 SRGM が，典型的 なソフトウェア信頼度成長パターンである指数形 および S 字形信頼度成長 曲線の両方に対 しても柔 軟に適応可能であることを 実証するため， 実測デ ータを用い た提案モデ ルの適用例を示す.. 適用す る実 測データ は， それぞれ，指数形信頼度成長曲..[r] ...
7
Information-technology Promotion Agency, Japan (ET-WEST 2013)2013 年 6 月 13 日 ~14 日 組込みシステム開発技術リファレンス ESxR シリーズ概要紹介 IPA 独立行政法人情報処理推進機構 SEC ソフトウェア高信頼化セン
... 組込みソフトウェアのコーディング品質向上のノウハウを整理 信頼性，保守性，移植性，効率性の４視点から例を含めて整理 具体的なコーデイング例を提示 Ｃ言語記述に関する品質を意識した「書き方」を規定 ...
29
はじめに 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター ( 以下 IPA/SEC という ) では 2007 年 12 月より ソフトウェア開発データ白書 に掲載されているグラフ ( 以下白書掲載グラフという ) に自社のプロジェクトデータをマッピングすることにより 自社プロジェ
... 技術本部 ソフトウェア 高信頼化センターまでご連絡ください。 【利用上の注意事項】 ●ソフトウェア開発データ白書（以下、「データ白書」）に掲載されているグラフの全てについてデータを 提供するものではありません。一つのデータから複数のグラフ（散布図、対数表示、系列別表示、拡大 ...
27
SEC 高信頼化技術適用事例セミナー 先進的な設計事例紹介 チュートリアル ソフトウェア品質の高信頼性および説明責任に有効な 利用品質メトリクスの解説 ~ 利用品質を構成する 5 つの領域の一つ HMI 品質 の役割を考える ~ 2014 年 6 月 24 日 株式会社 U eyes Design
... Copyright (C) 2014 U'eyes Design Inc., All Rights Reserved. ハイブリッドシステムのブレーキ制御や ABSの仕組みの働きと減速スピードとのバランスを ユーザモデルに合わせて調整できたら・・・ トラフィック情報量の増加 ユーザタイプ毎の ...
45
Androidソフトウェアプラットフォーム開発への取組み
... 4.0にはアプリケーションのバックグラウンド通信 の抑止機能が追加されているが，全てのアプリケー ションが対象であり個別設定ができない。富士通 ではこの通信抑止機能をエコモードと連動できる ようにし，更にアプリケーション個別に抑止でき るようにした。また，設定の際には各アプリケー ションのデータ通信量を表示し，ユーザが確認し ...
7
所属 背景 東洋大学経営学部経営学科准教授 工業経営 / 経営システム工学, ソフトウェア工学, 品質マネジメント 主な学外活動 日本科学技術連盟 SQiPソフトウェア品質委員会運営委員長 IPA/SEC 高信頼化定量管理部会主査 ( ソフトウェア開発データ白書 ) 組込みシステム技術協会実装品質強
... プロダクトメトリクスと欠陥見逃しの関係分析によって得られた知見 • コード行数が 380行以上 という大きいクラスは3個あり，これらは すべて リリース 後に欠陥修正があった（ 欠陥修正率3/3 = 1.0 ）。 • 凝集度が欠如していないクラス は46個あり，このうちリリース後に欠陥修正が ...
30
日立評論2007年3月号 : ソフトウェア開発への
... 管理図によるチェックは一種の仮説検定であり，シュー ハートが管理限界を3σという大きな値に設定したのは，第 一種の誤り，すなわち偽の警告を少なくしたかったためである と言われている。しかし，3σによる限界チェックのみだと， 今度は第二種の誤りが多くなる，すなわち，異常の検出能力 が小さいことになる。そこで，テスト1∼4を含む幾つかのルー ...
11
システム開発プロセスへのデザイン技術適用の取組み～HCDからUXデザインへ～
... Design）の実践は，主にデザイナーや専門家 の領域と捉えられているが，より広く開発の現場で理解され活用されることが重要であ る。そのためには，現場のSEや開発者に向けて，デザインのノウハウや技術を分かりや すく伝えたり，ツール化して簡単に使えるようにしたりするといった施策が有効である。 ...
8
IPA セミナー第 8 部 11/21( 金 )15:50-16:40 ソフトウェア開発データ白書 の新分析項目のご紹介 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 研究員佐伯正夫研究員松田充弘 ET 年 11 月
... A B ・言語による生産性の違い Ａの部分をみると、C++言 語の方がC言語よりも生産 性が高いことがうかがえる が、母数が少ないため、今 後、もっと多くのデータを収 集して調べる必要がある。 一方、Ｂの部分をみると、 開発規模が小さいところで は、開発言語に関わらず 生産性にばらつきがあるこ とがうかがえる。 ...
45
つながる世界のセーフティ & セキュリティ設計入門 で伝えたいこと ~ 実態調査から見えたこと そして開発指針へ ~ ET/IoT2016 ブースプレゼン 2016 年 11 月 18 日 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 西尾桂子 2016
... 第三章 つながる世界のリスク想定 第四章 つながる世界の開発指針（17指針） 第五章 今後必要となる対策技術例 ※各指針毎にポイント・解説・対策例を記載 http://www.ipa.go.jp/sec/reports/20160511_2.html ...
25
オフィスワーカ向けヘルスケアおよびシステム高信頼化の研究
... 3．研究の方法 本年度の研究のなかの下記 3 テーマについて述べる． (1) スマホと運動機器の連携システム スマホと運動機器の連携による運動データの管理シ ステムを開発する（図 2 参照） ．運動開始時は，QR コー ドで認証を行う．運動時は，トレッドミルのセンサで運 ...
3
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
Solid State Drive（SSD）：シリアルATA 3Gbps対応 高信頼性ソリッドステートドライブ SDG4Aシリーズの商品化
... SMART コマンドを使用して、全メモリブロックの書き換え（消去）回数が取得可能で あるため、フラッシュメモリの状態が容易に把握でき、的確な寿命管理が可能です。 12. ソリューションサポート TDK では、2000 年より NAND 型フラッシュメモリコントローラ GBDriver シリーズを自社 開発、販売しており、特に組み込み市場で強く求められる FAE（Field Application ...
5
Solid State Drive（SSD）：シリアルATA 6Gbps対応 高信頼性CFastカード CAS1Bシリーズの商品化
... SSD の 性 能 や 信 頼 性 を 左 右 す る メ モ リ コ ン ト ロ ー ラ IC に 、 TDK 新 規 自 社 開 発 の GBDriverGS1 シリーズを採用。NAND 型フラッシュメモリの最新仕様や動向をコントロー ラ設計に反映することで、SSD としての性能向上や、NAND メモリ世代間の互換性確保を ...
5
システム障害事例の分析により得られた教訓の共有 ~ 教訓を活用して情報システムの類似障害を削減 ~ 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 研究員齋藤毅
... Copyright© 2018 IPA, All Rights Reserved 作業ミスとルール逸脱は、個人の問題でなく組織の問題！ 【問題】運用作業者がグループウェアの全ユーザデータを削除 【原因】不慣れな運用作業者（新人）が、独断で運用規定外の手段（管理ツールを介さない サーバへの直接アクセス）により、誤操作（ ルール逸脱 ） ...
25
高性能・高信頼ハイエンドモデル産業用コンピュータ｢HF-W7500モデル20｣を販売開始
... 今回販売を開始する｢HF-W7500 モデル 20｣では、インテル ® Core™ 2 Duo プロセッサー T7400 を採 用し、大幅な性能向上を図りました。また、半導体など各種製造装置などへの組み込みといった産 業用コンピュータの使用環境を想定し、高機能 RAS プロセッサーを搭載して保守性を向上させたほ か、ハードウェア異常や RAS ...
5
NEXCESS基礎コース01 組込みソフトウェア開発技術の基礎 ソフトウェア開発プロセス編
... れているか 確認する ためのテスト項目の準備． › テスト項目としては ，ソフトウェアの機能要求，非機能要 求などを 網羅する › 個々のテスト項目に関する 合否判定の基準を明確 にして ...
22
つながる世界の開発指針 の 産業展開に向けて IPAサイバーセキュリティシンポジウム２０１７ 2017年2月8日 独立行政法人 情報処理推進機構 技術本部 ソフトウェア高信頼化センター 中尾 昌善 2016 IPA, All Rights Reserved Software Reliability
... （参考）NIST CPS Framework CPSが適用されるDomains、システムエンジニアリングプロセスの責任分界点を示すFacets、 Aspects、Facets横断的な関心事（Concerns）を示すFacetsで整理 TrusworthinessではCybersecurity、Privacy、Safety、Reliability、Resilienceをカバー • ...
29
ソフトウェア高信頼性への道程 新誠一 電気通信大学情報理工学研究科
... 開発に適用した車種「ギャラン フォルティス」「ランサーエボリューションX」を 発売する（1）（扉参照）。フルビークルHILSは、ネットワークでつないだ車両1 台分のECU数十台を一度に評価できるHILSで、日本の完成車メーカーがフ ルビークルHILSの量産車への適用を明らかにするのは初めてだ（ 図）。欧 州では、すでにDaimler ...
53
制御システムセーフティ セキュリティ検討 WG 活動のご紹介 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 調査役石田茂 IPA Software Reliability Enhancement Center
... FSA-S-IAC-5.2 認証コードのデフォルト変更 SUTは、 SUTのインストール時にデフォルトの認証者を変更する能力を提供しなければならない FSA-S-IAC-5.3 全ての認証コードの定期的変更 SUTは、定期的に認証者を変更する能力を提供しなければならない FSA-S-IAC-5.4 認証コードの保護 ...
17