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

Size: px
Start display at page:

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

Transcription

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

2 自己紹介 経歴 産業技術総合研究所招聘研究員 ( 併任 ) 2010 年 4 月 ~ ( 株 ) シーエーブイテクノロジーズ代表取締役社長 2011 年 4 月 ( 設立 ) ~ 産業界における 11 年間の経験 ソフトウェア業界における研究開発 コンサルティング 大学 研究機関での 15 年間の経験 海外の大学講師 (5 年間 ) Uppsala 大学. (Sweden), Bradford 大学. (UK) 国立情報学研究所特任教授 ( 5 年間 ) 専門分野 + 高信頼システム開発方法論 ( 形式検証 国際規格における認証 システム保証 ) + 形式手法 ソフトウェア工学に関する 多くの国際会議の PC を歴任 (ifm 03, TASE 03, ICFEM 03, ASSURE 03, ICECCS 03) 規格 国際会議関連 International Conference on Formal Engineering Methods 2012 のプログラム委員長 OMG System Assurance Platform Task Force の co-chair FP7 OPENCOSS プロジェクトの External Advisory Board Member IPA/SEC コンシューマデバイス安全標準化 WG 副主査 著作 講演 編者 + Editor Proceedings of ICFEM 2012, LNCS 7635, Springer (2012) + 講演 Seminar for System Assurance for Consumer Devices, OMG, 2011, 20 July, USA

3 謝辞 本資料は コンシューマデバイス安全規格に関わられている方々の成果が含まれています ここで感謝の意を表したいと思います 新誠一教授 ( 電気通信大学 ) 本規格の提唱者! 大畠明氏 石崎直哉氏 ( トヨタ ) K. Ueda 氏 (TEMA) 松野裕氏 ( 電通大 ) 中坊嘉宏氏 神徳徹雄氏 G. Biggs 氏 ( 産総研 ) 内田功志氏 (IPA) IPA/SEC のコンシューマデバイス安全規格 WGの皆様 Miss. D. Campara (OMG, KDM Analytics)

4 講演内容 1. コンシューマデバイスの安全規格 1-1 背景 1-2 コンシューマデバイス安全規格の目的 1-3 コンシューマデバイス安全規格の概要 1-4 規格策定作業母体 1-5 規格策定のスケジュール 1-6 コンシューマデバイス安全規格 (RFP) 2. コンシューマデバイスにおけるシステム保証 2-1 システムの安全性保証技術 2-2 ケース による保証の枠組み 2-3 ケース の歴史的背景 2-4 セーフティケースの定義 2-5 提出が義務付けられている分野 規格 2-6 GSN (Goal Structuring Notation) 2-7 OMG による規格化 2-8 ISO など他の規格における標準化 2-9 何故 ケース が有効か?( 根拠の明確化 ) 2-10 適合性確認の容易さ 2-11 異なるステークホルダ間のコミュニケーションの仲介 2-12 Dependability の定義 2-13 Dependability Case の定義 2-14 Dependability Case の作成方法 2-15 コンシューマデバイスにおける Dependability Case 3. コンシューマデバイス安全規格の策定方法論 3-1 規格の問題点 3-2 国際規格におけるモデリングの観点 3-2 規格の記述 3-3 メタモデルの利点 3-4 コンシューマデバイス安全規格の策定方法 3-5 ISO ISO Part 3 のメタモデル 3-7 Item Definition 3-8 Initiation of safety lifecycle 3-9 Hazard analysis and risk assessment 3-10 Functional safety concept 3-11 コンシューマデバイスで考慮すべき点 3-12 エラーモデル周辺 3-13 Threat の導入 3-14 Dependability 機能の導入 3-15 Integrity Level の導入 4. まとめ

5 1. コンシューマデバイス (Safety Sensitive Consumer Devices) の安全規格

6 1-1. 背景 コンシューマデバイス (Safety Sensitive Consumer Devices) 特徴 : 1) 変化が激しい環境での利用 2) オープンな環境での利用 3) 安全性 信頼性 セキュリティが必要 ISO や IEC に欠けている開発技術 プロセス システム保証に対する新たな規格の策定が必要! コンシューマデバイスの安全規格

7 1-2. コンシューマデバイス安全規格の目的 機能安全規格 ガイドライン 電子機器 (IEC 61508) 自動車 (ISO 26262) 鉄道 (EN 50128) 航空機 (DO-178C) 目的 : 様々な機械類 電気 電子装置 ソフトウェアに対する安全性の保証 特徴 : 欧米主導型の製品の許認可制度 開発方法論 消費者機械規格 自動車介護ロボットスマートハウス 目的 : コンシューマデバイスという製品カテゴリーに対するディペンダビリティの保証 特徴 : 日本主導型の製品のシステム保証と 開発方法論

8 1-3. コンシューマデバイス安全規格の概要 消費者機械規格自動車介護ロボットスマートハウス 目的 : コンシューマデバイスという製品カテゴリーに対するディペンダビリティの保証 特徴 : 日本主導型の製品のシステム保証と 開発方法論 規格の主目的 : 2. コンシューマデバイスにおけるシステム保証 において 詳細に説明 システム保証 ディペンダビリティ保証の枠組み Proven-In-Use (PIU) 使用実績による安全性の保証 ( フィールドデータに基づいた使用実績と 利用条件などにより規定 ) 開発方法論 素早い反復開発 変化する要求への対応 制御装置の動的振る舞いモデル ソフトウェアに物理学を (Physics in software)

9 1-4. 規格策定作業母体 標準化の母体 規格策定の母体 OMG (Object Management Group) System Assurance Platform Task Force 座長 B. Calloni (Lockeed Martin) D. Campara (KDM Analytics) K. Taguchi (AIST) IPA/SEC コンシューマデバイス安全標準化 WG 主査 ( 新誠一 電気通信大教授 ) 副主査 ( 田口研治 産総研 )

10 1-5. 規格策定のスケジュール 2011 年 12 月 RFI (Request For Interest) 承認 2012 年 06 月 RFI に対して回答した組織からの内容の発表 1 Toyota 2 Trusted Computing Group 3 JST/CREST DEOSプロジェクト / 名古屋大 4 UNIFI/CHESS 2013 年 03 月 RFP (Request For Proposal) 承認 2013 年 11 月 RFP に対する提案の締め切り 2013 年 12 月 提案の発表 評価 これまでの経緯 規格化への第一ステップ 今後の予定 2014 年 06 月 改訂版の提出

11 1-6. コンシューマデバイス規格 (RFP) 2013 年 3 月発行の RFP の内容 2 部で説明 ディペンダビリティ保証の枠組み Dependability Assurance Case (DAC) Proven-In-Use (PIU) 3 部で説明 Dependability Conceptual Model (DCM) 概念規定 素早い反復開発 ソフトウェアに物理学を (Physics in software) 今後策定予定

12 2. コンシューマデバイス におけるシステム保証

13 2-1. システムの安全性保証技術 1. 安全分析 システムの安全性の分析 ( ハザード分析 リスクアセスメント ) 2. 開発プロセス 開発案件 ( 製品 ) の品質を保証する開発プロセス 3. 開発方法論 信頼性を考慮した 要求分析 設計 実装方法論 モデル駆動開発 4. 開発ツール 品質の高いソースコードの生成 トレーサビリティの保証 ツールチェイン 5. 検証技術 テスティング 形式検証 6. 保証技術 開発方法などが如何に信頼性を満たしているかどうかについての保証 7. 評価技術 システムの信頼性の評価基準

14 2-2. ケース による保証の枠組み 安全要件と目的 ( 安全目標 安全機能 等 ) 安全の議論 安全の根拠資料 ( 安全分析の結果 V&V の結果 等 ) Fig 1 The Role of Safety Argumentation ( T. Kelly [2] )

15 2-3. ケース の歴史的背景 1988 年 7 月における 北海油田における Piper Alpha 事故 167 名死亡 (229 名中 ) 270 億円の被害を生じた Cullen 卿による事故調査レポートにより安全ケースの重要性が強調された Compliance with detailed prescriptive regulations was not sufficient to ensure safety The Offshore Installations (Safety Case) Regulations 1992 に導入 ( 最新版 2005 [1]) 法規 規格に書かれた通りにすれば安全であるという考え方への反省から セーフティケースの提出 アセスメント方式の厳格化などについて社会的基盤の形成 研究が進んだ

16 2-4. セーフティケースの定義 英国の防衛規格 (00-56) による定義 与えられた操作環境における システムの適用に関して 安全であることを 強制的かつ理解可能 妥当な事例として提供する 根拠資料の集まりにより支援された構造化された議論 A structured argument, supported by a body of evidence that provides a compelling, comprehensible and valid case that a system is safe for a given application in a given operating environment.

17 2-5. 提出が義務付けられている分野 規格 EUROCONTROL (The European Organisation for the Safety of Air Navigation) 航空管制システムにおける安全性の保証 ([5]) Rail Yellow Book ([6]) 英国における鉄道信号システムの安全性の保証 MoD Defence Standard (Safety Management Requirements for Defence Systems) 英国における防衛関連の安全性の保証 ([3]) ISO 車載 E/E システムに関する機能安全規格 ([7]) US. Food and Drug Administration Infusion Pump Improvement Initiative ([8]) 500 人以上の死への関連性と 87 製品のリコール and for making an argument as to why the evidence, your data and analyses, supports the claim A safety case is the best way to both document and review a submittal based on a risk management approach because the argument shows the proportionality of the mitigation

18 2-6. GSN (Goal Structuring Notation) 保証のための構造化された議論の記述記法 (T. Kelly らにより開発 ) GSN Community Standard Ver. 1.0 現在入手可能な最新のリファレンス ゴール指向要求分析方法論 KAOS や FTA (Fault Tree Analysis) と類似 ゴール 戦略 文脈 回答 ゴール (Goal) システムにより満足されるべき要件 目標 ゴールはさらに詳細なゴール ( 部分ゴール ) に分解される 文脈 (Context) 議論の背景 文脈 戦略 (Strategy) 論証の方法 ゴールから部分ゴールを導く際の規則や方針 回答 (Solution/Evidence) 論証を支える直接的な証拠

19 GSN 記法 ( 記述例 ) システムは安全 システム仕様書 システムの各機能の安全性を保証する議論 ハザードが回避されていることを保証する議論 同定されたハザードリスト 機能 XX は仕様通りに機能 XX テストの結果

20 2-7. OMG による規格化 OMG (Object Management Group) System Assurance Platform Task Force において Assurance Case の標準化が進行中 Superseded! ARM (Argument Metamodel) [9] GSN と CAE (Claim Argument Evidence) のコア部分の標準化 SAEM (Software Assurance Evidence Metamodel) [10] 根拠資料に関するメタモデル SACM (Structured Assurance Case Metamodel) ARM と SAEM の統合案 現在 改定中 MACL (Machine-checkable Assurance Case Language) 機械的に検査するために必要な共通技術の規格化 産総研提案 現在 RFI のレスポンスを募集中

21 ARM - OMG による構造化議論のメタモデル - (p7, Figure Metamodel overview [9])

22 2.8 ISO など他の規格における標準化 ISO Systems and software engineering -- Systems and software assurance システムとソフトウェアの保証に関する規格シリーズ 1: : : 2011 Concepts and Vocabulary Assurance cases System integrity levels BS :2010 Reliability of systems, equipment and components. Guide to the demonstration of dependability requirements. The dependability case Dependability case に関する規格 ただし 後述する Dependability の概念とは異なり 信頼性を重視している

23 米国の防衛製品調達におけるシステム保証 米国における戦略的な Safety Case への取り組み DHS (Department of Homeland Security) DoD (Department of Defense) CBK [24] Engineering For System Assurance [25] [24] Software Assurance: A Curriculum Guide to the Common Body of Knowledge to Produce, Acquire and Sustain Secure Software, Software Assurance Workforce Education and Training Working Group, Oct 2007, Homeland Security [25] National Defense Industrial Association (NDIA) System Assurance Committee, Engineering For System Assurance, 2008, version 1.0

24 2-9. 何故ケースが有効か?( 根拠の明確化 ) どのような規格 ガイドライン システム範囲が想定され どのような根拠資がど のように利用されて安全性が保障されているかを明確に示すことが可能 ガイドライン システム範囲 社内規定集を参照 テスト仕様書

25 2-10. 適合性確認の容易さ 規格に書かれている 必要な提出資料 満足すべき条件等を 構造化された 議論という形で整理することが可能 スパゲティ構造 XXX part3 XXX part4 XXX part8 議論構造

26 2-11. 異なるステークホルダ間のコミュニケーションの仲介 異なるステークホルダ ( 開発者 品質保証部門 認証者 ) 間で 安全性がどのよ うに達成されたかの確認が容易 機能安全要件は適切な ASIL の基づいて記述されている? 機能安全要件は同定されたハザードを軽減しています 開発者 品質保証 規定の成果物は全て示されている? 認証者

27 2-12. Dependability の定義 様々な定義 伝統的には信頼性 (Reliability) の延長で考えられている 現在の考え方 ([20]) Umbrella concept 多くのシステム特性の組み合わせ» 可用性 信頼性 安全性 セキュリティ ( の一部 ) など ([20])

28 2-13. Dependability Case の定義 A dependability case is a clear, defensible, and traceable argument that a system is acceptably dependable to operate in a given operational context. ([21], p27) Dependability case は 開発者に保証を与えながら システムのディペンダビリティ属性の達成に関する議論を伝えなければならない Dependability case はシステムのステークホルダに対する関心事である ディペンダビリティ属性の全てに対して確信を与えなければならない Dependability case は それに対する目的 議論 根拠資料 トレードオフ間を明確にトレースすることが可能であるべきである そのようなトレーサビリティは システム設計の受容可能性のシステマチックなレビューの評価を可能にする ([21])

29 2-14. Dependability Case の作成方法 Dependability 要件の獲得 分析 DDA (Dependability Deviation Analysis) トレードオフ方法論 TOM (Trade-Off Methodology) Dependability Case のアーキテクチャ FANDA (Factors, Analysis and Decision Alternatives) ([21])

30 2-15. コンシューマデバイスにおける Dependability Case Dependability 分析 Dependability 認証根拠資料 Dependability ゴール定義 Argument 構築 簡略化要求仕様制御設計制御モデル実装最適化 制御設計プロセス 自動コード生成 実装プロセス カリブレーション & V& V Evidence 収集 ([23]) Dependability Case

31 3. コンシューマデバイス安全規格の 策定方法論

32 3-1. 規格の問題点 多くのエンジニアが 規格を理解することの難しさを表明している いくつかの理由 必ずしも平坦な用語で記述されていない 用語集は必ず提供されるが 説明が十分で無い場合がある 独特の用語を利用していて通常の意味と異なる場合がある 記述が曖昧である 厳密に書かれていても 自然言語で記述されていることによる曖昧さが残っている 複数の著者の間での表現が異なる

