第 10 回 WOCS2 アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルール提案と 超小型衛星開発への適用評価 田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザイン マネジメント研究科 2 名古屋大学情報連携

1 1 DEOS D-Case [7, 17, 12, 10] [9, 2] D-Case D-Case 1 DEOS D-Script 1 DEOS D-Case (Safety Case) [3] (assure) D-Case 3 D-Script [14] D-Script D-RE 1

D-Case DEOS 25 5 1 DEOS-FY2013-DC-02J DEOS JST CREST 1 1 DEOS D-Case [7, 17, 12, 10] [9, 2] D-Case D-Case 1 DEOS D-Script 1 DEOS D-Case (Safety Case) [3] (assure) D-Case 3 D-Script [14] D-Script D-RE 1

1 JAXA IV&V の概要 ~IV&V と評価戦略可視化の関係 ~ 2016 年 01 月 19 日 国立研究開発法人宇宙航空研究開発機構研究開発部門第三研究ユニット Copyright 2015 JAXA all rights reserved.

1 JAXA IV&V の概要 ~IV&V と評価戦略可視化の関係 ~ 2016 年 01 月 19 日 国立研究開発法人宇宙航空研究開発機構研究開発部門第三研究ユニット Copyright 2015 JAXA all rights reserved. 2015 JAXA 2 本発表の目的 1. JAXA IV&V では なぜソフトウェア品質や評価戦略の可視化が必要であったのか理解する 2. JAXA

S o f t w a r e R e l i a b i l i t y E n h an c e m e n t C e n t er Information-technology Promotion Agency, Japan つながる世界のセーフティ & セキュリティ設計の見える化 つながる

S o f t w a r e R e l i a b i l i t y E n h an c e m e n t C e n t er Information-technology Promotion Agency, Japan つながる世界のセーフティ & セキュリティ設計の見える化 つながる世界 での安心 安全の仕組み環境の整備に向けて 2014 年 11 月 19 日 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター

RAMS の認証とセーフティケース 1) 独立行政法人産業技術総合研究所, 2) 西日本旅客鉄道株式会社 相馬大輔 1) 田口研治 1), 西原秀明 1), 大岩寛 1), 矢田部俊介 2), 森崇 2) 1

RAMS の認証とセーフティケース 1) 独立行政法人産業技術総合研究所, 2) 西日本旅客鉄道株式会社 相馬大輔 1) 田口研治 1), 西原秀明 1), 大岩寛 1), 矢田部俊介 2), 森崇 2) 1 産総研における機能安全規格への取り組み 様々な ( 機能 ) 安全規格 ガイドラインに対する企業の取り組みを支援 電気 電子機器 IEC 61508 車載組み込みシステム ISO 26262

1 ET 2014 IPA ブースプレゼン GSN (Goal Structuring Notation) を用いたアシュアランスケース セーフティーケース作成支援 ~ 認証支援のための方法論 ~ 2014 年 11 月 20 日 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門システムライ

