高信頼化の手法（ハードウェア）
ISim ハードウェア協調シミュレーション チュートリアル : 浮動小数点高速フーリエ変換(FFT) のシミュレーションの高速化
... 付録 B : イーサネット ポートの決定 次の手順に従ってイーサネット ポートを決定し、イーサネットのアドレスを設定、確認して、シ ミュレーション run を検証します。手順 1 は、次の図を参照してください。 1. 協調シミュレーション ボードが接続されているイーサネット ポートを決定します。 a. システムのコマンド プロンプトでコマンド ターミナル ...
23
IPA セミナー第 8 部 11/21( 金 )15:50-16:40 ソフトウェア開発データ白書 の新分析項目のご紹介 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 研究員佐伯正夫研究員松田充弘 ET 年 11 月
... おわりに （Closing Remarks） ソフトウェア開発データ白書用に収集した現行プロジェクトデータを分析することによって、 生産性および信頼性に関して新たに見られた傾向を紹介した。 これらの傾向は、業種を始め様々なプロファイルのプロジェクトデータが混在した中でも見ら れる傾向であることから、各組織の同種のドメインにおいては、より強い傾向が見られること が期待される。 ...
45
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
... つながる世界では、コンシューマデバイスが主役の一つであり高いディペンダビリティ ※１ が求められるが、各種コンシューマデバイスに適用できる共通の開発方法論が無かった 横断的に適用できる体系化された効率的な枠組みとしてDependability Assurance Framework(DAF)をOMG ※２ に提案、2015年3月に国際標準規格として認定 ...
27
個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1
... 機能ブロックの再利用による要求分 析定義の生産性向上 ※文書コード生成検証の実現 １）要求のカテゴリ化と機能ブロック/属性の形式化 ２）形式記法を用いた機能仕様の日本語による形式化 ３）機能ブロック/属性の再利用によるDSL化の推進 ...
10
SEC 高信頼化技術適用事例セミナー 先進的な設計事例紹介 チュートリアル ソフトウェア品質の高信頼性および説明責任に有効な 利用品質メトリクスの解説 ~ 利用品質を構成する 5 つの領域の一つ HMI 品質 の役割を考える ~ 2014 年 6 月 24 日 株式会社 U eyes Design
... Copyright (C) 2014 U'eyes Design Inc., All Rights Reserved. ハイブリッドシステムのブレーキ制御や ABSの仕組みの働きと減速スピードとのバランスを ユーザモデルに合わせて調整できたら・・・ トラフィック情報量の増加 ユーザタイプ毎の ...
45
Information-technology Promotion Agency, Japan (ET-WEST 2013)2013 年 6 月 13 日 ~14 日 組込みシステム開発技術リファレンス ESxR シリーズ概要紹介 IPA 独立行政法人情報処理推進機構 SEC ソフトウェア高信頼化セン
... 組込みソフトウェアのコーディング品質向上のノウハウを整理 信頼性，保守性，移植性，効率性の４視点から例を含めて整理 具体的なコーデイング例を提示 Ｃ言語記述に関する品質を意識した「書き方」を規定 ...
29
つながる世界の開発指針 の 産業展開に向けて 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
システム障害事例の分析により得られた教訓の共有 ~ 教訓を活用して情報システムの類似障害を削減 ~ 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 研究員齋藤毅
... Copyright© 2018 IPA, All Rights Reserved No.12 歩留りのある製品の良品／不良品を検査する装置では、全てが 良品あるいは、不良品との検査結果は異常と判断すべきである 【特徴】 半導体の検査は複数のテストで構成され、その全てのテストが良の場合は検査結果が良品となる。 ...
25
Solid State Drive（SSD）：シリアルATA 3Gbps対応 高信頼性ソリッドステートドライブ SDG4Aシリーズの商品化
... 産業用途のお客様から特にご好評をいただいている、GBDriver の電源遮断時のデータ保全アル ゴリズムと内部電源バックアップ保護回路を標準搭載しており、産業用途で好まれる電源トラブ ルに強い SATA Flash Drive になっています。 さらに、全メモリ領域（ブロック）の書き換え（消去）回数を平準化する高度スタティック・ ...
5
高性能・高信頼ハイエンドモデル産業用コンピュータ｢HF-W7500モデル20｣を販売開始
... 今回販売を開始する｢HF-W7500 モデル 20｣では、インテル ® Core™ 2 Duo プロセッサー T7400 を採 用し、大幅な性能向上を図りました。また、半導体など各種製造装置などへの組み込みといった産 業用コンピュータの使用環境を想定し、高機能 RAS プロセッサーを搭載して保守性を向上させたほ か、ハードウェア異常や RAS ...
5
Solid State Drive（SSD）：シリアルATA 6Gbps対応 高信頼性CFastカード CAS1Bシリーズの商品化
... 4. 全領域スタティック・ウェアレベリング機能装備 TDK 独自のスタティック・ウェアレベリング・アルゴリズムにより、全メモリ領域（全ブロッ ク）について書き換え（消去）回数をカウントし、均等にブロックの置き換えを行います。OS 等の固定領域も定期的に均等化するため、メモリ寿命を飛躍的に向上しています。また、スタ ...
5
ソフトウェア開発データが語るメッセージ 2017 ~ 生産性 信頼性の経年推移の分析から ~ 2018 年 3 月 6 日 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC)
... 44 5. メッセージ (1) 定量的管理を推進し、生産性の経年推移を踏まえて生産性目標を設定しよう。 ソフトウェア開発プロジェクトは、低価格と短納期の強いプレッシャーに晒されることが多々ある。また、予 算管理や価格交渉等の場面で、例えば年率 5%の開発コスト削減や前年度比 10%のライン単価低減等が要求され ...
47
概要 生活支援ロボットと安全性 生活支援ロボット関連ナショナルプロジェクト NEDO 生活支援ロボット実用化プロジェクト 経済産業省ロボット介護機器開発 導入促進事業 高信頼ソフトウェア開発支援技術への期待 1
... 日本自動車研究所・産業技術総合研究所 労働安全衛生総合研究所・名古屋大学・日本品質保証機構 日本認証・日本ロボット工業会・製造科学技術センター 生活支援ロボットは人との接 触度が高くなるため，安全対 策を確認する試験方法が必 ...
63
制御システムセーフティ セキュリティ検討 WG 活動のご紹介 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 調査役石田茂 IPA Software Reliability Enhancement Center
... FSA-S-IAC-7.2 全ユーザに対するパスワード生成と有効期間制限 パスワードベースの認証を利用するために、 SUTは、すべてのユーザーのパスワードの最小値と最大 寿命の制限を強制する能力を提供しなければならない FSA-S-IAC-5 認証コード管理 識別と認証制御（ Ide n t ific at io n & Au t h e n t ic at ...
17
2011-R 年 1 月 19 日 クラウド時代に対応した企業向け新ネットワークサービス Universal One の提供開始について ~ 高品質 高信頼ネットワークを国内外シームレスに展開 ~ NTT コミュニケーションズ ( 略称 :NTT Com) は クラウド利用に最適化し
... ・高信頼／高品質なプレミアムプランから、安価に通信を可能にするベストエフォートプラン まで、品質と価格で選ぶ 4 つのプランにシンプル化。 ・プラン／帯域／オプションを選ぶ 3 ステップで、イージーオーダー設計を実現。 ・クラウド利用時に必要な事前のネットワーク設計が不要で、設計・構築の手間を省略。 ...
9
資料 1 事例から学ぶ IT サービスの高信頼化への アプローチ 2015 年 12 月 4 日 ( 金 ) 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 加藤均 Copyright 2015 IPA, All Rights Reserved Softw
... <出典> 片岡正次郎，鶴田舞，小路泰広：重要インフラ間の相互依存構造のモデル化と地震被害波及 シミュレーション，国総研資料 第 510 号，国土技術政策総合研究所（国総研），平成21年2月． http://www.nilim.go.jp/lab/bcg/siryou/tnn/tnn0510.htm 相互依存の事例 （災害時） ...
31
高性能・高信頼性InGaP/GaAs HBTおよびIC化技術の開発
... BCB）膜を塗布する。抵抗や金属/絶縁体/金属（MIM）容量 のパッシブ素子を形成し，エミッタ，ベース，コレクタ電極および抵 抗や MIM 容量に配線接続するための絶縁膜開口を行い，配線を 接続する。さらに，エアーブリッジや裏面ビア（VIA）ホールの形成 を製作する IC の設計に応じて行う。このエアーブリッジと VIA ホー ルは HBT ...
7
高信頼RTミドルウエアの開発
... たシステムにおいては、従来の手法のみで安全関連系 のソフトウエアを構築することは、難しくなりつつあ る。RT システムにおいても安全関連系が、多数のセン サ情報の処理やアクチュエータによる複雑な機構の制 御が含まれ複雑になる傾向があり、そのソフトウエア の安全性を証明し認証を取得することは容易ではない。 ...
5
つながる世界のセーフティ & セキュリティ設計入門 で伝えたいこと ~ 実態調査から見えたこと そして開発指針へ ~ ET/IoT2016 ブースプレゼン 2016 年 11 月 18 日 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 西尾桂子 2016
... セーフティ設計・セキュリティ設計に関する実態調査結果 「セーフティ設計・セキュリティ設計に関する実態調査結果」 （平成27年9月10日発行） 対象：自動車、スマートフォン、ヘルスケア、スマート家電の4分野 サンプル数：３２０社 調査期間：２０１５年２月～４月 有効回答：68組織 ...
25
高信頼化システム監視機能 HAモニタ kit for Oracle
... Oracle の構成 5 図 1-6 ソフトウェア構成 7 図 1-7 このマニュアルと HA モニタシリーズのマニュアルの対応 10 図 2-1 サーバの監視コマンドによる障害検出の流れ 12 図 2-2 系切り替え構成での運用の流れと，処理の流れで説明する内容との対応 14 図 2-3 Oracle ...
131