33 3-2. 国際規格におけるモデリングの観点 国際規格を広く考察した際に どのように規格を仕様記述しているかについて考えてみる 曖昧性の排除 準形式手法 / 形式手法の利用 形式手法が利用されている例 (WWW Consortium における WSDL (Web Services Description Language) メタモデル (UML のクラス図を作成 ) OMG において広く適用 問題点 疑問点 規格のモデル化が効率的かつ有効に行われるのか? 規格の策定に対して コストがかかりすぎないのか? どのような効用があるのかが不明?

34 WSDL WSDL (Web Services Description Language) by W3C WSDL はドキュメント主体か手続き主体の情報を含むメッセージ上で操作されるエンドポイントの集合として記述されるネットワークサービスのための XML フォーマット 仕様記述言語 Z により記述され ツールにより型検査をされた コンポーネントとその性質の集まりとしての WSDL 2.0 の概念モデルはウェッブサービスとして記述される

35 3-3. メタモデルの利点 利用されている概念の洗い出し 概念の ( 共通 ) 理解の促進 概念間の相互関係の明確化 他システムとの連携を考慮する際の仕様の明確化 理解するのが難しいと言われている 機能安全規格の理解の支援 ツール実装の一助

36 3-4. コンシューマデバイス安全規格の策定方法 UML BPMN SysML CORBA ツールの相互利用 メタモデルによる仕様記述 メタモデルによる仕様の策定! 安全規格をメタモデルから策定する世界初の試み! コンシューマデバイス安全規格 ISO のメタモデルを作成 コンシューマデバイス安全規格のメタモデルを作成 現時点での進捗

37 3-5. ISO 26262([1]) 自動車向け電気 電子機能システムの機能安全規格 機能安全規格 IEC61508 より派生 Part 1 から Part 10 で構成 ( 内容により分割 ) 1. Vocabulary 2. Management of functional safety 規格の全体構造 今回のコンシューマデバイス安全規格の対象範囲 3. Concept phase 4. Product development: system level 5. Product development: hardware level 6. Product development: software level 7.Production and operation 8. Supporting processes 9. ASIL-oriented and safety-oriented analyses 10. Guideline on ISO 26262

38 3-6. ISO Part 3 のメタモデル Clause 5 から Clause 8 までを Clause ごとにモデル化 同一の概念が現れるが 別の観点から定義されているので 各 Clause 毎にモデル化を実施 第 5 章 Item definition 第 6 章 Initiation of safety lifecyle 第 7 章 Hazard analysis and risk assessment 第 8 章 Functional safety concept アイテムの定義 開発種別ごとの安全ライフサイクル ハザード分析 リスクアセスメント ASIL の決定 安全目標から機能安全要件の導出

39 3-7. Item definition アイテム定義とその記述 理解が目的 アイテムがどのような構造をしているか アイテムの環境 他アイテムとの依存関係やインタラクションも含まれる

40 3-8. Initiation of safety lifecycle 新規開発か既存の開発の改変かを区別し 後者の場合その影響分析などが必要になることが記述されている

41 3-9. Hazard analysis and risk assessment ISO のインテグリティレベルである ASIL が Severity, Probability of exposure, Controllability からなること それらが何から estimate されるのかが記述されている

42 3-10. Functional safety concept 安全目標から機能安全要件を導き出し それらをアイテムの予備アーキテクチャ要素もしくは外部手法に割り当てることが記述されている

43 3-11. コンシューマデバイスで考慮すべき点 ISO は安全性の保証を目的としているのに対し コンシューマデバイスではディペンダビリティの保証が目的 ディペンダビリティの定義を利用し 考慮すべき点としては以下が含まれる エラーモデル ディペンダビリティゴール インテグリティレベル Proven In Use マネジメント関係

44 3-12. エラーモデル周辺 Dependability measure への拡張 Fault, Error, Failure への対応 Fault, Error, Failure と Threat の関連

45 3-13. Threat の導入 Threat と fault, error, failure の解釈は以下のように可能 ( 緑色の部分はが dependability を考慮した拡張 )

46 3-14. Dependability 機能の導入 ISO で safety mechanism, safety measure としていた部分を dependability とし safety はそのサブクラスとして定義

47 ISO 本来のインテグリティレベル (ASIL) Integrity Level の導入 コンシューマデバイスにおける独自のインテグリティレベル

48 4. まとめ

49 4-1. まとめ 現時点での コンシューマデバイス安全規格の策定目的 概要と今後の予定について述べた 規格の内容として重要な次の二点について その技術的詳細について述べた DCM (Dependability Conceptual Model) DAC (Dependability Assurance Case) DAC に関する背景技術として システム保証の技術 特に ケース に基づく技術を解説した コンシューマデバイス安全規格の策定方法論としてメタモデルによるアプローチの説明と 現在作成中の ISO のメタモデルと そのコンシューマデバイスへの拡張の提案について説明した

50 参考文献 [1] [2] T. Kelly, Arguing Safety A Systematic Approach to Managing Safety Cases, U. of York, Dept of Computer Science, [3] UK Ministry of Defence, Safety Management Requirements for Defence Systems, Part 1: Requirements, Issue 3, UK Ministry of Defence 2004). [4] ASCAD, Adelard Safety Case Development Manual, 1998, Adelard. [5] [6] [7] ISO ~10, Road vehicles Functional safety, [8] taldevicesandsupplies/infusionpumps/ucm htm [9] OMG SysA, Argument Metamodel (ARM), FTF Beta 1, ptc/ , Aug 2010, [10] OMG SysA, Software Assurance Evidence Metamodel (SAEM), FTF Beta1, ptc/ , Aug 2010, [11] ] Advancing Traffic Efficiency and Safety through Software Technology Phase 2 (ATESST2), EAST-ADL Profile Specification

51 [12] [13] [14] [15] [16] [17] [18] [19] I. Habli, et. al., Model-Based Assurance for Justifying Automotive Functional Safety, in the proceedings of the 2010 SAE World Congress, Detroit, Michigan, USA, April 2010 [20] A. Avizienis, J-C Laprie, Randell, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable And Secure Computing, Vol. 1, 2004 [21] G. Despotou, Managing the Evolution of Dependability Cases for Systems of Systems, U. of York, Dep. Of Computer Science, 2007 [22] G. Despotou, T. Kelly, A Failure Oriented Model of Dependability, presented at OMG SysA PTF, 2011, Dec, Santa Clara. [23] 大畠, 他, 消費者機械安全性 信頼性保証の国際標準化, SEC journal No. 27, 2012 年 1 月, 第 7 巻第 4 号 [24] Software Assurance: A Curriculum Guide to the Common Body of Knowledge to Produce, Acquire and Sustain Secure Software, Software Assurance Workforce Education and Training Working Group, Oct 2007, Homeland Security [25] National Defense Industrial Association (NDIA) System Assurance Committee, Engineering For System Assurance, 2008, version 1.0

2 コンシューマデバイス規格 (Safety Sensitive Consumer Devices(SSCD)) の概要 コンシューマデバイス規格自動車介護ロボットスマートハウス 目的 : コンシューマデバイスという製品カテゴリーに対するディペンダビリティの保証 特徴 : 日本主導型の製品の開発方法

2 コンシューマデバイス規格 (Safety Sensitive Consumer Devices(SSCD)) の概要 コンシューマデバイス規格自動車介護ロボットスマートハウス 目的 : コンシューマデバイスという製品カテゴリーに対するディペンダビリティの保証 特徴 : 日本主導型の製品の開発方法 1 ET-WEST 2014 IPA ブースプレゼン資料 コンシューマデバイス規格における規格策定方法論 2014 年 07 月 29 日 ( 独 ) 産業技術総合研究所セキュアシステム研究部門 システムライフサイクル研究グループ田口研治 2 コンシューマデバイス規格 (Safety Sensitive Consumer Devices(SSCD)) の概要 コンシューマデバイス規格自動車介護ロボットスマートハウス

More information

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

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

More information

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

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

More information

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

第 10 回 WOCS2 アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルール提案と 超小型衛星開発への適用評価 田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザイン マネジメント研究科 2 名古屋大学情報連携 アシュアランスケースにおける品質到達性と トレーサビリティを考慮した記述ルール提案と 超小型衛星開発への適用評価 田中康平 1, 松野裕 2, 中坊嘉宏 3, 白坂成功 1, 中須賀真一 4 1 慶應義塾大学大学院システムデザイン マネジメント研究科 2 名古屋大学情報連携統括本部情報戦略室 3 独立行政法人産業技術総合研究所知能システム研究部門ディペンダブルシステム研究グループ 4 東京大学工学系研究科航空宇宙工学専攻

More information

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

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

More information

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 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

More information

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 つながる世界のセーフティ & セキュリティ設計の見える化 つながる 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 日 独立行政法人情報処理推進機構技術本部ソフトウェア高信頼化センター

More information

PowerPoint

PowerPoint 2011 12 6PTC Live TechForum TOKYO manji@rd.denso.co.jp 1/ 52 1949 12 16 1,874 ( ) 1 9,457 3 1,315 ( ) 38,318 123,165 ( ) 2011 3 31 Gr. Gr. Gr. Gr. Gr. PF 2/ 52 1 2 3 4PMT 5 Integrity 6 7 8 1/2 3/ 52 OEM

More information

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

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

More information

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

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

More information

5005-toku3.indd

5005-toku3.indd 3 1 CMMICMM Capability Maturity Model ISO : International Organization for Standardization IEC : International Electrotechnical CommissionJTC1 : Joint Technical Committee 1SC7 : Sub Committee 7 SC7 WG

More information

PowerPoint プレゼンテーション

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

More information

PARTⅢ 検証事例 2. トレーサビリティ管理の自動化に踏み切った理由や経緯 (1) 国際スタンダード認証に関する課題 ISO DO-178B/C IEC などの国際スタンダードでは 開発工程全般にわたって要件が満たされていること ( システムの正しい要件が 正しい方法で

PARTⅢ 検証事例 2. トレーサビリティ管理の自動化に踏み切った理由や経緯 (1) 国際スタンダード認証に関する課題 ISO DO-178B/C IEC などの国際スタンダードでは 開発工程全般にわたって要件が満たされていること ( システムの正しい要件が 正しい方法で 先進的な設計 検証技術の適用事例報告書 2015 年度版 PARTⅢ 検証事例 SEC-2015-B-3-01 15-B-3 国際スタンダード認証に求められる 要件から検証結果までのトレーサビリティ管理 の効率化の取組み 1 1. 概要 安全性が求められるシステムのソフトウェアに対する規格である ISO 26262( 自動車安全規格 ) DO-178B/C( 航空システムや装置の安全規格 ) IEC

More information

情報分野のアクセシビリティ標準について

情報分野のアクセシビリティ標準について 情報分野のアクセシビリティ標準について 経済産業省国際電気標準課 小出啓介 Agenda 1. 障害者白書 2. JTC 1/SC 35 で開発しているアクセシビリティ関連規格の紹介 3. 映像字幕事業 (ISO/IEC 20071-23) の取り組みの紹介 4. JIS X 8341-3 の改正について 5. Web Accessibility, BSI Code of Practice 規格の開発と国内対応について

More information

2. IEC61508 ISO WD IEC6150 SIL( Safety Integrity Level ) ISO WD2626 ASIL( Automotive Safety Integrity Level ) SIL/ASIL (tolerable risk) (Residu

2. IEC61508 ISO WD IEC6150 SIL( Safety Integrity Level ) ISO WD2626 ASIL( Automotive Safety Integrity Level ) SIL/ASIL (tolerable risk) (Residu Consideration of requirement of decomposition for a safety related system NEC IEC61508 ISO 26262 We considered the concept of system decomposition paying attention to the decomposition concept of the system

More information

15288解説_D.pptx

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

More information

untitled

untitled ISO 26262 : 2011(E) Functional safety nal 2 Managem ment of functio safety 3 Con ncept phase Annex B Examples for evaluating a safety culture Annex C (informative) Aim of the confirmation measures 8 Functional

More information

Microsoft Word HPコンテンツ案 _履歴なし_.doc

Microsoft Word HPコンテンツ案 _履歴なし_.doc O/IEC 27000 ファミリーについて 2011 年 12 月 20 日 1. O/IEC 27000 ファミリーとは O/IEC 27000 ファミリーは 情報セキュリティマネジメントシステム (MS) に関する国際規格であり O( 国際標準化機構 ) 及び IEC( 国際電気標準会議 ) の設置する合同専門委員会 O/IEC JTC1( 情報技術 ) の分化委員会 SC 27( セキュリティ技術

More information

2-工業会活動.indd

2-工業会活動.indd 工業会活動 ~SAE(Society of Automotive Engineers) 委員会参加報告 ~ 1. はじめに SAE RTCA Radio Technical Commission for Aeronautics ARINC Aeronautical Radio, Incorporated SAE RTCA ARINC FAA Federal Aviation Administration

More information

Microsoft PowerPoint プレス発表_(森川).pptx

Microsoft PowerPoint プレス発表_(森川).pptx ESEC2016 プレス発表 Safety&Security 両規格に準拠した 統合開発支援サービスを開始 2016 年 5 月 11 日株式会社ヴィッツ執行役員機能安全開発部部長森川聡久 本発表の概要 株式会社ヴィッツは 機能安全開発支援だけでなく 組込みセキュリティ開発も統合した開発支援サービスを開始しました 2 当社の主な実績 機能安全 プロセス認証取得 IEC61508:2010 SIL3

More information

スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構

スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD 経済産業省, 独立行政法人情報処理推進機構 スキル領域と (8) ソフトウェアデベロップメント スキル領域と SWD-1 2012 経済産業省, 独立行政法人情報処理推進機構 スキル領域 職種 : ソフトウェアデベロップメント スキル領域と SWD-2 2012 経済産業省, 独立行政法人情報処理推進機構 専門分野 ソフトウェアデベロップメントのスキル領域 スキル項目 職種共通スキル 項目 全専門分野 ソフトウェアエンジニアリング Web アプリケーション技術

More information

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

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

More information

VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo

VDM-SL ISO.VDM++ VDM-SL VDM- RT VDM++ VDM,.VDM, [5]. VDM VDM++.,,, [7]., VDM++.,., [7] VDM++.,,,,,,,.,,, VDM VDMTools OvertureTo KAOS 1 1 1 1 1,.,. ( ). KAOS VDM++.,.,,, 1. 1.1,, [1].,,, [2].,, [3]. 1.2 ( ),, [3] KAOS, VDM++, KAOS VDM++ 1 Kyushu University, KAOS,, KAOS, KAOS, VDM++., 1.3 2,., 3, KAOS VDM++. 4, 3,. 5 2. 2.1,,,,,

More information

高信頼RTミドルウエアの開発

高信頼RTミドルウエアの開発 P04 RT,,,,,,,,,,,, Development of Dependable RT-Middleware Noriaki Ando, Geoffrey Biggs, Yoshihiro Nakabo, Daichi Mizuguchi, Kiyoshi Fujiwara, Isao Hara, Tetsuo Kotoku, AIST, Masayoshi Kondo, Mitsuhiro

More information

日経ビジネス Center 2

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

More information

<4D F736F F F696E74202D D4C82F08A B582BD A A F2E707074>

<4D F736F F F696E74202D D4C82F08A B582BD A A F2E707074> SysML を活用したシステムエンジニアリング オージス総研組み込みソリューション部 1 アジェンダ 概要編なぜシステムエンジニアリングかシステムエンジニアリングとはシステムエンジニアリングとモデリング言語 SysML の特徴実践編機能要求を検討する要求を仕様化する振る舞いを検討する構造を検討する論理ブロックを物理ブロックに割り当てる性能を検討するまとめ 2 概要編 : なぜシステムエンジニアリングか

More information

f2-system-requirement-system-composer-mw

f2-system-requirement-system-composer-mw Simulink Requirements と新製品 System Composer によるシステムズエンジニアリング MathWorks Japan アプリケーションエンジニアリング部大越亮二 2015 The MathWorks, Inc. 1 エンジニアリングの活動 要求レベル システムレベル 要求分析 システム記述 表現 高 システム分析 システム結合 抽象度 サブシステム コンポーネントレベル

More information

73-5 大友

73-5 大友 373 73 5 20 9 373 377 Journal of the Japanese Association for Petroleum Technology Vol. 73, No. 5 Sept., 2008 pp. 373 377 Lecture HSQE * ** Received July 31, 2008 accepted September 11, 2008 Implementation

More information

Microsoft PowerPoint - IAF フォーラム2015講演資料_PLCopenJapan_A02.pptx

Microsoft PowerPoint - IAF フォーラム2015講演資料_PLCopenJapan_A02.pptx PLCopen / OPC UA 通信仕様と PLCopen XML の紹介 ~PLC プログラムの生産システムエンジニアリング連携に向けて ~ Industrial Automation Forum - Forum 2015 PLCopen Japan Page 1 PLCopen の主な取り組み PLCopen は IEC 61131-3 プログラミングの普及促進と関連技術仕様の策定を う 営利団体

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション IEC 62853 Open systems dependability 要点と今後の展開 2018-06-05 ディペンダビリティ技術推進協会 神奈川大学理学部情報科学科 オープンシンポジウム IEC TC 56 Dependability WG 4 Information systems Convenor ディペンダビリティ技術推進協会 標準化部会 主査 木下佳樹 IEC 62853 Open

More information

ISO9001:2015規格要求事項解説テキスト(サンプル) 株式会社ハピネックス提供資料

ISO9001:2015規格要求事項解説テキスト(サンプル) 株式会社ハピネックス提供資料 テキストの構造 1. 適用範囲 2. 引用規格 3. 用語及び定義 4. 規格要求事項 要求事項 網掛け部分です 罫線を引いている部分は Shall 事項 (~ すること ) 部分です 解 ISO9001:2015FDIS 規格要求事項 Shall 事項は S001~S126 まで計 126 個あります 説 網掛け部分の規格要求事項を講師がわかりやすく解説したものです

More information

再利用アセスメント 計画 実行及び制御 レビュー及び評価ソフトウェアの再利用を行う組織では 再利用施策管理者 という人が位置づけされることになっており このプロセスはその人が組織の中で再利用を実施するために行うべき作業を定義したものである 再利用資産管理プロセス の目的は 構想から廃止までの再利用資

再利用アセスメント 計画 実行及び制御 レビュー及び評価ソフトウェアの再利用を行う組織では 再利用施策管理者 という人が位置づけされることになっており このプロセスはその人が組織の中で再利用を実施するために行うべき作業を定義したものである 再利用資産管理プロセス の目的は 構想から廃止までの再利用資 第 35 章ソフトウェアの再利用 ソフトウェアの再利用 の定義 ISO と IEC それに IEEE が共同で作成した 用語集 (Vocabulary) についての規格 1(ISO /IEC/IEEE 24765:2010) では 再利用 (Reuse) は次のように定義されている [ISO10a] ( 翻訳は筆者 ) 1. 別の問題の解決の中でのある資産の使用 (IEEE Std 1517-1999

More information

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

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

More information

<4D F736F F F696E74202D20534A D80904D978A835C A4A94AD82D682CC8EE DD EC816A2E707074>

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

More information

(Microsoft PowerPoint - JaSST 10 LT\(\203e\203X\203g\201E\203q\203X\203g\203\212\201[\) ppt)

(Microsoft PowerPoint - JaSST 10 LT\(\203e\203X\203g\201E\203q\203X\203g\203\212\201[\) ppt) JaSST 10 Tokyo ライトニングトークス カバーフローで見る 5 分間ソフトウェアソフトウェアテスト ヒストリー 辰巳敬三 2010 年 1 月 28 日 1 ソフトウェアテスト ヒストリー ソフトウェア テスト PRESS 2 ソフトウェアテスト ヒストリー コラム番外編 : テスト書籍カバ書籍カバーギャラリー 洋書のアートワークが COOL! 音楽雑誌のようにしたい! 残念ながらモノクロ

More information

Vol. 48 No. 3 Mar PM PM PMBOK PM PM PM PM PM A Proposal and Its Demonstration of Developing System for Project Managers through University-Indus

Vol. 48 No. 3 Mar PM PM PMBOK PM PM PM PM PM A Proposal and Its Demonstration of Developing System for Project Managers through University-Indus Vol. 48 No. 3 Mar. 2007 PM PM PMBOK PM PM PM PM PM A Proposal and Its Demonstration of Developing System for Project Managers through University-Industry Collaboration Yoshiaki Matsuzawa and Hajime Ohiwa

More information

PowerPoint プレゼンテーション

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

More information

スライド 1

スライド 1 セッション : 組込み機器のための機能安全対応 TRON Safe Kernel 社会インフラ制御機器の機能安全の必要性 2015 年 12 月 10 日 大島訓 ( 株 ) 日立製作所研究開発グループシステムイノベーションセンタ 1 自己紹介 大島訓 ( おおしまさとし ) 株式会社日立製作所研究開発グループシステムイノベーションセンタリーダ主任研究員 1996 年東京理科大卒業 同大学院理工学研究科修士課程終了

More information

システムの安全性を記述するためのモデリング言語「SafeML」

システムの安全性を記述するためのモデリング言語「SafeML」 SysML を拡張した SafeML で シ ステムの安全性をモデル化 設 計しよう Geoffrey Biggs 産業技術総合研究所知能システム研究部門ディペンダブルシステム研究グループ この発表の目的 安全情報をモデル化することの利点を理解する SafeML を用いた安全情報管理方法とコミュニケーションを支援する方法 SafeML を用いた安全分析 安全設計のモデル化方法 SafeML の使用を支援するツールのポテンシャルについて

More information

Microsoft PowerPoint - 第6章_要員の認証(事務局;110523;公開版) [互換モード]

Microsoft PowerPoint - 第6章_要員の認証(事務局;110523;公開版) [互換モード] 1 2 3 解説 まず最初に, 要員 の一般的な定義と認証の対象となる 要員 の定義 (ISO/IEC 17024 による ) を学び, 両者の相違点を理解する 参考資料 1) 新村出編, 広辞苑 ( 第 6 版 ), 岩波書店,2009. 2) The New Oxford Dictionary of English 3) ISO/IEC 17024:2003 Conformity assessment

More information

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

どのような便益があり得るか? より重要な ( ハイリスクの ) プロセス及びそれらのアウトプットに焦点が当たる 相互に依存するプロセスについての理解 定義及び統合が改善される プロセス及びマネジメントシステム全体の計画策定 実施 確認及び改善の体系的なマネジメント 資源の有効利用及び説明責任の強化 ISO 9001:2015 におけるプロセスアプローチ この文書の目的 : この文書の目的は ISO 9001:2015 におけるプロセスアプローチについて説明することである プロセスアプローチは 業種 形態 規模又は複雑さに関わらず あらゆる組織及びマネジメントシステムに適用することができる プロセスアプローチとは何か? 全ての組織が目標達成のためにプロセスを用いている プロセスとは : インプットを使用して意図した結果を生み出す

More information

第39章 ISO 15504

第39章 ISO 15504 第 41 章 ISO/IEC 15504 ISO/IEC 15504 の経緯 ISO と IEC に 開発のための CMMI(CMMI-DEV) によく似たプロセス改善のための規格群がある ISO/IEC 15504( 日本での JIS 規格は JIS X 0145) の規格群である 1 CMMI-DEV はアメリカ生まれだ 2 が ISO/IEC 15504 はヨーロッパ生まれで 今でもヨーロッパで広く使われている

More information

第 3 回 TERAS 成果報告会 TERAS V3 紹介と今後の展開 Tool Environment for Reliable and Accountable Software 一般社団法人 TERAS 理事開発委員長渡辺政彦 2014 年 3 月 12 日

第 3 回 TERAS 成果報告会 TERAS V3 紹介と今後の展開 Tool Environment for Reliable and Accountable Software 一般社団法人 TERAS 理事開発委員長渡辺政彦 2014 年 3 月 12 日 第 3 回 TERAS 成果報告会 TERAS V3 紹介と今後の展開 Tool Environment for Reliable and Accountable Software 一般社団法人 TERAS 理事開発委員長渡辺政彦 2014 年 3 月 12 日 最新 TERAS V3 2011 年度 Ver.1 2012 年度 Ver.2 2013 年度 Ver.3 成果物間リンク - ファイル単位

More information

" " " " IS 97BOK 1.2.10 2 1.3.7 1 1.7.3 1 2.3.2 2 2.3.4 IS 2 3.1.1 3 3.1.2 ) 3 3.1.3 3 3.1.4 3 1987 IS 97BOK 2.1.1 2.1.3 2.1.4 IS 2.1.5 IS IS 2.7 2.10.4 3.12 3.12.1 3.12.4 3.12.5 3.12.6 3.12.8 3.12.10

More information

2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事

2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 2015 TRON Symposium セッション 組込み機器のための機能安全対応 TRON Safe Kernel TRON Safe Kernel の紹介 2015/12/10 株式会社日立超 LSIシステムズ製品ソリューション設計部トロンフォーラム TRON Safe Kernel WG 幹事 豊山 祐一 Hitachi ULSI Systems Co., Ltd. 2015. All rights

More information

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

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

More information

IPSJ SIG Technical Report Vol.2018-SE-200 No /12/ Proposal of test description support environment for request acquisition in web appli

IPSJ SIG Technical Report Vol.2018-SE-200 No /12/ Proposal of test description support environment for request acquisition in web appli 1 1 1 2 Proposal of test description support environment for request acquisition in web application development Nakaji Yoshitake 1 Choi Eunjong 1 Iida Hajimu 1 Yoshida Norihiro 2 1. 1 ( ) 1 Nara Institute

More information

IPSJ SIG Technical Report Vol.2013-IS-126 No /12/ CIO Examination of Strategic Decision Making for System Planning Phase Yukio Amagai

IPSJ SIG Technical Report Vol.2013-IS-126 No /12/ CIO Examination of Strategic Decision Making for System Planning Phase Yukio Amagai 1 1 1 1 2 CIO Examination of Strategic Decision Making for System Planning Phase Yukio Amagai 1 Masato Yokota 1 Masahiro Ide 1 Ryuichi Harada 1 Hironori Washizaki 2 Decision making in such as a systemization

More information

規格の概要前図の 作成中 及び 発行済 ( 改訂中 含む ) 規格の概要は 以下の通りです O/IEC 27000:2012 Information technology Security techniques Information security management systems Over

規格の概要前図の 作成中 及び 発行済 ( 改訂中 含む ) 規格の概要は 以下の通りです O/IEC 27000:2012 Information technology Security techniques Information security management systems Over O/IEC 27000 ファミリーについて 2012 年 12 月 10 日 1. O/IEC 27000 ファミリーとは O/IEC 27000 ファミリーは 情報セキュリティマネジメントシステム (MS) に関する国際規格であり O( 国際標準化機構 ) 及び IEC( 国際電気標準会議 ) の設置する合同専門委員会 O/IEC JTC1( 情報技術 ) の分化委員会 SC 27( セキュリティ技術

More information

PowerPoint プレゼンテーション

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

More information

消費者機械安全保証 標準化活動 IPA コンシューマデバイス安全標準化 WG 委員 SICE 国際標準化委員トヨタ自動車株式会社エンシ ン技術開発部主幹 石崎直哉 2013/11/20 1

消費者機械安全保証 標準化活動 IPA コンシューマデバイス安全標準化 WG 委員 SICE 国際標準化委員トヨタ自動車株式会社エンシ ン技術開発部主幹 石崎直哉 2013/11/20 1 消費者機械安全保証 標準化活動 IPA コンシューマデバイス安全標準化 WG 委員 SICE 国際標準化委員トヨタ自動車株式会社エンシ ン技術開発部主幹 石崎直哉 2013/11/20 1 本日の内容 背景 標準化に対する 4 つの提案 OMG での国際標準化活動 まとめ 2 本日の内容 背景 標準化に対する 4 つの提案 OMG での国際標準化活動 まとめ 3 安全性認識の高まりと制御開発管理上の課題発端

More information

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

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( 航空無線技術委員会

More information

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

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

More information

システム開発プロセスへのデザイン技術適用の取組み~HCDからUXデザインへ~

システム開発プロセスへのデザイン技術適用の取組み~HCDからUXデザインへ~ HCDUX Approach of Applying Design Technology to System Development Process: From HCD to UX Design 善方日出夫 小川俊雄 あらまし HCDHuman Centered Design SE SDEMHCDUIUser Interface RIARich Internet ApplicationUXUser

More information

【資料1-2】脳神経外科手術用ナビゲーションユニット基準案あ

【資料1-2】脳神経外科手術用ナビゲーションユニット基準案あ 脳神経外科手術用ナビゲーションユニット認証基準 ( 案 ) 医薬品 医療機器等の品質 有効性及び安全性の確保等に関する法律 ( 以下 法 という ) 第二十三条の二の二十三第一項の規定により厚生労働大臣が基準を定めて指定する高度管理医療機器は 別表第一の下欄に掲げる基準に適合する同表の中欄に掲げるもの ( 専ら動物のために使用されることが目的とされているものを除く ) であって 次に掲げる要件の全てに適合するものとする

More information

日立評論2007年3月号 : ソフトウェア開発への

日立評論2007年3月号 : ソフトウェア開発への Vol.89 No.3 298-299 Application of Statistical Process Control to Software Development Mutsumi Komuro 1 23 1985 ACM IEEE 1 195QC Quality Control 1 2 CMM Capability Maturity Model CMMI Capability Maturity

More information

研究レポート表紙.PDF

研究レポート表紙.PDF No.118 November 2001 ISO ISO takeishi@fri.fujitsu.co.jp ISO14001 CEAR A4823 1. ISO14000 ISO14000 ISO14001 2. ISO ISO. ISO14001 ISO9000 OHSAS18001 18002 ISO14001 ISO IEC13335 ISO10006. ISO ISO14001 ISO9000

More information

DEOS 実用化のための オープンシステム ディペンダビリティ 国際標準化戦略 ET2013 スペシャルセッション オープンシステムディペンダビリティが世界を変える 木下佳樹武山誠 ( 神奈川大学 ) 所眞理雄 (Sony CSL) 横手靖彦 ( 慶応義塾大学 ) Resear

DEOS 実用化のための オープンシステム ディペンダビリティ 国際標準化戦略 ET2013 スペシャルセッション オープンシステムディペンダビリティが世界を変える 木下佳樹武山誠 ( 神奈川大学 ) 所眞理雄 (Sony CSL) 横手靖彦 ( 慶応義塾大学 ) Resear DEOS 実用化のための オープンシステム ディペンダビリティ 国際標準化戦略 2012-11-23 ET2013 スペシャルセッション オープンシステムディペンダビリティが世界を変える 木下佳樹武山誠 ( 神奈川大学 ) 所眞理雄 (Sony CSL) 横手靖彦 ( 慶応義塾大学 ) Research supported by JST CREST research area DEOS DEOS 実用化のためのオープンシステム

More information

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

会社概要と私の経歴 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

More information

IEC :2014 (ed. 4) の概要 (ed. 2)

IEC :2014 (ed. 4) の概要 (ed. 2) IEC 60601-1-2:2014 (ed. 4) (ed. 2) e 2018 4 2 1 1 2 / 1 2.1............... 2 2.2............... 3 2.3.................. 4 3 6 4 6 4.1.................. 6 4.1.1............... 7 4.1.2....... 7 4.1.3............

More information

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

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

More information

ACR-C 保証継続報告書 独立行政法人情報処理推進機構原紙理事長藤江一正押印済変更 TOE 申請受付日 ( 受付番号 ) 平成 24 年 1 月 12 日 (IT 継続 2077) 認証番号 C0312 申請者コニカミノルタビジネステクノロジーズ株式会社 TOEの名称日本語名 :bi

ACR-C 保証継続報告書 独立行政法人情報処理推進機構原紙理事長藤江一正押印済変更 TOE 申請受付日 ( 受付番号 ) 平成 24 年 1 月 12 日 (IT 継続 2077) 認証番号 C0312 申請者コニカミノルタビジネステクノロジーズ株式会社 TOEの名称日本語名 :bi 保証継続報告書 独立行政法人情報処理推進機構原紙理事長藤江一正押印済変更 TOE 申請受付日 ( 受付番号 ) 平成 24 年 1 月 12 日 (IT 継続 2077) 認証番号 C0312 申請者コニカミノルタビジネステクノロジーズ株式会社 TOEの名称日本語名 :bizhub C652 / bizhub C652DS / bizhub C552 / bizhub C552DS / bizhub

More information

Microsoft Word - For news_AFSP training introduction brochure.docx

Microsoft Word - For news_AFSP training introduction brochure.docx ISO26262 トレーニング / SGS-TÜV 認定資格 AFSP コースのご案内 ISO26262 自動車機能安全規格 ISO26262 は 全自動車メーカーとそのサプライヤが準拠しなければいけない新国際規格です 5 日間の徹底的なトレーニングにおいて 法的責任 セーフティプロセス そしてどの様に ISO26262 の要求に準拠するのかを学びます 豊富な実績 経験を有する機能安全専門家チーム

More information

untitled

untitled Quantitative Risk Assessment on the Public Health Impact of Pathogenic Vibrio parahaemolyticus in Raw Oyster 1 15 5 23 48 2 21 1 16 1 16 1 11 3 1 3 4 23 1 2 16 12 16 5 6 Hazard IdentificationExposure

More information

1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15. 1. 2. 3. 16 17 18 ( ) ( 19 ( ) CG PC 20 ) I want some rice. I want some lice. 21 22 23 24 2001 9 18 3 2000 4 21 3,. 13,. Science/Technology, Design, Experiments,

More information

1 BCM BCM BCM BCM BCM BCMS

1 BCM BCM BCM BCM BCM BCMS 1 BCM BCM BCM BCM BCM BCMS わが国では BCP と BCM BCM と BCMS を混同している人を多く 見受けます 専門家のなかにもそうした傾向があるので BCMS を正 しく理解するためにも 用語の理解はきちんとしておきましょう 1-1 用語を組織内で明確にしておかないと BCMS や BCM を組織内に普及啓発していく際に齟齬をきたすことがあります そこで 2012

More information

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

再生材料や部品の利用促進を具体的に進めていることから その努力を示すものとして 本規格では マテリアルリサイクル及びリユースのみを対象としている 機器製造業者が直接その努力に関わるという 観点からも 本規格では 再生資源をマテリアルリサイクルのみに限定している Q5) 自らが資源循環利用をコントロー ( 一般社団法人日本電機工業会 (JEMA) 2017 年 3 月 JIS C 9911 電気 電子機器の資源再利用指標などの算定及び表示の方法 の FAQ 適用範囲 Q1) 適用範囲を家電リサイクル法対象機器としている理由は? A1) 電気 電子機器の中で 家電リサイクル法対象機器は その回収 リサイクルのプロセスが法律で制度化されている 本規格は 機器製造業者 ( 特に設計者 ) が 機器の設計時に世代を跨る再生材料等の利用を促進させ

More information

ISO の概要

ISO の概要 プロジェクトマネジメント国際標準化フォーラム 2012 ISO 21500 WG2 総括報告 平成 24 年 11 月 28 日 PC236 国内対応委員会関口明彦 Copyright 2012 AKIHIKO SEKIGUCHI WG2 概要 WG2: プロセスの検討グループ CONVENER:Reinhard Wagner(Germany) SECRETARY:Walter Bowman(USA)

More information

JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25

JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25 JIS Q 17025 IDT, ISO/IEC 17025 IT JIS Z 9001:1998JIS Z 9002:1998 ISO/IEC 17025ISO/IEC Guide 25 JIS Q 17025 IDT, ISO/IEC 17025 IT IT JIS Q 17025ISO/IEC 17025 (2) JIS Z 9358 ISO/IEC Guide 58 (3) testing

More information

16

16 Empirical Analysis of the Efficiency of the Broadcasting Industry: Verification of Regionalism and a Proposal ABSTRACT Reforms in the broadcasting industry have recently been discussed and proposed, and

More information

Jude を DSL エディタとして使う -Jude API 活用法 年 11 月 14 日稚内北星学園大学東京サテライト校浅海智晴 本日のテーマ Why Jude API What Jude API How Jude API 1

Jude を DSL エディタとして使う -Jude API 活用法 年 11 月 14 日稚内北星学園大学東京サテライト校浅海智晴 本日のテーマ Why Jude API What Jude API How Jude API 1 Jude を DSL エディタとして使う -Jude API 活用法 - 2006 年 11 月 14 日稚内北星学園大学東京サテライト校浅海智晴 本日のテーマ Why Jude API What Jude API How Jude API 1 技術トレンド テクノロジとしての Web 2.0 Web がプラットフォームになる シン クライアントからリッチ クライアントへ Web の単純な UI では限界

More information

<4D F736F F F696E74202D208E8E8CB18F8A944692E88D918DDB93AE8CFC E616C E B8CDD8AB B83685D>

<4D F736F F F696E74202D208E8E8CB18F8A944692E88D918DDB93AE8CFC E616C E B8CDD8AB B83685D> JNLA 技能試験要求事項説明会平成 24 年 8 月 22 日 ( 水 ) 29 日 ( 水 ): 東京会場平成 24 年 8 月 24 日 ( 金 ) 30 日 ( 木 ): 大阪会場 ) 1 試験所認定に係る国際動向目次 の動向 ILAC( 国際試験所認定協力機構 ) の動向 - 計量計測トレーサビリティ - 技能試験 - 測定不確かさ 技能試験提供者の認定について 全体のまとめ 2 の動向

More information

スライド 1

スライド 1 ライフサイクルプロセスに関する国際標準とソフトウェアファクトリ ISO/IEC 15288, ISO/IEC 12207, INCOSE Handbook and IEEE Std 1517 松本吉弘 工学博士 ; IEEE Life Fellow 京都高度技術研究所 All Rights Reserved Yoshihiro Matsumoto; 2007 1 対象とした国際標準 IEEE Std

More information

ASNITE 試験事業者認定の一般要求事項 (TERP21) ASNITE 校正事業者認定の一般要求事項 (CARP21) ASNITE 試験事業者 IT 認定の一般要求事項 (TIRP21) ASNITE 標準物質生産者認定の一般要求事項 (RMRP21) ASNITE 試験事業者認定の一般要求事

ASNITE 試験事業者認定の一般要求事項 (TERP21) ASNITE 校正事業者認定の一般要求事項 (CARP21) ASNITE 試験事業者 IT 認定の一般要求事項 (TIRP21) ASNITE 標準物質生産者認定の一般要求事項 (RMRP21) ASNITE 試験事業者認定の一般要求事 IAJapan 測定のトレーサビリティに関する方針 (URP23) 改正案新旧対照表 1. 目的 ~2. 適用範囲略 改正案 1. 目的 ~2. 適用範囲略 現行 ( 下太線部分は改正部分 ) 3. 引用法令 規格 規程等 ISO 11843-1 Capability of detection -- Part 1: Terms and definitions (JIS Z 8462-1 測定方法の検出能力

More information

セキュリティ委員会活動報告

セキュリティ委員会活動報告 2015 年度セキュリティ委員会成果報告 2016 年 2 月 26 日セキュリティ委員会委員長西田慎一郎 ( 島津製作所 ) 1 2015 年度活動内容 1)ISO/TC215 WG4( セキュリティ & プライバシ ) で検討されている国際標準への対応を行った 2) 厚生労働省 医療情報システムの安全管理に関するガイドライン に対して ベンダの立場で取り組みを行った 3) 医療機器におけるサイバーセキュリティへの対応を行った

More information

過去問セミナーTM

過去問セミナー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) に従ってシラバスのそれぞれの課題を試験する

More information

NLC配布用.ppt

NLC配布用.ppt Semantic Web September 20, 200 IBM( ) (uramoto@jp.ibm.com) Semantic Web ( )? Semantic Web 2 What can it do? (by Jim Hendler) 3 Semantic Web W3C Director Berners-Lee Web The Semantic Web is an extension

More information

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

More information

001†`032 (Page 1)

001†`032 (Page 1) ISO の国際標準化専門委員会 2 International Organization for Standardization (ISO) CASCO COPOLCO DEVCO INFCO General Assembly Member Bodies Correspondent Members Subscriber Members Council Technical Management

More information

建設業界におけるICT施工の進展とバリューチェーン展開への取組み

建設業界におけるICT施工の進展とバリューチェーン展開への取組み ICT Approach to Value Chain Expansion and Information & Communication Technology (ICT) Development in A/E/C Industry 齋藤昌司 中山健 あらまし FsolICTQCDSE ICT Fsol ICT FsolICT Abstract Fsol has been engaged in system

More information

ISO/IEC 27000family 作成の進捗状況

ISO/IEC 27000family 作成の進捗状況 O/IEC 27000 ファミリーについて 2013 年 6 月 11 日 ( 改 2013 年 7 月 1 日 ) 1. O/IEC 27000 ファミリーとは O/IEC 27000 ファミリーは 情報セキュリティマネジメントシステム (MS) に関する国際規格であり O( 国際標準化機構 ) 及び IEC( 国際電気標準会議 ) の設置する合同専門委員会 O/IEC JTC1( 情報技術 )

More information

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

More information

安全に関連する機械等 (SIL 含む ) の認証の考え方と審査項目 2015 年 2 月 24 日 技術支援部石田豊

安全に関連する機械等 (SIL 含む ) の認証の考え方と審査項目 2015 年 2 月 24 日 技術支援部石田豊 安全に関連する機械等 (SIL 含む ) の認証の考え方と審査項目 2015 年 2 月 24 日 技術支援部石田豊 機能安全 - 全安全ライフサイクル (JIS C0508-1:2012 図 2 より ) 1 概念 2 全対象範囲の定義 JISB 9700(ISO 12100) 3 潜在危険及びリスク解析 4 全安全要求事項 5 全安全要求事項の割当て 注 :10 と 11 は IEC 61508

More information

Vol. 23 No. 4 Oct. 2006 37 2 Kitchen of the Future 1 Kitchen of the Future 1 1 Kitchen of the Future LCD [7], [8] (Kitchen of the Future ) WWW [7], [3

Vol. 23 No. 4 Oct. 2006 37 2 Kitchen of the Future 1 Kitchen of the Future 1 1 Kitchen of the Future LCD [7], [8] (Kitchen of the Future ) WWW [7], [3 36 Kitchen of the Future: Kitchen of the Future Kitchen of the Future A kitchen is a place of food production, education, and communication. As it is more active place than other parts of a house, there

More information

Taro12-認定-部門-ASG101-06

Taro12-認定-部門-ASG101-06 JIS Q 17025(ISO/IEC 17025(IDT)) JIS Q17025(ISO/IEC 17025(IDT)) --- --- JNLA JCSS ISO/IEC 17025 JIS Q 17025 IAJapan ILAC APLAC JIS Q17011 ISO/IEC 17011 MRA ILACAPLAC MRA IAJapan (3) JNLAJCSS (4) testing

More information

T - Telecommunication and Internet Protocol Harmonization Over Networks (TIPHON); Service and Network Management Framework; Part 1: Overview and Intro

T - Telecommunication and Internet Protocol Harmonization Over Networks (TIPHON); Service and Network Management Framework; Part 1: Overview and Intro T - Telecommunication and Internet Protocol Harmonization Over Networks (TIPHON); Service and Network Management Framework; Part 1: Overview and Introduction (DTR/TIPHON-01004-1 V0.1.5) 1.0 2001 8 30 THE

More information

IATF16949への移行審査

IATF16949への移行審査 International Automotive Task Force TRANSITION STARATEGY ISO/TS 16949 > IATF 16949 www. Iatfglobaloversight.org 前置き 2 移行タイミング要求事項 2 移行審査の要求事項 3 CB に対する移行審査チームの要求事項 5 移行審査の不適合マネジメント 6 IATF 16949 登録証発行 6

More information

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

[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

More information

untitle

untitle ISO/IEC 15504 と SPEAK IPA 版の解説 2008 年 11 月 25 日 TIS 株式会社室谷隆経済産業省プロセス改善研究部会 WG1 委員 ( 独 )IPA ソフトウェア エンジニアリング センター ISO/IEC 15504 (JIS X0145) ) とは プロセス改善と能力判定のためのアセスメント体系を規定する国際標準 アウトソーシング オフショア サプライチェーン プロセス能力を議論するための会社間

More information

Tf9-1-07-7168.dvi

Tf9-1-07-7168.dvi /Review 1 1 1 1 2 Innovation Process Technology Hideyasu KARASAWA 1, Katsuro SAGANE 1, Hidenaga KARASAWA 1, Akira KURIYAMA 1, and Minoru KOBAYASHI 2 Abstract We propose a methodology for Innovation Process

More information

JISQ 原案(本体)

JISQ 原案(本体) 目次 ページ序文 1 1 適用範囲 1 2 引用規格 1 3 用語及び定義 2 4 力量要求事項 2 5 労働安全衛生マネジメントシステム審査員に対する力量要求事項 2 5.1 一般 2 5.2 OH&Sの用語, 原則, プロセス及び概念 2 5.3 組織の状況 2 5.4 リーダーシップ, 働く人の協議及び参加 2 5.5 法的要求事項及びその他の要求事項 2 5.6 OH&Sリスク,OH&S 機会並びにその他のリスク及びその他の機会

More information

Japanese.PDF

Japanese.PDF 2002 11 2 3 Part I 4 5 6 3.1WTO/TBT 2 3 6 3.2ISO/IEC 7 3.3 7 3.4 7 3.5 8 3.6 8 9 4.1 9 4.2 9 4.3 10 12 Part II 13 1.1 13 1.2 13 1.3 14 1.4 14 1.5 14 2 14 3 15 3.1 15 3.2 16 3.3 17 3.4 17 3.5 18 3.6 18

More information

PowerPoint プレゼンテーション

PowerPoint プレゼンテーション JIS 原案作成のための手引改訂について ( 規格調整分科会機能向上グループによる検討結果より ) 一般財団法人日本規格協会規格開発ユニット規格管理グループ標準チーム野田孝彰 2016 改訂の主なポイント 国際規格を基礎として作成した JIS 原案作成において 混乱が生じていた次の 2 点について方針を示した 1 引用規格の記載方法 (28 ページ ) 2 参考文献の記載方法 (36 ページ ~)

More information

66-1 田中健吾・松浦紗織.pwd

66-1 田中健吾・松浦紗織.pwd Abstract The aim of this study was to investigate the characteristics of a psychological stress reaction scale for home caregivers, using Item Response Theory IRT. Participants consisted of 337 home caregivers

More information

Hitachi Field Matching Hitachi Recruiting My Page Hit

Hitachi Field Matching Hitachi Recruiting My Page Hit 01 02 03 Hitachi Field Matching 008 010 020 026 030 036 038 040 046 050 052 062 064 066 Hitachi Recruiting My Page 068 070 072 074 076 080 082 002 Hitachi Field Navigator Hitachi Field Navigator 003 BUSINESS

More information

Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF a m

Vol.55 No (Jan. 2014) saccess 6 saccess 7 saccess 2. [3] p.33 * B (A) (B) (C) (D) (E) (F) *1 [3], [4] Web PDF   a m Vol.55 No.1 2 15 (Jan. 2014) 1,a) 2,3,b) 4,3,c) 3,d) 2013 3 18, 2013 10 9 saccess 1 1 saccess saccess Design and Implementation of an Online Tool for Database Education Hiroyuki Nagataki 1,a) Yoshiaki

More information

はじめに レーザとは? 1) レーザ光の性質と特徴 補助資料 (1) 2) レーザ光による目の障害 補助資料 (2) IEC/EN の規格要求は? 3) レーザクラスと製造上の要求事項 補助資料 (3) 4) レーザクラス分けのための放射測定 補助資料 (4) 5) レーザ機器に表示す

はじめに レーザとは? 1) レーザ光の性質と特徴 補助資料 (1) 2) レーザ光による目の障害 補助資料 (2) IEC/EN の規格要求は? 3) レーザクラスと製造上の要求事項 補助資料 (3) 4) レーザクラス分けのための放射測定 補助資料 (4) 5) レーザ機器に表示す レーザ規格への適合および申請方法の実際 [1]IEC/EN60825-1 規格要求に対する適合実務 [2]FDA レーザ規格への適合と申請方法 お断り : 本セミナーでご紹介しています実務レーザレポート 及びその関連資料は製造メーカー様のご了解を得てその情報を開示させていただいております Copyright 2007, FSS Corporation 1 はじめに レーザとは? 1) レーザ光の性質と特徴

More information

<4D F736F F D20D2E5E7E8F1FB E3EEE45FE8F1EFF0>

<4D F736F F D20D2E5E7E8F1FB E3EEE45FE8F1EFF0> 13 1 71 71 71 71 7 1 7 1 7 1 7 1 71 71 71 71 71 71 7 (1 71 71 71 7 1 71 7) 1 7 1 71 71 71 71 71 71 7 1 71 7 1 7 1 71 71 71 71 7 1 71 71 71 71 71 71 71 7 1 71 71 71 71 7, 1 71 71 71 71 71 71 7 1 7 1 71

More information

Copyright(C) 2002 Information-technology Promotion Agency, Japan All rights reserved. 1

Copyright(C) 2002 Information-technology Promotion Agency, Japan All rights reserved. 1 Copyright(C) 2002 Information-technology Promotion Agency, Japan All rights reserved. 1 ISO/IEC 15408 ISO/IEC 15408 Copyright(C) 2002 Information-technology Promotion Agency, Japan All rights reserved.

More information