1 ET 2014 IPA ブースプレゼン GSN (Goal Structuring Notation) を用いたアシュアランスケース セーフティーケース作成支援 ~ 認証支援のための方法論 ~ 2014 年 11 月 20 日 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門システムライフサイクル研究グループ 田口研治 相馬大輔 2 自己紹介 経歴 産業技術総合研究所招聘研究員 ( 併任

PowerPoint プレゼンテーション

GSN を応用したナレッジマネジメントシステムの提案 2017 年 10 月 27 日 D-Case 研究会 国立研究開発法人宇宙航空研究開発機構 研究開発部門第三研究ユニット 梅田浩貴 2017/3/27 C Copyright 2017 JAXA All rights reserved 1 目次 1 課題説明 SECI モデル 2 GSN を応用したナレッジマネジメントシステム概要 3 ツリー型チェックリスト分析

ソフトウェアの受け入れテストに対するゴール構造化表記法を用いた効率化の取り組み 高井利憲 Towards an effective framework for software acceptance testing by applying goal structuring notation TAKA

ソフトウェアの受け入れテストに対するゴール構造化表記法を用いた効率化の取り組み 高井利憲 Towards an effective framework for software acceptance testing by applying goal structuring notation TAKAI Toshinori ねらい介護ロボットなど あまり前例がなく かつ リスクも存在すると予想される新しいシステムに対しては

会社概要と私の経歴 1 / 30 会社概要 所在地 : 本社 ( 名古屋市中区 ) 刈谷事業所( 刈谷市 ) 設立 : 売上高 : 40 億 800 万円 (2014 年 3 月期 ) 従業員数 : 235 名 (2014 年 4 月時点 ) 業務内容 : ITSソフト ( ナビ

設計の見える化 (GSN) 入門 Embedded Technology 2015 2015.11.19, パシフィコ横浜 ( 株 ) デンソークリエイト宇都宮浩之 会社概要と私の経歴 1 / 30 会社概要 所在地 : 本社 ( 名古屋市中区 ) 刈谷事業所( 刈谷市 ) 設立 : 1991.2.14 売上高 : 40 億 800 万円 (2014 年 3 月期 ) 従業員数 : 235 名 (2014

PowerPoint プレゼンテーション

より安全なシステム構築のために ~CC-Case_i によるセキュリティ要件の見える化 2016.4.22 金子朋子 ( 株式会社 NTT データ ) Copyright 2012 NTT DATA Corporation Copyright 2012NTT DATA Corporation 2 自己紹介 金子朋子博士 ( 情報学 ) NTT データ品質保証部所属. 入社以来航空機データ通信システム

目次 1: 安全性とソフトウェア 2: 宇宙機ソフトウェアにおける 安全 とは 3:CBCS 安全要求とは 4: 宇宙機ソフトウェアの実装例 5: 安全設計から得た新たな知見 6: 今後 2

宇宙機ソフトウェアにおける 安全要求と設計事例 宇宙航空研究開発機構 (JAXA) 情報 計算工学センター (JEDI) 梅田浩貴 (Hiroki Umeda) 目次 1: 安全性とソフトウェア 2: 宇宙機ソフトウェアにおける 安全 とは 3:CBCS 安全要求とは 4: 宇宙機ソフトウェアの実装例 5: 安全設計から得た新たな知見 6: 今後 2 1.1 安全性とは 安全性と信頼性の違いの例開かない踏切りは

第4回報告書.PDF

7 8 () 13001630 / - 3 - 6 10 () 13001630 2. 3. 6 18 ()13001630 6 24 () 13001630 21 7 8 () 13001630 / 7 22 () 13001630 8 12 () 13001630 Context - 4 - 8 26 ()13001630 7 9 9 ()13001630 21 9 24 13001630 10

PowerPoint プレゼンテーション

SPI Japan 2012 車載ソフトウェア搭載製品の 機能安全監査と審査 2012 年 10 月 11 日 パナソニック株式会社デバイス社 菅沼由美子 パナソニックのデバイス製品 SPI Japan 2012 2 パナソニック デバイス社のソフト搭載製品 車載スピーカーアクティブ消音アクティブ創音歩行者用警告音 スマートエントリー グローバルに顧客対応 ソフトウェア搭載製品 車載 複合スイッチパネル

1. 本障害の概要 2011 年 3 月 11 日 ( 金 ) に発生した東日本大震災発生に伴い 14 日 ( 月 ) における A 社の義援金口座 a 及び 15 日 ( 火 ) における B 社の義援金口座 b という特定の口座にそれぞれ大量の振込が集中したことにより 夜間バッチが異常終了したこ

D-Case 適用事例 1 2011 年の大手銀行の障害 DEOS プロジェクト 2013 年 5 月 31 日 DEOS 研究開発センター JST-CREST 1. 本障害の概要 2011 年 3 月 11 日 ( 金 ) に発生した東日本大震災発生に伴い 14 日 ( 月 ) における A 社の義援金口座 a 及び 15 日 ( 火 ) における B 社の義援金口座 b という特定の口座にそれぞれ大量の振込が集中したことにより

人は見たいモノしか見ない Moonwalking Bear に気づかない 放射線技師の 83% がゴリラを見逃した 俯瞰的にものごとを捉えるのは簡単ではない だからこそ 武器 が必要 2

システムズエンジニアリング入門 ~IoT 時代の価値実現に必須となるアプローチ ~ 慶應義塾大学システムデザイン マネジメント研究科准教授白坂成功 1 人は見たいモノしか見ない Moonwalking Bear に気づかない 放射線技師の 83% がゴリラを見逃した 俯瞰的にものごとを捉えるのは簡単ではない だからこそ 武器 が必要 2 自己紹介 修士 : 東京大学大学院工学系研究科 博士 : 慶應義塾大学大学院

教室案内.pptx

(Informative) D-Case D-Case [1] D-Case ( DEOS: 2014) D-Case GSN (Goal Structuring Notation)[2] D-Case GSN [2] [2] D-Case D-Case [2] [3] D-Case GSN D-C

!"#$%&&'()*+)',$'-$.#/#,0*1)2)+3$4,5),##6),5$-'6$7/#,$83&+#9& D-Case * 1 DEOS D-Case * 2 2015 4 20 *1 version 1.0 *2 : ( matsuno.yutaka@nihon-u.ac.jp) ( takai@is.naist.ac.jp) c Yutaka Matsuno, Toshinori

Microsoft PowerPoint - A3②　JaSST_MISRA2004ソースコード品質診断.ppt

ISO/IEC9126 & MISRA-C:2004 ベースソースコード品質診断 ~ MISRA-C:2004 ベース品質診断のご紹介 ~ 株式会社東陽テクニカソフトウェア ソリューション MISRA とは Motor Industry Software Reliability Association の略 ヨーロッパ自動車技術会 (MIRA) の下部組織 MIRA: Motor Industry

JICA 事業評価ガイドライン ( 第 2 版 ) 独立行政法人国際協力機構 評価部 2014 年 5 月 1

JICA 事業評価ガイドライン ( 第 2 版 ) 独立行政法人国際協力機構 評価部 2014 年 5 月 1 JICA 事業評価ガイドライン ( 第 2 版 ) ( 事業評価の目的 ) 1. JICA は 主に 1PDCA(Plan; 事前 Do; 実施 Check; 事後 Action; フィードバック ) サイクルを通じた事業のさらなる改善 及び 2 日本国民及び相手国を含むその他ステークホルダーへの説明責任

どのような便益があり得るか? より重要な ( ハイリスクの ) プロセス及びそれらのアウトプットに焦点が当たる 相互に依存するプロセスについての理解 定義及び統合が改善される プロセス及びマネジメントシステム全体の計画策定 実施 確認及び改善の体系的なマネジメント 資源の有効利用及び説明責任の強化

ISO 9001:2015 におけるプロセスアプローチ この文書の目的 : この文書の目的は ISO 9001:2015 におけるプロセスアプローチについて説明することである プロセスアプローチは 業種 形態 規模又は複雑さに関わらず あらゆる組織及びマネジメントシステムに適用することができる プロセスアプローチとは何か? 全ての組織が目標達成のためにプロセスを用いている プロセスとは : インプットを使用して意図した結果を生み出す

宇宙機搭載ソフトウエア開発のアセスメント

SPI-JAPAN2009 セッション :1A 現場 / 他部門との協調 No.3 宇宙機搭載ソフトウエア開発の アセスメント ( 独 ) 宇宙航空研究開発機構 情報計算工学センター (JAXA/JEDI) 古石 ゆみ < 共著 > ( 独 ) 宇宙航空研究開発機構情報 計算工学センター (JAXA/JEDI) 宮本 祐子 NEC 東芝スペースシステム株式会社 岩崎 正明 ( 株 )SRA 小嶋 勉

15288解説_D.pptx

ISO/IEC 15288:2015 テクニカルプロセス解説 2015/8/26 システムビューロ システムライフサイクル 2 テクニカルプロセス a) Business or mission analysis process b) Stakeholder needs and requirements definieon process c) System requirements definieon

