JP6066081B2 - フォールトツリーを生成する装置及び方法 - Google Patents
フォールトツリーを生成する装置及び方法 Download PDFInfo
- Publication number
- JP6066081B2 JP6066081B2 JP2013181929A JP2013181929A JP6066081B2 JP 6066081 B2 JP6066081 B2 JP 6066081B2 JP 2013181929 A JP2013181929 A JP 2013181929A JP 2013181929 A JP2013181929 A JP 2013181929A JP 6066081 B2 JP6066081 B2 JP 6066081B2
- Authority
- JP
- Japan
- Prior art keywords
- functional block
- fault tree
- exclusion
- unit
- functional
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/079—Root cause analysis, i.e. error or fault diagnosis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
- G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/20—Pc systems
- G05B2219/24—Pc safety
- G05B2219/24085—Analyze, trace fault signals according to tree, table
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
- G05B23/0243—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model
- G05B23/0245—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults model based detection method, e.g. first-principles knowledge model based on a qualitative model, e.g. rule based; if-then decisions
- G05B23/0248—Causal models, e.g. fault tree; digraphs; qualitative physics
Description
近年の自動車部品の電子化、ネットワーク化、複雑化を背景に、車載電子機能の安全性を保証するための国際規格ISO26262等が公開され、車載電子部品、車載電子機器の設計における機能安全の確保が重要な課題となっている。規格に適合する車両を開発するには、設計する電子機器の故障分析が必須であり、故障発生時の危険度に応じた故障率を達成するため、各種の安全機構を設計し組み込むことが求められている。
図1は、本実施の形態における安全分析支援装置10のハードウェア構成例を示した図である。図示するように、安全分析支援装置10は、演算手段であるCPU(Central Processing Unit)10aと、M/B(マザーボード)チップセット10bを介してCPU10aに接続されたメインメモリ10cと、同じくM/Bチップセット10bを介してCPU10aに接続された表示機構10dとを備える。また、M/Bチップセット10bには、ブリッジ回路10eを介して、ネットワークインターフェイス10fと、磁気ディスク装置(HDD)10gと、音声機構10hと、キーボード/マウス10iと、フレキシブルディスクドライブ10jとが接続されている。
図2は、本実施の形態における安全分析支援装置10の機能構成例を示したブロック図である。図示するように、安全分析支援装置10は、機能ブロック図生成部21と、機能ブロック図記憶部22と、探索起点特定部23と、トップ事象特定部24と、除外依存関係特定部25と、除外機能ブロック特定部26と、除外情報記憶部27とを備えている。また、探索範囲検出部31と、フォールトツリー生成部32と、循環依存検出部33とを備えている。更に、ユーザインターフェース部40を備えている。
図17は、本実施の形態における安全分析支援装置10の動作例を示したフローチャートである。安全分析支援装置10のユーザインターフェース部40が表示機構10d(図1参照)に機能ブロック図を表示した状態で、この動作は開始するものとする。
Claims (7)
- 解析対象物の構成を示す構成情報に基づいて、当該解析対象物のフォールトツリーを生成する装置であって、
前記解析対象物を構成する複数の機能ブロック及び当該複数の機能ブロック間の複数の信号線を示す前記構成情報を記憶する記憶部と、
前記複数の機能ブロックのうちの除外対象の機能ブロック及び前記複数の信号線のうちの除外対象の信号線の少なくとも一方を含む除外対象部分を示す除外対象情報を取得する取得部と、
前記構成情報と前記除外対象情報とに基づいて、前記複数の機能ブロック及び前記複数の信号線から前記除外対象部分を除外して得られる解析対象部分に関する前記フォールトツリーを生成するフォールトツリー生成部と
を含む、装置。 - 前記フォールトツリーのトップ事象を受け付ける受付部を更に含み、
前記取得部は、前記複数の機能ブロックのうちの前記トップ事象に影響しない動作を行う機能ブロック、及び、前記複数の信号線のうちの前記トップ事象に影響しない信号を伝搬させる信号線の少なくとも一方を含む前記除外対象部分を示す前記除外対象情報を取得する、請求項1の装置。 - 前記取得部は、前記複数の機能ブロックのうちの安全のために設けられた機能ブロックを含む前記除外対象部分を示す前記除外対象情報を取得する、請求項1の装置。
- 前記取得部は、前記複数の機能ブロックに含まれる第1の機能ブロック、第2の機能ブロック及び第3の機能ブロックであって、当該第1の機能ブロックに当該第3の機能ブロックへの信号を伝搬させる信号線が接続され、当該第2の機能ブロックに当該第3の機能ブロックからの信号を伝搬させる信号線が接続された第1の機能ブロック、第2の機能ブロック及び第3の機能ブロックが存在する場合に、当該第3の機能ブロックを含む前記除外対象部分を示す前記除外対象情報を取得する、請求項1の装置。
- 前記構成情報に基づいて、前記複数の機能ブロック及び前記複数の信号線を図形で表す機能ブロック図を生成する機能ブロック図生成部と、
前記除外対象情報に基づいて、前記機能ブロック図に対し、前記解析対象部分と前記除外対象部分とを区別するための指標を付加する付加部と
を含む、請求項1乃至請求項4の何れかに記載の装置。 - コンピュータが、解析対象物の構成を示す構成情報に基づいて、当該解析対象物のフォールトツリーを生成する方法であって、
前記コンピュータの記憶部が、前記解析対象物を構成する複数の機能ブロック及び当該複数の機能ブロック間の複数の信号線を示す前記構成情報を記憶するステップと、
前記コンピュータの取得部が、前記複数の機能ブロックのうちの除外対象の機能ブロック及び前記複数の信号線のうちの除外対象の信号線の少なくとも一方を含む除外対象部分を示す除外対象情報を取得するステップと、
前記コンピュータのフォールトツリー生成部が、前記構成情報と前記除外対象情報とに基づいて、前記複数の機能ブロック及び前記複数の信号線から前記除外対象部分を除外して得られる解析対象部分に関する前記フォールトツリーを生成するステップと
を含む、方法。 - 解析対象物の構成を示す構成情報に基づいて、当該解析対象物のフォールトツリーを生成する装置として、コンピュータを機能させるプログラムであって、
前記コンピュータを、
前記解析対象物を構成する複数の機能ブロック及び当該複数の機能ブロック間の複数の信号線を示す前記構成情報を記憶する記憶部と、
前記複数の機能ブロックのうちの除外対象の機能ブロック及び前記複数の信号線のうちの除外対象の信号線の少なくとも一方を含む除外対象部分を示す除外対象情報を取得する取得部と、
前記構成情報と前記除外対象情報とに基づいて、前記複数の機能ブロック及び前記複数の信号線から前記除外対象部分を除外して得られる解析対象部分に関する前記フォールトツリーを生成するフォールトツリー生成部と
して機能させる、プログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013181929A JP6066081B2 (ja) | 2013-09-03 | 2013-09-03 | フォールトツリーを生成する装置及び方法 |
US14/321,010 US9588837B2 (en) | 2013-09-03 | 2014-07-01 | Generating a fault tree |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2013181929A JP6066081B2 (ja) | 2013-09-03 | 2013-09-03 | フォールトツリーを生成する装置及び方法 |
Publications (3)
Publication Number | Publication Date |
---|---|
JP2015049775A JP2015049775A (ja) | 2015-03-16 |
JP2015049775A5 JP2015049775A5 (ja) | 2016-03-31 |
JP6066081B2 true JP6066081B2 (ja) | 2017-01-25 |
Family
ID=52584990
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013181929A Expired - Fee Related JP6066081B2 (ja) | 2013-09-03 | 2013-09-03 | フォールトツリーを生成する装置及び方法 |
Country Status (2)
Country | Link |
---|---|
US (1) | US9588837B2 (ja) |
JP (1) | JP6066081B2 (ja) |
Families Citing this family (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2016056125A1 (ja) * | 2014-10-10 | 2016-04-14 | 株式会社日立製作所 | 計算機システムを管理する管理システム |
EP3268862B1 (en) * | 2015-04-28 | 2020-10-07 | Siemens Aktiengesellschaft | Method and apparatus for generating a fault tree for a failure mode of a complex system |
US10061670B2 (en) * | 2015-12-28 | 2018-08-28 | Siemens Aktiengesellschaft | Method and apparatus for automatically generating a component fault tree of a safety-critical system |
JP6864992B2 (ja) * | 2016-04-28 | 2021-04-28 | 日立Astemo株式会社 | 車両制御システム検証装置及び車両制御システム |
WO2018003107A1 (ja) * | 2016-07-01 | 2018-01-04 | 株式会社日立製作所 | 制御装置 |
JP6842299B2 (ja) * | 2016-12-28 | 2021-03-17 | 三菱パワー株式会社 | 診断装置、診断方法及びプログラム |
EP3416013B1 (en) | 2017-06-12 | 2019-07-24 | Siemens Aktiengesellschaft | Safety assurance using fault trees for identifying dormant system failure states |
EP3470944B1 (en) * | 2017-10-11 | 2022-12-14 | Siemens Aktiengesellschaft | Method for providing an analytical artifact based on functional system description |
EP3579074B1 (en) * | 2018-06-07 | 2021-01-06 | Siemens Aktiengesellschaft | Computer-implemented method and device for resolving closed loops in automatic fault tree analysis of a multi-component system |
US20200133823A1 (en) * | 2018-10-24 | 2020-04-30 | Ca, Inc. | Identifying known defects from graph representations of error messages |
EP3671384A1 (en) * | 2018-12-18 | 2020-06-24 | Siemens Aktiengesellschaft | Computer-implemented method for generating a mixed-layer fault tree of a multi-component system combining different layers of abstraction |
JP7411473B2 (ja) | 2020-03-27 | 2024-01-11 | 三菱重工業株式会社 | 妥当性確認方法、妥当性確認システム及びプログラム |
JP7413225B2 (ja) | 2020-10-07 | 2024-01-15 | 三菱重工業株式会社 | 妥当性確認方法、妥当性確認システム及びプログラム |
WO2023276569A1 (ja) * | 2021-06-28 | 2023-01-05 | 株式会社デンソー | 移動体の制御システム、プログラム |
CN113672420B (zh) * | 2021-08-10 | 2022-08-09 | 荣耀终端有限公司 | 故障检测方法及电子设备 |
Family Cites Families (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05143570A (ja) | 1991-11-19 | 1993-06-11 | Nippon Telegr & Teleph Corp <Ntt> | 故障木作成方法 |
JPH05324761A (ja) | 1992-05-22 | 1993-12-07 | Hitachi Ltd | 故障の木解析(fta)図作成装置 |
JPH0695881A (ja) | 1992-09-16 | 1994-04-08 | Kawasaki Heavy Ind Ltd | 機械装置類故障診断エキスパートデータ用ルールベース作成システム |
US6907545B2 (en) * | 2001-03-02 | 2005-06-14 | Pitney Bowes Inc. | System and method for recognizing faults in machines |
GB2373607B (en) * | 2001-03-23 | 2003-02-12 | Sun Microsystems Inc | A computer system |
US7200525B1 (en) * | 2004-06-29 | 2007-04-03 | Sun Microsystems, Inc. | System and method for generating a data structure representative of a fault tree |
JP5146750B2 (ja) * | 2008-05-29 | 2013-02-20 | オムロン株式会社 | Ft図作成プログラム、ft図作成装置、記録媒体及びft図作成方法 |
JP5376133B2 (ja) * | 2009-03-30 | 2013-12-25 | 日本電気株式会社 | 故障の木解析生成方法、故障の木解析生成システム及びプログラム |
JP5880866B2 (ja) * | 2010-04-22 | 2016-03-09 | 日本電気株式会社 | ランタイムシステムの故障の木解析の方法、システム及びプログラム |
JP5692841B2 (ja) | 2010-05-11 | 2015-04-01 | 独立行政法人海上技術安全研究所 | 状況を分類するツリー構造の自動生成プログラム及び状況を分類するツリー構造の自動生成装置 |
JP5601468B2 (ja) | 2010-11-26 | 2014-10-08 | 日本電気株式会社 | 故障の木の最小カットセットを効率的に評価する方法とシステム |
US8543286B2 (en) * | 2011-06-24 | 2013-09-24 | GM Global Technology Operations LLC | Vehicle hardware integrity analysis systems and methods |
US20130018692A1 (en) * | 2011-07-13 | 2013-01-17 | Siemens Aktiengesellschaft | Apparatus, method, and computer program product for scenario-based identification of complete safety-based requirements specification |
JP5664886B2 (ja) * | 2011-11-28 | 2015-02-04 | 日本電気株式会社 | フォールトトレラントシステム、フォールトトレラント方法及びプログラム |
CN103020436B (zh) * | 2012-11-30 | 2015-08-12 | 工业和信息化部电子第五研究所 | 元器件失效归零分析方法与系统 |
CN103049346B (zh) * | 2012-12-11 | 2015-03-18 | 工业和信息化部电子第五研究所 | 基于失效物理的元器件故障树构建方法和系统 |
-
2013
- 2013-09-03 JP JP2013181929A patent/JP6066081B2/ja not_active Expired - Fee Related
-
2014
- 2014-07-01 US US14/321,010 patent/US9588837B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US20150067400A1 (en) | 2015-03-05 |
JP2015049775A (ja) | 2015-03-16 |
US9588837B2 (en) | 2017-03-07 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6066081B2 (ja) | フォールトツリーを生成する装置及び方法 | |
CN107704392B (zh) | 一种测试用例的处理方法及服务器 | |
US9612937B2 (en) | Determining relevant events in source code analysis | |
JP4395761B2 (ja) | プログラムテスト支援装置およびその方法 | |
JP5714543B2 (ja) | 自己監視機能を備えたコンピュータ、監視プログラム | |
WO2011080062A1 (en) | Analyzing objects from a graphical interface for standards verification | |
JPWO2012032705A1 (ja) | 表示処理装置、表示処理方法およびプログラム | |
JP6109662B2 (ja) | 運用管理装置、運用管理方法およびプログラム | |
JP2009087352A (ja) | ソフトウェアアプリケーションにおける欠陥検出のための設定可能なウェブサービスシステム及び方法 | |
JP6648511B2 (ja) | 支援装置、支援方法およびプログラム | |
KR101734418B1 (ko) | 소프트웨어 위험분석 방법 및 장치 | |
US8510693B2 (en) | Changing abstraction level of portion of circuit design during verification | |
JP2012181666A (ja) | 情報処理装置、情報処理方法及び情報処理プログラム | |
JP2008117066A (ja) | ソフトウェア開発支援方法、ソフトウェア開発支援装置、ソフトウェア開発支援プログラム、及び計算機システム | |
CN114625106A (zh) | 车辆诊断的方法、装置、电子设备及存储介质 | |
WO2004068347A1 (en) | Method and apparatus for categorising test scripts | |
KR101810648B1 (ko) | 모바일 어플리케이션의 사용성 저해 요소 분석 장치 및 방법 | |
US20170131973A1 (en) | Software specification dependence relation verification apparatus and software specification dependence relation verification method | |
WO2018016554A1 (ja) | 障害内容特定装置、障害内容特定方法、及び、障害内容特定プログラムが格納された記録媒体 | |
JP2014048856A (ja) | ソフトウェア検証用プログラムおよびソフトウェア検証システム | |
JP6364786B2 (ja) | 設計書管理プログラム、設計書管理方法および設計書管理装置 | |
JP2014067109A (ja) | データ遷移トレース装置、データ遷移トレース方法、及び、データ遷移トレースプログラム | |
US11782682B2 (en) | Providing metric data for patterns usable in a modeling environment | |
US11783116B2 (en) | Resembling transition identifying apparatus, resembling transition identifying method and program | |
JP2013206310A (ja) | モデル検査装置、モデル検査方法、およびプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20151127 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20160216 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20160816 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20161102 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20161122 |
|
RD14 | Notification of resignation of power of sub attorney |
Free format text: JAPANESE INTERMEDIATE CODE: A7434 Effective date: 20161122 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20161213 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6066081 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |