IPA/ソフトウェア高信頼化センターの
資料 1 事例から学ぶ IT サービスの高信頼化への アプローチ 2015 年 12 月 4 日 ( 金 ) 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 加藤均 Copyright 2015 IPA, All Rights Reserved Softw
31
IPA/SEC の活動 昨年度まで : ソフトウェア エンジニアリング今年度から : 情報処理システム ソフトウェア障害の対策, 教訓共有等 重点 : 生産性 信頼性向上から安全 安心へ 対象 : 企業 業界レベルから国民レベルへ 開発競争力強化から高信頼化へ 学会 SEC 産業界 大学 研究機関
12
Information-technology Promotion Agency, Japan (ET-WEST 2013)2013 年 6 月 13 日 ~14 日 組込みシステム開発技術リファレンス ESxR シリーズ概要紹介 IPA 独立行政法人情報処理推進機構 SEC ソフトウェア高信頼化セン
29
MIRACLE LINUXで構築する高信頼性 データベース ソリューション
13
所属 背景 東洋大学経営学部経営学科准教授 工業経営 / 経営システム工学, ソフトウェア工学, 品質マネジメント 主な学外活動 日本科学技術連盟 SQiPソフトウェア品質委員会運営委員長 IPA/SEC 高信頼化定量管理部会主査 ( ソフトウェア開発データ白書 ) 組込みシステム技術協会実装品質強
30
個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1
10
利用環境や目的から考える IoT システムの品質ーコンテキストを考慮した品質要求の明確化ー 森崎修司 IPA つながる世界の品質指針検討ワーキング グループ IPA IoT 高信頼化検討ワーキング グループ名古屋大学大学院情報学研究科
22
Solid State Drive(SSD):シリアルATA 3Gbps対応 高信頼性ソリッドステートドライブ SDG4Aシリーズの商品化
5
つながる世界のセーフティ & セキュリティ設計入門 で伝えたいこと ~ 実態調査から見えたこと そして開発指針へ ~ ET/IoT2016 ブースプレゼン 2016 年 11 月 18 日 独立行政法人情報処理推進機構 (IPA) 技術本部ソフトウェア高信頼化センター (SEC) 西尾桂子 2016
25
Solid State Drive(SSD):シリアルATA 6Gbps対応 高信頼性CFastカード CAS1Bシリーズの商品化
5
概要 生活支援ロボットと安全性 生活支援ロボット関連ナショナルプロジェクト NEDO 生活支援ロボット実用化プロジェクト 経済産業省ロボット介護機器開発 導入促進事業 高信頼ソフトウェア開発支援技術への期待 1
63
高性能・高信頼ハイエンドモデル産業用コンピュータ「HF-W7500モデル20」を販売開始
5
DeploymentManager Ver5.1 仮想化ソフトウェア対応状況 管理対象コンピュータの各仮想化ソフトウェア環境上の対応状況について記載しています 2011/4/28
5
Software Engineering Center Information-technology Promotion Agency, Japan SEC セミナ IT プロジェクトの見える化 IPA 情報処理推進機構 SEC ソフトウェア エンジニアリング センター 専門委員神谷芳樹 ( みたに
58
フラッシュおよびサーバー仮想化を介したデータセンターの経済的側面とパフォーマンスの変換 OCZ PCIe フラッシュベースの SSD と VXL ソフトウェアセンターが効率的で 無駄がなく 地球に優しい環境のデータセンターを作成する方法 アロン コーエン博士著 OCZ テクノロジーグループ 始めに
7
2021 年 2 月 10 日 デジタル工事写真の小黒板情報電子化対応ソフトウェア ( 一財 ) 日本建設情報総合センター研究開発部に主催する デジタル工事写真の高度化に関する協議 会 にて 信憑性確認機能 ( 改ざん検知機能 : ハッシュ値 (SHA-256)) を具備したソフトウェアの一 覧を以
9
ソフトウェアテスト自動化を改善する為のテスト手法
2
Liebert GXT3 -J 800VA - 3kVA コンパクトサイズで高信頼性を追求したオンライン UPS (100VAC 入出力 )
8
車載ソフトウェアのテスト自動化支援ツール
6
ソフトウェア高信頼性への道程 新誠一 電気通信大学情報理工学研究科
53