Copyright Compita Japan ISO33k シリーズとは? これまで使用されてきたプロセスアセスメント標準 (ISO/IEC 本稿では以降 ISO15504 と略称する ) は 2006 年に基本セットが完成し 既に 8 年以上が経過しています ISO

新アセスメント規格 ISO 33K シリーズの概要 2015 年 4 月 9 日 コンピータジャパン Copyright Compita Japan 2015 2 ISO33k シリーズとは? これまで使用されてきたプロセスアセスメント標準 (ISO/IEC 15504 - 本稿では以降 ISO15504 と略称する ) は 2006 年に基本セットが完成し 既に 8 年以上が経過しています ISO15504

システムズエンジニアリングとは? システムを成功させるための複数の専門分野にまたがるアプローチと手段である JCOSE(Japan Council on Systems Engineering) ここでいう システム は コンピュータシステムにとどまらず 機械 電気機器 人間系 ( 操作者 ) 環境

システムズエンジニアリング 事始め ~ 実践事例に見るキーポイント ~ IPA 社会基盤センターエンジニアリンググループグループリーダー 中尾 昌善 システムズエンジニアリングとは? システムを成功させるための複数の専門分野にまたがるアプローチと手段である JCOSE(Japan Council on Systems Engineering) ここでいう システム は コンピュータシステムにとどまらず

表 3 厚生労働省新旧ガイドライン目次比較 は新ガイドラインで追加された項目 コンピュータ使用医薬品等製造所適正管理ガイドライン 第 1 目的 1. 総則 1.1 目的 第 2 適用の範囲 2. 適用の範囲 第 3 開発業務 1. 開発検討段階 (1) 開発段階の責任体制の確立 (2) 開発マニュア

表 3 厚生労働省新旧ガイドライン目次比較 は新ガイドラインで追加された項目 コンピュータ使用医薬品等製造所適正管理ガイドライン 第 1 目的 1. 総則 1.1 目的 第 2 適用の範囲 2. 適用の範囲 第 3 開発業務 1. 開発検討段階 (1) 開発段階の責任体制の確立 (2) 開発マニュアルの作成 (3) 開発計画書の作成 2. システム設計段階 (1) システム設計書の作成 (2) システム設計書の確認

ISO 9001:2015 改定セミナー (JIS Q 9001:2015 準拠 ) 第 4.2 版 株式会社 TBC ソリューションズ プログラム 年版改定の概要 年版の6 大重点ポイントと対策 年版と2008 年版の相違 年版への移行の実務

ISO 9001:2015 改定セミナー (JIS Q 9001:2015 準拠 ) 第 4.2 版 株式会社 TBC ソリューションズ プログラム 1.2015 年版改定の概要 2.2015 年版の6 大重点ポイントと対策 3.2015 年版と2008 年版の相違 4.2015 年版への移行の実務 TBC Solutions Co.Ltd. 2 1.1 改定の背景 ISO 9001(QMS) ISO

日立ヴォルテージ75_出力.indd

VoltAge21 02

日経ビジネス Center 2

Software Engineering Center Information-technology Promotion Agency, Japan ソフトウェアの品質向上のために 仕様を厳密に 独立行政法人情報処理推進機構 ソフトウェア エンジニアリング センター 調査役新谷勝利 Center 1 日経ビジネス 2012.4.16 Center 2 SW 開発ライフサイクルの調査統計データ ソフトウェア産業の実態把握に関する調査

HIGIS 3/ﾌﾟﾚｾﾞﾝﾃｰｼｮﾝ資料/J_GrayA.ppt

品質保証部における W モデル適用の検討と実践 2013/09/13 株式会社日立製作所情報 通信システム社 IT プラットフォーム事業本部開発統括本部プラットフォーム QA 本部ソフト品質保証部 富田貴仁, 秦泉寺貴文, 高山啓 0 品質保証部における W モデル適用の検討と実践 Contents 1. 章はじめに 2. 章現状の品質保証工程の分析 3. 章 Wモデルの適用の検討 4. 章実施と評価

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 1

個人依存開発から組織的開発への移行事例 ~ 要求モデル定義と開発プロセスの形式化 による高生産性 / 高信頼性化 ~ 三菱電機メカトロニクスソフトウエア ( 株 ) 和歌山支所岩橋正実 iwahashi@est.hi-ho.ne.jp Iwahashi.Masami@wak.msw.co.jp 1 改善効果 品質 : フロントローディングが進み流出不具合 0 継続生産性 : 平均 130% 改善 工数割合分析

プロジェクトマネジメント知識体系ガイド (PMBOK ガイド ) 第 6 版 訂正表 - 第 3 刷り 注 : 次の正誤表は PMBOK ガイド第 6 版 の第 1 刷りと第 2 刷りに関するものです 本 ( または PDF) の印刷部数を確認するには 著作権ページ ( 通知ページおよび目次の前 )

プロジェクトマネジメント知識体系ガイド (PMBOK ガイド ) 第 6 版 訂正表 - 第 3 刷り 注 : 次の正誤表は PMBOK ガイド第 6 版 の第 1 刷りと第 2 刷りに関するものです 本 ( または PDF) の印刷部数を確認するには 著作権ページ ( 通知ページおよび目次の前 ) の一番下を参照してください 10 9 8 などで始まる文字列の 最後の 数字は その特定コピーの印刷を示します

Microsoft Word - _DEIM2014_Shida.docx

DEIM Forum 2014 E3-6 AssureNote: Wiki 記 法 ベースの GSN オーサリングツール 松 村 哲 郎 志 田 駿 介 倉 光 君 郎 横 浜 国 立 大 学 大 学 院 240-8501 神 奈 川 県 横 浜 市 保 土 ヶ 谷 区 常 盤 台 79-1 横 浜 国 立 大 学 240-8501 神 奈 川 県 横 浜 市 保 土 ヶ 谷 区 常 盤 台 79-1

医療機器開発マネジメントにおけるチェック項目

2018 年 11 月作成 医療機器開発マネジメントにおけるチェック項目 1. 各ステージゲートにおけるチェック項目 (1) チェック項目作成の目的従来個々の事業において実施されていた 事前 中間 事後の各ゲートにおける評価項目 Go/no-go の判断を 医療機器開発全期間を通して整理し 共通認識化する 技術的観点及び事業化の観点の双方を意識し 医療機器開発の特性を考慮したチェック項目を設定する

[2] ISO26262 [1] ISO26262 IEC61508 ISO26262 ( ) SG(Safety Goal) SG ISO26262 (EPS, Electronic Power Steering system) EPS ( ) KAOS[3] EPS 2 KAOS Tim Kel

ISO26262 1 1 1 2 2 2 ISO26262 Safety Goal KAOS Modeling Safety Requirements of ISO26262 using Goal Trees and Patterns Toshiaki Aoki 1 Kriangkrai Traichaiyaporn 1 Yuki Chiba 1 Masahiro Matsubara 2 Masataka

GSN_Standard_by_ChangeVision (Ver3)

2011 年 11 月 2014 年 6 月株式会社チェンジビジョン訳 2014 年 12 月修正 2011 Origin Consulting (York) Limited, 貢献者を代表して i 序章 このスタンダードは二つの目的がある. 一つ目は, ゴール構造表記法 ( 以下,GSN という ) の包括的で, 正式な定義を提供すること, 二つ目は,GSN の利用に当たって現時点でベストな練習教材を,

テスト設計コンテスト　フロア展示資料

チーム nema: フロア展示資料 話題沸騰ポット (GOMA-1015 型 ) テスト設計書 ~ 安全なポットを使っていただくために ~ チーム紹介 NEC の QC 活動のひとつに テスト技術者交流会 があり NEC グループ関係会社を含め約 200 名のメンバーが在籍 この交流会ではこれまで下記のような活動をしてきた 結合テストにおけるテスト観点のモレヌケ防止を目的にした テスト設計テンプレート

IBIS Quality Framework IBIS モデル品質向上のための枠組み

Quality Framework モデル品質向上のための枠組み EDA 標準 WG 1 目次 - 目次 - 1. 活動の背景 2. Quality Framework 3. ウェブサイトのご紹介 4. Frameworkの活用方法 2 目次 - 目次 - 1. 活動の背景 2. Quality Framework 3. ウェブサイトのご紹介 4. Frameworkの活用方法 3 1. 活動の背景

Microsoft Word - ESｘR_Trialreport_2007.doc

2007 年度 ESxR 実証実験 トライアル報告書 2008 年 3 月 31 日 ソフトウェア エンシ ニアリンク センター 組み込み系プロジェクト < 目次 > 1. はじめに... 3 第 1 章 ESCR 実証計画 ( 富士フイルムソフトウエア株式会社 )... 4 1. トライアルの目的... 4 2. H19 年度活動... 4 3. H20 年度トライアル計画... 6 4. 関係図...

4.7.4 プロセスのインプットおよびアウトプット (1) プロセスへのインプット情報 インプット情報 作成者 承認者 備 考 1 開発に関するお客様から お客様 - の提示資料 2 開発に関する当社収集資 リーダ - 料 3 プロジェクト計画 完了報 リーダ マネージャ 告書 ( 暫定計画 ) 4

サンプル : プロジェクト管理規定 4.7 プロジェクト立ち上げ 4.7.1 目的 本プロセスはリーダ主導で プロジェクト体制の確立とプロジェクト内容 分担 業務指示 プロジェクト目標 担当者別プロジェクト目標を開発メンバに周知徹底することによって 組織としての意識統一を図るとともに開発プロセスをスムーズに立ち上げることを目的とする 4.7.2 このプロセスにかかわる人物の役割と責務 部門 略記 参加

パラダイムシフトブック.indb

3. 記録管理プログラムの作成記録管理のプログラムとは 組織ごとの記録管理の方針からルール ( 管理規則 実施手順など ) 教育計画 監査基準まで すべてがセットになったものであり 組織における包括的な記録管理の仕組みである この項では ISO15489の考え方をベースに国際標準に基づいた記録管理プログラムとはどのようなものか示す 記録管理のプログラムを作成する場合 先に述べた基本的な記録管理の要求事項

2. 目的 1RationalRose を利用する場合にプログラム仕様書としての最低限必要な記述項目を明確にする 2 プログラム仕様書として記載内容に不足がない事をチェックする 3UML の知識があるものであれば 仕様書の内容を理解できること 4Rose にて入力した内容を SoDaWord を利用

プログラム仕様書 (UML 表記法 ) ガイドライン 本仕様書に UML(Rational Rose 使用 ) を用いてプログラム仕様書を作成する際のガイドラインを記す 1. ドキュメントの様式について 1 ドキュメントは制御単位で作成する 2 表紙 及び変更履歴は SWS にて指定されたものを付加すること 3 下記の目次内で指定している UML 図 記述項目は必須項目とする 4SoDa にてドキュメントを出力する場合は

2. 手法の前提概念 2.1 ソフトウェア FMEA とその課題 FMEA は システムにおいて発生する故障を抽出し その影響の致命度に基づく相対的な定量評価等 に基づき 故障に対する対策を検討する手法である その分析結果の質 効果は 分析対象アイテム の選択と故障の発想が重要であり SW に対する

GSN 及び ESD モデルを用いたソフトウェア FMEA の提案 Failure mode and effect analysis using Goal Structuring Notation and Event Sequence Diagram for Software 国立研究開発法人宇宙航空研究開発機構研究開発部門第三研究ユニット (Research and Development Directorate,

サービス付き高齢者向け住宅賠償責任保険.indd

1 2 1 CASE 1 1 2 CASE 2 CASE 3 CASE 4 3 CASE 5 4 3 4 5 6 2 CASE 1 CASE 2 CASE 3 7 8 3 9 10 CASE 1 CASE 2 CASE 3 CASE 4 11 12 13 14 1 1 2 FAX:03-3375-8470 2 3 3 4 4 3 15 16 FAX:03-3375-8470 1 2 0570-022808

コンテンツセントリックネットワーク技術を用いた ストリームデータ配信システムの設計と実装

コンテンツセントリックネットワークにおけるストリームデータ配信機構の実装 川崎賢弥, 阿多信吾, 村田正幸 大阪大学大学院情報科学研究科 大阪市立大学大学院工学研究科 2 発表内容 研究背景 研究目的 ストリームデータ配信機構の設計 ストリームデータのモデル化 コンテンツの名前構造 ストリームデータの要求とフロー制御 ストリームデータ配信機構の実装 動作デモンストレーション 3 コンテンツセントリックネットワーク

国際規格の動向について (ISO 22000の改訂状況)

資料 3 ISO 22000 改訂状況について FCP 第 4 回国際標準に関する勉強会 2015 年 11 月 27 日 ( 金 ) 東京海洋大学先端科学技術研究センター教授湯川剛一郎技術士 ( 総合技術監理部門 農業部門 ( 食品化学 )) 1 目次 1. 現行のISO 22000について 2. 規格検討の経緯 3. 改訂の背景 4. 改訂に係る議論 5. 今後の予定 2 1 現行の ISO 22000

Test.SSF Skill Standards Version 1.0

SSF に基づくテスト技術スキルフレームワークスキル基準 テストプロフェッショナルの戦略的育成に向けて [Version 1.0] 2012 年 12 月 特定非営利活動法人ソフトウェアテスト技術振興協会 (ASTER) 一般社団法人 IT 検証産業協会 (IVIA) 1/15 I. 概要... 3 1. スキル基準の概要... 3 2. スキル基準の必要性... 3 3. スキル基準で期待される効果...

CW テレメトリフォーマットについて SPROUT の CW テレメトリは, 衛星局コールサイン, 衛星名,8 種類のモード,6 種類のデータ群から構成されています. CW テレメトリフォーマット構成 CW モード一覧 G0 初期動作モード G1 ( 停波モード ) G2 省電力モード G3 通常モ

CW Telemetry Data Format For "SPROUT" Revision C Date:2014/6/5 Authored Nihon University CubeSat Project Yusuke Takuro Kento Kento Yamaguchi Uehara Ohinata Ohinata 2014/4/25 2014/5/14 2014/5/22 2014/6/5

アジェンダ アシュアランスケースとは アシュアランスケースの必要性 論理の基礎 アシュアランスケースの表記法 GSN を例とした記法の説明 アシュアランスケースの利用 つながる世界での応用 3

アシュアランスケースの概要 2016年1月19日 独立行政法人 情報処理推進機構 技術本部 ソフトウェア高信頼化センター ソフトウェアグループ 研究員 鈴木基史 ソフトウェアグループ 研究員 佐々木方規 1 アジェンダ アシュアランスケースとは アシュアランスケースの必要性 論理の基礎 アシュアランスケースの表記法 GSN を例とした記法の説明 アシュアランスケースの利用 つながる世界での応用 3

はじめに IPA/SEC では ソフトウェア品質説明力を強化すべく様々な観点からの検討を実施してきました その一環として ソフトウェア品質を説明するための手法等について具体的な実施方法 そのための作業量 実施にあたっての課題等を整理し 実際にソフトウェア品質を説明する際の参考とできるようにするために

既製システムを ISO26262 に適合させる場合の セーフティケースの利用とその評価 実施報告書 2013 年 2 月 はじめに IPA/SEC では ソフトウェア品質説明力を強化すべく様々な観点からの検討を実施してきました その一環として ソフトウェア品質を説明するための手法等について具体的な実施方法 そのための作業量 実施にあたっての課題等を整理し 実際にソフトウェア品質を説明する際の参考とできるようにするために

RaQuest MindManager

How to use MindManager Add-in with RaQuest by SparxSystems Japan 1. はじめに このドキュメントでは 要求管理ツール RaQuest と 連携するマインドマップツールで ある MindManager の 2 つのソフトウェアを活用し ソフトウェアシステムの設計開発に おける要求分析および管理を効率化する方法についてご紹介します 2.

コンシューマデバイス安全規格の概要と規格策定の方法論 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門 (RISEC) システムライフサイクル研究グループ (IPA/SEC コンシューマデバイス安全標準化 WG 副主査 ) 田口研治 産業技術総合研究所

コンシューマデバイス安全規格の概要と規格策定の方法論 ( 独 ) 産業技術総合研究所 セキュアシステム研究部門 (RISEC) システムライフサイクル研究グループ (IPA/SEC コンシューマデバイス安全標準化 WG 副主査 ) 田口研治 自己紹介 経歴 産業技術総合研究所招聘研究員 ( 併任 ) 2010 年 4 月 ~ ( 株 ) シーエーブイテクノロジーズ代表取締役社長 2011 年 4 月

過去問セミナーTM

ALTM 過去問題解説 May 22, 2017 JSTQB Technical Committee 委員長谷川聡 Agenda 試験問題の出題について K2 TM-4.4.1 欠陥マネジメント K3 TM-2.7.2 テストマネジメント K4 TM-2.3.3 テストマネジメント 勉強を進めていくにあたって 2 試験問題の出題について 学習の目的 (L.O) に従ってシラバスのそれぞれの課題を試験する

【NEM】発表資料(web掲載用).pptx

ユーザビリティ評価方法の 実践的拡張および適用 ソフトウェアテストシンポジウム 2013 東京 2013 年 1 月 30 日 ( 水 )~31 日 ( 木 ) 株式会社日立製作所 IT プラットフォーム事業本部 プラットフォーム QA 本部ソフト品質保証部 河野哲也 TAN LIPTONG 岩本善行 ソフトウェア本部生産技術部白井明居駒幹夫 NE 比 ( 倍 ) 非熟練者平均 ( 秒 ) 熟練者平均

<4D F736F F D F815B B E96914F92B28DB8955B>

1. 一般事項 記入者 : 記入日 : 1.1 御社担当者情報 会社名住所担当者部署電話番号 FAX 番号 1.2 システム情報 システム名システムバージョン対応 OS 動作環境システム概要 1 1.3 監査者情報 監査者 部署 電話番号 1.4 規制当局のレビュ 1) これまでに規制当局による査察を受けたことがありますか? Yes No Yes の場合 査察を受けた年月日と結果を記載してください

日本機械学会 生産システム部門研究発表講演会 2015 資料

( 社 ) 日本機械学会生産システム部門研究発表講演会 2015 製造オペレーションマネジメント入門 ~ISA-95 が製造業を変える ~ 事例による説明 2015-3-16 Ver.1 IEC/SC65E/JWG5 国内委員アズビル株式会社村手恒夫 目次 事例によるケーススタディの目的 事例 : 果汁入り飲料水製造工場 情報システム構築の流れ 1. 対象問題のドメインと階層の確認 2. 生産現場での課題の調査と整理

<4D F736F F F696E74202D20534A D80904D978A835C A4A94AD82D682CC8EE DD EC816A2E707074>

SPI Japan 2012 高信頼ソフトウェア開発への取組み ~ 製品安全 機能安全 システム安全 ~ 2012 年 10 月 11 日パナソニック株式会社中川雅通 はじめに 製品の信頼性 安全性へのソフトウェアの果たす役割が強まっている また機能安全 大規模化するシステムへの対応も必要となっている 従来の製品安全から 機能安全 システム安全への流れと それらでの取組みについて説明する SPI Japan

付録2 第26号科学衛星（ASTRO-H）プロジェクトについて

5. 開発計画 5-10. 国際協力に基づいた打ち合わせ実績の例 平成 20 年 9 月 29 日 : 第 1 回設計会議 平成 20 年 12 月 12 日 : NASA 側 SRR/SDR 平成 21 年 2 月 27 日 : 第 3 回設計会議 平成 21 年 6 月 29 日 : すざく /ASTRO-H 国際会議 ( 小樽 ) 平成 21 年 7 月 30 日 : 第 5 回設計会議 これまでに

変更履歴 バージョン日時作成者 変更者変更箇所と変更理由 RIGHTS R ESER VED. Page 2

改善計画書 注意事項 本改善活動計画書のテンプレートは 講演用に作成したサンプル用のテンプレートです そのためにシンプルな構成にしてあります 実際に改善活動計画書を作成する場合は 企業や組織の規模や目的および改善活動の内容に応じて 記載内容は追加記述が必要となる場合があります 本テンプレートを参考し ご利用する場合は企業や組織の特徴や都合に合わせて 必要に応じて適宜カスタマイズしてご利用ください 変更履歴

2

2

2

要求仕様管理テンプレート仕様書

目次 1. テンプレート利用の前提... 2 1.1 対象... 2 1.2 役割... 2 1.3 プロセス... 2 1.4 ステータス... 3 2. テンプレートの項目... 4 2.1 入力項目... 4 2.2 入力方法および属性... 5 2.3 他の属性... 6 3. トラッキングユニットの設定... 7 3.1 メール送信一覧... 7 3.1.1 起票... 7 3.1.2 作成中...

ソフトウェアテストプロセスに関する一考察 － Ｖ ⇒ Ｗ ⇒ Ｖ３ －

ソフトウェアテストプロセスに関する一考察ー V W V3 W ー 小川秀人 ( 株式会社日立製作所 ) ソフトウェアテストシンポジウム 2007 東京 2007 年 1 月 30 日 モチベーション 自己紹介 ( 主に ) 大規模組込みソフトウェアを対象とした開発技術の研究 開発プロセス, アーキテクチャ, コーディング, テスト 種々の製品やプロジェクトに対して技術開発 導入 問題意識 違う組織に行くと,

スライド 1

Sorich Project Management Standard All Rights Reserved, Copyright 2008, SORICH Ltd. DATE: 2009/6/22 PAGE: 1 構成要素 プロジェクトを管理項目に分解して個々の手法 フォーマットを確立し シームレスに連携します 概要使用ツール取り決め事項等 スケジュール管理 プロジェクトのスケジュールを WBS

再生材料や部品の利用促進を具体的に進めていることから その努力を示すものとして 本規格では マテリアルリサイクル及びリユースのみを対象としている 機器製造業者が直接その努力に関わるという 観点からも 本規格では 再生資源をマテリアルリサイクルのみに限定している Q5) 自らが資源循環利用をコントロー

( 一般社団法人日本電機工業会 (JEMA) 2017 年 3 月 JIS C 9911 電気 電子機器の資源再利用指標などの算定及び表示の方法 の FAQ 適用範囲 Q1) 適用範囲を家電リサイクル法対象機器としている理由は? A1) 電気 電子機器の中で 家電リサイクル法対象機器は その回収 リサイクルのプロセスが法律で制度化されている 本規格は 機器製造業者 ( 特に設計者 ) が 機器の設計時に世代を跨る再生材料等の利用を促進させ

Microsoft PowerPoint - 集積回路工学(5)_ pptm

集積回路工学 東京工業大学大学院理工学研究科電子物理工学専攻 松澤昭 2009/0/4 集積回路工学 A.Matuzawa (5MOS 論理回路の電気特性とスケーリング則 資料は松澤研のホームページ htt://c.e.titech.ac.j にあります 2009/0/4 集積回路工学 A.Matuzawa 2 インバータ回路 このようなインバータ回路をシミュレーションした 2009/0/4 集積回路工学

CompuSec SW アプリケーションガイド

CompuSec CompuSec SW Ver.5 Windows 2000/XP/Vista Contents PART.1 PART.2 PART.3 PART.4 2 PART.5 PART.6 PART.7 PART.8 PART.9 3 PART.10 PART.11 PART.12 PART.13 PART.14 4 5 PART1 6 PART 1 7 8 PART 1 9 PART2

Microsoft PowerPoint - DO-178C満たすべきObjectivesとツール資格A.pptx

RTCA/DO-178C の詳細 ~ 満たすべき Objectives とツール資格について ~ 平成 5 年 1 月 6 日 MHIエアロスペースシステムズ株式会社 -1- 1.1 概要 DO-178C とは そのタイトルが Software Considerations in Airborne Systems and Equipment Certification であり RTCA( 航空無線技術委員会

食肉製品の高度化基準 一般社団法人日本食肉加工協会 平成 10 年 10 月 7 日作成 平成 26 年 6 月 19 日最終変更 1 製造過程の管理の高度化の目標事業者は 食肉製品の製造過程にコーデックスガイドラインに示された7 原則 12 手順に沿ったHACCPを適用して製造過程の管理の高度化を

食肉製品の高度化基準 一般社団法人日本食肉加工協会 平成 10 年 10 月 7 日作成 平成 26 年 6 月 19 日最終変更 1 製造過程の管理の高度化の目標事業者は 食肉製品の製造過程にコーデックスガイドラインに示された7 原則 12 手順に沿ったHACCPを適用して製造過程の管理の高度化を図ることとし このための体制及び施設 ( 建物 機械 装置をいう 以下同じ ) の整備を行うこととする

Oracle Un お問合せ : Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよ

Oracle Un お問合せ : 0120- Oracle Data Integrator 11g: データ統合設定と管理 期間 ( 標準日数 ):5 コースの概要 Oracle Data Integratorは すべてのデータ統合要件 ( 大量の高パフォーマンス バッチ ローブンの統合プロセスおよびSOA 対応データ サービスへ ) を網羅する総合的なデータ統合プラットフォームです Oracle

J-SOX 自己点検評価プロセスの構築

統制自己評価 (CSA) 支援サービスのご案内 目次 1. 弊社がご提供するサービス 2. 各サービスの詳細 1. 自己点検における評価モデルの構築支援 2. 請負を含めた実地指導 3. 会社による自己点検状況の評価とアドバイス ( 参考 1) 実施基準における自己点検の取扱い ( 参考 2) 実務指針 ( 改正案 ) における自己点検の取扱い ( 参考 3) 自己点検導入のメリット デメリット (

無印良品のスキンケア

2 3 4 5 P.22 P.10 P.18 P.14 P.24 Na 6 7 P.10 P.22 P.14 P.18 P.24 8 9 1701172 1,400 1701189 1,000 1081267 1,600 1701257 2,600 1125923 450 1081250 1,800 1125916 650 1081144 1,800 1081229 1,500 Na 1701240

[ 指針 ] 1. 組織体および組織体集団におけるガバナンス プロセスの改善に向けた評価組織体の機関設計については 株式会社にあっては株主総会の専決事項であり 業務運営組織の決定は 取締役会等の専決事項である また 組織体集団をどのように形成するかも親会社の取締役会等の専決事項である したがって こ

実務指針 6.1 ガバナンス プロセス 平成 29( 2017) 年 5 月公表 [ 根拠とする内部監査基準 ] 第 6 章内部監査の対象範囲第 1 節ガバナンス プロセス 6.1.1 内部監査部門は ガバナンス プロセスの有効性を評価し その改善に貢献しなければならない (1) 内部監査部門は 以下の視点から ガバナンス プロセスの改善に向けた評価をしなければならない 1 組織体として対処すべき課題の把握と共有

PowerPoint Presentation

ネットワークスイッチの管理情報を自動生成! PortMap for Zabbix のご紹介 NTT コムソリューションズ株式会社 マネジメントソリューション本部プラットフォームソリューション部 田中武信 会社紹介 NTT コムソリューションズ株式会社 (https://www.nttcsol.com/) NTTコミュニケーションズの100% 子会社 2008 年より Zabbix 社と提携したZabbix

目次 ペトリネットの概要 適用事例

ペトリネットを利用した状態遷移テスト 和田浩一 東京エレクトロン SDC FA グループ 目次 ペトリネットの概要 適用事例 ペトリネットの概要 - ペトリネットとは ペトリネット (Petri Net) とは カール アダム ペトリが 1962 年に発表した離散分散システムを数学的に表現する手法である 視覚的で 数学的な離散事象システムをモデル化するツールの一つである ペトリネットの概要 - ペトリネットの表記と挙動

ISO9001：2015内部監査チェックリスト

ISO9001:2015 規格要求事項 チェックリスト ( 質問リスト ) ISO9001:2015 規格要求事項に準拠したチェックリスト ( 質問リスト ) です このチェックリストを参考に 貴社品質マニュアルをベースに貴社なりのチェックリストを作成してください ISO9001:2015 規格要求事項を詳細に分解し 212 個の質問リストをご用意いたしました ISO9001:2015 は Shall

040402．ユニットテスト

2. ユニットテスト ユニットテスト ( 単体テスト ) ユニットテストとはユニットテストはプログラムの最小単位であるモジュールの品質をテストすることであり その目的は結合テスト前にモジュール内のエラーを発見することである テストは機能テストと構造テストの2つの観点から行う モジュールはプログラムを構成する要素であるから 単体では動作しない ドライバとスタブというテスト支援ツールを使用してテストを行う

24,828,330 Contents 9,931,332 8,223,840 3,436,978 9,931,332 7,674,406 3,413,724 2,985,287 1

24,828,330 Contents 9,931,332 8,223,840 3,436,978 9,931,332 7,674,406 3,413,724 2,985,287 1 2 3 1Chapter 138 4 5 Case Study 1 Case Study 2 6 Case Study 4 7 Case Study 3 9 Case Study 6 Case Study 5 8 10

資料7－2　川嶋委員からの資料

英国 米国における教育評価 ( 質保証 ) の動向 大学分科会資料 ( 第 100 回 ) 平成 23 年 10 月 4 日 川嶋太津夫 1 英国の質保証の枠組 第三者評価 QAA (Institutional Audit) 専門職団体 (Accreditation) 高等教育の水準と質の保証 大 学 外部参照枠組 内部質保証システム ( プログラム認可委員会 プログラム評価委員会 ) 学術基盤 (Academic

DumpsKing Latest exam dumps & reliable dumps VCE & valid certification king

DumpsKing http://www.dumpsking.com Latest exam dumps & reliable dumps VCE & valid certification king Exam : PMP-JPN Title : Project Management Professional v5 Vendor : PMI Version : DEMO Get Latest & Valid

技術の系統化調査報告「プロセス制御システムの技術系統化調査」

A Technical Survey of Process Control Systems 3 Yutaka Wakasa Abstract Yutaka Wakasa 95 1 2 96 Vol.11 2008.March 2.1 2.2 97 98 Vol.11 2008.March 99 3 3.1 3.2 3.3 100 Vol.11 2008.March 101 3.4 102 Vol.11

２０１０年２月３日

報道発表資料 2012 年 3 月 30 日 KDDI 株式会社 重大事故への対応について 当社は 2011 年 4 月から 2012 年 2 月に発生した計 5 件の重大事故に対し 再発防止策を含む十全な対策を早急に講じ その実施結果および今後の取組みについて報告するよう総務省より 2012 年 2 月 15 日に指導を受けました また 2012 年 2 月 22 日総務省開催の携帯電話通信障害対策連絡会においても

目次 テスト分析 HAYST 法の分析 FV 表マインドマップお客様の視点 : 暗黙知効果これから

D-4 ソフトウエアテスト分析の方法 -HAYST 法とマインドマップをつかって - ソニー株式会社永田 敦 2008 年 1 月 30 日 目次 テスト分析 HAYST 法の分析 FV 表マインドマップお客様の視点 : 暗黙知効果これから テストプロセス テストプロセス JSTQB 終了処理 計画とコントロール 終了基準の検証とレポート 分析と設計 作成と実行 分析の位置づけ 計画 分析 テストベースレビュー

CONTENTS Chapter1 Chapter2 Chapter3

CONTENTS Chapter1 Chapter2 Chapter3 Chapter1 Globalization Red Ocean Blue Ocean Red Ocean Strategy Blue Ocean Strategy 4Chapter1 5 6Chapter1 7 CASE 1 CASE 2 Globalization Chapter2 10Chapter2 11 12Chapter2

スライド 1

1 ISO 21500 WG3 の作業経緯 2012 年 11 月 28 日 田島彰二 (PMP,ITC,ITIL) WG3 の作業範囲は 2 1.Scope( 作業範囲 ) 3.Project management concepts( プロジェクトマネジメントの概念 ) 経緯 PC236 の WG3 では 当初はプロジェクマネジメントの定義から始めて プロジェクト ポートフォリオ マネジメント プログラム

情報処理学会研究報告 IPSJ SIG Technical Report Vol.2016-DPS-166 No.14 Vol.2016-CSEC-72 No /3/3 CC-Case を用いた IoT セキュリティ認証方法の提案 1 金子朋子 髙橋雄志, 2 勅使河原可海, 2 田中

CC-Case を用いた IoT セキュリティ認証方法の提案 1 金子朋子 髙橋雄志, 2 勅使河原可海, 2 田中英彦, 1 概要 : モノのインターネットといわれる IoT システムは今後急激な普及 拡大が見込まれる. しかし, つながる世界は様々なリスクも抱えており, セキュリティ設計技術, 認証技術, 標準化はつながる世界では更に重要になる. 筆者らは,IoT セキュリティ認証方法として,

SQiP シンポジウム 2016 アジャイルプロジェクトにおけるペアワーク適用の改善事例 日本電気株式会社小角能史 2016 年 9 月 16 日 アジェンダ 自己紹介ペアワークとはプロジェクトへのペアワークの適用方法 スクラム適用ルール作成 最適化の流れ KPTを用いたふりかえり 適用ルールの改善事例 適用プロジェクトの概要ペアワーク適用ルール ( 初期 ) 改善例 1 - ペアのローテーション改善例

274-all

June 2018 vol.274 1 June 2018 vol.274 2 日本 企 業 から見 た 台 湾 台湾への投資を進める住友商事 交通 電力インフラ分野 台湾住友商事は2017年台湾全球招商論壇 台湾ビジネス ア ライアンス会議 にて台湾経済部とLOIを締結し 台湾での投資を 積極的に進めていくことを表明している 投資分野は多岐にわたる が 今回はその中で交通関連や電力インフラ関連を統括する機電

Vol.56 No (Mar. 2015) Canvas SVG HTML Web Viewport Library UML Canvas SVG 1,000 HTML SVG Viewport Library Viewport Library HTML HTML Web H

Vol.56 No.3 1039 1048 (Mar. 2015) Web 1,a) 1,b) 2014 6 30, 2014 10 8 HTML5 Web HTML5 HTML Canvas SVG HTML Canvas SVG Web Viewport Library Viewport Library HTML SVG Viewport Library Viewport Library AssureNote

Microsoft Word - TC4011BP_BF_BFT_J_P8_060601_.doc

東芝 CMOS デジタル集積回路シリコンモノリシック TC4011BP,TC4011BF,TC4011BFT TC4011BP/TC4011BF/TC4011BFT Quad 2 Input NAND Gate は 2 入力の正論理 NAND ゲートです これらのゲートの出力は すべてインバータによるバッファが付加されているため 入出力特性が改善され 負荷容量の増加による伝達時間の変動が最小限に抑えられます

DX-PC55_−ç(0)-A

( ) ver.2015_01 2

1 1.1 1.2 1.3 2 ( ) 2.1 2.2 2.3 2.4 3 4 4.1 4.2 4.3 4.4 4.5 4.6 4.7 4.8 4.9 5 5.1 5.2 5.3 5.4 6 6.1 6.2 6.3 7 7.1 7.2 7.3 8 ver.2015_01 2 1 1.1 1.2 1.3 ver.2015_01 3 2 2.1 2.2 2.3 ver.2015_01 4 2.4 ver.2015_01

CUBICS Learning

キャンパス内のネットワーク (LAN) を利用する方へ 認証ネットワーク利用マニュアル IEEE802.1X 認証方式 編 Ver. 3.4 中京大学情報システム部 2017 年 9 月作成 目次 目次... i 1. はじめに...1 1.1. IEEE802.1X 認証とは... 1 1.2. 利用上の注意... 1 1.3. 認証の手順... 1 2. Windows7 を利用する...2 2.1.