JP2015111402A - 構成要素に基づくフォルトツリーを使用する複合システムの安全解析 - Google Patents
構成要素に基づくフォルトツリーを使用する複合システムの安全解析 Download PDFInfo
- Publication number
- JP2015111402A JP2015111402A JP2014192350A JP2014192350A JP2015111402A JP 2015111402 A JP2015111402 A JP 2015111402A JP 2014192350 A JP2014192350 A JP 2014192350A JP 2014192350 A JP2014192350 A JP 2014192350A JP 2015111402 A JP2015111402 A JP 2015111402A
- Authority
- JP
- Japan
- Prior art keywords
- fault
- component
- model
- modeler
- safety analysis
- 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.)
- Granted
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- 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
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02T—CLIMATE CHANGE MITIGATION TECHNOLOGIES RELATED TO TRANSPORTATION
- Y02T10/00—Road transport of goods or passengers
- Y02T10/80—Technologies aiming to reduce greenhouse gasses emissions common to all road transportation technologies
- Y02T10/82—Elements for improving aerodynamics
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Automation & Control Theory (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- Testing And Monitoring For Control Systems (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
【解決手段】航空機などの複合システムに対する安全解析システム100は、システムモデラー104及びモデル解析システム106を含む。システムモデラー104は、記憶装置の中の構成要素フォルトベースモデルのライブラリーからなど、システムを構成するそれぞれの構成要素の構成要素フォルトベースモデルを受信するように構成される。システムモデラー104はまた、構成要素フォルトベースモデルをシステムのシステムフォルトベースモデルの中へアセンブルするように構成される。その後、モデル解析システム106は、システムフォルトベースモデルを使用して安全解析を実行するように構成される。
【選択図】図1
Description
そして上述のようなブールの表記法への変換の後に、スイッチの状態図は、以下に示されるように表される。ここで、故障モードは、スイッチが故障していなければ意味がないが、伝達関数は、3つのブール変数のうちのいずれの値に対しても正しくなければならず、それで、それらの冗長行が含まれる:すなわち、
スイッチに対するブール変数の定義の中で反映されているように、上述のスイッチの状態において、T=故障した、かつF=問題なし;故障モードにおいて、T=開固着、かつF=閉固着;コマンド(cmd.)において、T=電源投入、及びF=電源切断;かつ出力効果において、T=出力なし、かつF=出力は入力と同じ(出力=入力)。
コンピュータ可読プログラムコードを内部に保存するコンピュータ可読記憶媒体であって、前記プログラムコードは、プロセッサによって実行されることに反応して、機構に、少なくとも:
システムを構成するそれぞれの構成要素の構成要素フォルトベースモデルを受信させ、前記構成要素フォルトベースモデルは、前記それぞれの構成要素の故障のイベントにおいて、又は前記構成要素に対する入力のイベントにおいて、それらの各々が前記それぞれの構成要素の作用を表現するフォルトツリーとして表現される伝達関数を含み;前記構成要素フォルトベースモデルを前記システムのシステムフォルトベースモデルの中へアセンブルさせ、前記システムフォルトベースモデルは、前記構成要素フォルトベースモデルの前記フォルトツリーのアセンブリとして表現される伝達関数を含み;かつ前記システムフォルトベースモデルを使用して安全解析を実行させる、コンピュータ可読記憶媒体。
前記構成要素フォルトベースモデルは、それぞれの構成要素を表すブロックを含むブロック図の中でグラフを使用して表現され、かつ前記機構が前記構成要素フォルトベースモデルを前記システムフォルトベースモデルの中へアセンブルするようにされていることは、前記システムフォルトベースモデルを互いに接続されているブロックを含むブロック図としてグラフを使用して表現するようにされていることを含み、前記ブロック図は信頼度ブロック図又は機能流れブロック図である、条項1に記載のコンピュータ可読記憶媒体。
前記機構が前記構成要素フォルトベースモデルを受信するようにされていることは、記憶装置から前記構成要素フォルトベースモデルを受信するようにされていることを含み、前記構成要素フォルトベースモデルは、構成要素フォルトベースモデルのライブラリーの中に保存されている、条項1に記載のコンピュータ可読記憶媒体。
内部に保存されているコンピュータ可読プログラムコード部分をさらに有し、前記プログラムコード部分は、プロセッサによって実行されると、機構に、さらに:
前記構成要素の前記構成要素フォルトベースモデルを開発させ、前記機構は前記構成要素フォルトベースモデル、及び前記構成要素フォルトベースモデルの前記伝達関数を構築するようにされており、前記構成要素フォルトベースモデルのうちの少なくともいくつかの各々は、それぞれの構成要素の出力及び故障イベントを含み、かつ前記伝達関数は前記それぞれの構成要素の前記出力及び故障イベントの間の論理関係を表現し、かつ前記機構が前記構成要素フォルトベースモデルを受信するようにされていることは、直接的又は間接的に構成要素モデラーから前記構成要素フォルトベースモデルを受信することを含む、条項1に記載のコンピュータ可読記憶媒体。
前記構成要素フォルトベースモデルのうちの少なくともいくつかの各々はさらに外部からの入力又は制御を含み、かつ前記伝達関数は前記それぞれの構成要素の前記外部からの入力又は制御、出力、及び故障イベントの間の論理関係を表現し、かつ前記機構が前記構成要素フォルトベースモデルをアセンブルするようにされていることは、構成要素フォルトベースモデルの出力を、別の構成要素フォルトベースモデルの入力に対して、又は別の構成要素フォルトベースモデルの入力に対して出力するブール論理演算に対して接続するようにされていることを含む、条項4に記載のコンピュータ可読記憶媒体。
前記機構が前記安全解析を実行するようにされていることは、前記システムフォルトベースモデルを使用してフォルトツリー解析を実行し、かつ前記フォルトツリー解析に基づいて1以上の故障状態に対する1以上の最小カットセット及び確率を生成するようにされていることを含む、条項1に記載のコンピュータ可読記憶媒体。
前記機構が前記安全解析を実行するようにされていることは、前記構成要素フォルトベースモデル又はシステムフォルトベースモデルのうちの少なくともいくつかに基づいて、故障伝搬モデルを発生するようにされていることを含み、前記故障伝搬モデルは、1以上の故障伝搬経路及び前記1以上の故障伝搬経路に沿った入力及び出力の故障確率を含む、条項1に記載のコンピュータ可読記憶媒体。
102 構成要素モデラー
104 システムモデラー
106 モデル解析システム
200 構成要素モデラー
202 構成要素フォルトベースモデラー
204 構成要素フォルトツリーコンストラクター
206 構成要素フォルトベースモデルの記憶装置
300 システムモデラー
302 構成要素フォルトベースモデルの記憶装置
304 システムフォルトベースモデラー
400 ブロック図
402 ブロック図
404 外部からの入力
406 制御
408 出力
410 ブロック
412 ポイント
500 フォルトツリー
502 故障効果
504 故障
506 故障
508 ブール論理演算
510 有向リンク
512 有向リンク
514 有向リンク
600 バッテリ
700 電球
702 ブール論理OR演算
800 スイッチ
802 ブール論理AND演算
1300 信頼度ブロック図
1302 バッテリ
1304 スイッチ
1306 電球
1400 信頼度ブロック図
1500 方法
1502 ブロック
1504 ブロック
1506 ブロック
Claims (14)
- 安全解析システム(100)であって、
前記安全解析システム(100)を構成するそれぞれの構成要素の構成要素フォルトベースモデルを受信するように構成されるシステムモデラー(104)と、
システムフォルトベースモデルを使用して安全解析を実行するように構成されるモデル解析システム(106)とを備える、安全解析システム(100)において、
前記構成要素フォルトベースモデルは、各々がそれぞれの構成要素の故障又は前記構成要素に対する入力のイベントにおいて前記それぞれの構成要素の作用を表すフォルトツリー(500)として表現される伝達関数を含み、
前記システムモデラー(104)は、前記構成要素フォルトベースモデルを前記安全解析システム(100)の前記システムフォルトベースモデルの中へアセンブルするように構成され、前記システムフォルトベースモデルは前記構成要素フォルトベースモデルの前記フォルトツリー(500)のアセンブリとして表現される伝達関数を含む、安全解析システム(100)。 - 前記構成要素フォルトベースモデルは、それぞれの構成要素を表すブロック(402)を含むブロック図(400)の中で図示され、かつ前記構成要素フォルトベースモデルを前記システムフォルトベースモデルの中へアセンブルするように構成される前記システムモデラー(300)は、前記システムフォルトベースモデルを互いに接続される前記ブロック(402)を含むブロック図(400)として図示するように構成されることを含み、前記ブロック図(400)は信頼度ブロック図(1400)又は機能流れブロック図(400)である、請求項1に記載の安全解析システム(100)。
- 前記構成要素フォルトベースモデルを受信するように構成される前記システムモデラー(104)は、記憶装置から前記構成要素フォルトベースモデルを受信するように構成されることを含み、前記構成要素フォルトベースモデルは構成要素フォルトベースモデルのライブラリーの中に保存される、請求項1に記載の安全解析システム(100)。
- 前記構成要素の前記構成要素フォルトベースモデルを開発するように構成される構成要素モデラー(200)をさらに備え、前記構成要素モデラー(200)は前記構成要素フォルトベースモデル、及び前記構成要素フォルトベースモデルの前記伝達関数を構築するように構成されており、
前記構成要素フォルトベースモデルのうちの少なくともいくつかの各々は、それぞれの構成要素の出力及び故障イベントを含み、かつ前記伝達関数はそれぞれの前記構成要素モデラー(200)の前記出力及び故障イベントの間の論理関係を表現し、かつ
前記構成要素フォルトベースモデルを受信するように構成される前記システムモデラー(300)は、直接的又は間接的に前記構成要素モデラー(200)から前記構成要素フォルトベースモデルを受信するように構成されることを含む、請求項1に記載の安全解析システム(100)。 - 前記構成要素フォルトベースモデルのうちの少なくともいくつかの各々はさらに、外部からの入力又は制御を含み、かつ前記伝達関数は前記外部からの入力又は制御、前記それぞれの構成要素モデラー(200)の出力及び故障イベントの間の論理関係を表現し、かつ
前記構成要素フォルトベースモデルをアセンブルするように構成される前記システムモデラー(300)は、構成要素フォルトベースモデルの出力を、別の構成要素フォルトベースモデルの入力に対して、又は別の構成要素フォルトベースモデルの記憶装置(302)の入力に対して出力するブール論理OR演算(702)に対して接続するように構成されることを含む、請求項4に記載の安全解析システム(100)。 - 前記安全解析を実行するように構成される前記モデル解析システム(106)は、前記システムフォルトベースモデルを使用してフォルトツリー(500)解析を実行し、かつ前記フォルトツリー(500)解析に基づいて1以上の故障状態に対する1以上の最小カットセット及び確率を生成させるように構成されることを含む、請求項1に記載の安全解析システム(100)。
- 前記安全解析を実行するように構成される前記モデル解析システム(106)は、前記構成要素フォルトベースモデル又はシステムフォルトベースモデルのうちの少なくともいくつかに基づいて、故障伝搬モデルを発生させるように構成されることを含み、前記故障伝搬モデルは、1以上の故障伝搬経路及び前記1以上の故障伝搬経路に沿った入力及び出力の故障確率を含む、請求項1に記載の安全解析システム(100)。
- システムを構成するそれぞれの構成要素の構成要素フォルトベースモデルを受信することを含み、前記構成要素フォルトベースモデルは、それぞれの構成要素の故障のイベントにおいて、又は前記構成要素に対する入力のイベントにおいて、各々が前記それぞれの構成要素の作用を表現するフォルトツリー(500)として表現される伝達関数を含み;
前記構成要素フォルトベースモデルを前記システムのシステムフォルトベースモデルの中へアセンブルすることを含み、前記システムフォルトベースモデルは、前記構成要素フォルトベースモデルの前記フォルトツリー(500)のアセンブリとして表現される伝達関数を含み;及び
前記システムフォルトベースモデルを使用して安全解析を実行することを含む、方法。 - 前記構成要素フォルトベースモデルは、それぞれの構成要素を表すブロックを含むブロック図(400)の中で図示され、かつ前記構成要素フォルトベースモデルを前記システムフォルトベースモデルの中へアセンブルすることは、前記システムフォルトベースモデルを互いに接続されている前記ブロックを含むブロック図(400)として図示することを含み、前記ブロック図(400)は信頼度ブロック図(1300)又は機能流れブロック図である、請求項8に記載の方法。
- 前記構成要素フォルトベースモデルを受信することは、記憶装置から前記構成要素フォルトベースモデルを受信することを含み、前記構成要素フォルトベースモデルは構成要素フォルトベースモデルのライブラリーの中に保存される、請求項8に記載の方法。
- 前記構成要素フォルトベースモデル、及び前記構成要素フォルトベースモデルの前記伝達関数を構築することを含んで、前記構成要素の前記構成要素フォルトベースモデルを開発することをさらに含み、
前記構成要素フォルトベースモデルのうちのすくなくともいくつかの各々は、それぞれの構成要素の出力及び故障イベントを含み、かつ前記伝達関数は前記それぞれの構成要素の前記出力(408)及び故障イベントの間の論理関係を表現し、かつ
前記構成要素フォルトベースモデルを受信することは、直接的に又は間接的に開発された前記構成要素フォルトベースモデルを受信することを含む、請求項8に記載の方法。 - 前記構成要素フォルトベースモデルのうちの少なくともいくつかの各々はさらに、外部からの入力(406)又は制御(406)を含み、かつ前記伝達関数は前記外部からの入力(404)又は制御(406)、前記それぞれの構成要素の出力(408)及び故障イベントの間の論理関係を表現し、かつ
前記構成要素フォルトベースモデルをアセンブルすることは、構成要素フォルトベースモデルの出力(408)を、別の構成要素フォルトベースモデルの入力に対して、又は別の構成要素フォルトベースモデルの外部からの入力(404)に対して出力(408)するブール論理OR演算(702)に対して接続することを含む、請求項11に記載の方法。 - 前記安全解析を実行することは、前記システムフォルトベースモデルを使用してフォルトツリー(500)解析を実行すること、及び前記フォルトツリー(500)解析に基づいて1以上の故障状態に対して1以上の最小カットセット及び確率を生成させることを含む、請求項8に記載の方法。
- 前記安全解析を実行することは、前記構成要素フォルトベースモデル又はシステムフォルトベースモデルのうちの少なくともいくつかに基づいて故障伝搬モデルを発生させることを含み、前記故障伝搬モデルは1以上の故障伝搬経路及び前記1以上の故障伝搬経路に沿った外部からの入力(404)及び出力(408)の故障確率を含む、請求項8に記載の方法。
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US14/082,506 | 2013-11-18 | ||
US14/082,506 US10095813B2 (en) | 2013-11-18 | 2013-11-18 | Safety analysis of a complex system using component-oriented fault trees |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2015111402A true JP2015111402A (ja) | 2015-06-18 |
JP6558883B2 JP6558883B2 (ja) | 2019-08-14 |
Family
ID=52023161
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2014192350A Active JP6558883B2 (ja) | 2013-11-18 | 2014-09-22 | 構成要素に基づくフォルトツリーを使用する複合システムの安全解析 |
Country Status (6)
Country | Link |
---|---|
US (1) | US10095813B2 (ja) |
EP (1) | EP2876519B1 (ja) |
JP (1) | JP6558883B2 (ja) |
CN (1) | CN104657536B (ja) |
AU (1) | AU2014208308B2 (ja) |
CA (1) | CA2857923C (ja) |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2017142715A (ja) * | 2016-02-12 | 2017-08-17 | 三菱航空機株式会社 | 最上位事象の評価装置 |
JP2019003612A (ja) * | 2017-06-12 | 2019-01-10 | シーメンス アクチエンゲゼルシヤフトSiemens Aktiengesellschaft | 休止システム故障状態を識別するための、故障の木を使用した安全性確保 |
Families Citing this family (41)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10796315B2 (en) * | 2014-12-15 | 2020-10-06 | Siemens Aktiengesellschaft | Automated recertification of a safety critical system |
US20160170868A1 (en) * | 2014-12-16 | 2016-06-16 | Siemens Aktiengesellschaft | Method and apparatus for the automated testing of a subsystem of a safety critical system |
EP3059676B1 (en) * | 2015-02-20 | 2019-09-11 | Siemens Aktiengesellschaft | A method and apparatus for analyzing the availability of a system, in particular of a safety critical system |
US10241852B2 (en) * | 2015-03-10 | 2019-03-26 | Siemens Aktiengesellschaft | Automated qualification of a safety critical system |
WO2016173624A1 (en) * | 2015-04-28 | 2016-11-03 | Siemens Aktiengesellschaft | Method and apparatus for generating a fault tree for a failure mode of a complex system |
US10423884B2 (en) * | 2015-06-04 | 2019-09-24 | The Mathworks, Inc. | Extension of model-based design to identify and analyze impact of reliability information on systems and components |
DE102015213582A1 (de) * | 2015-07-20 | 2017-01-26 | Siemens Aktiengesellschaft | Verfahren zur Modellierung eines Fehlerpropagationsmodells und Computerprogrammprodukt |
EP3151122A1 (en) * | 2015-10-02 | 2017-04-05 | Siemens Aktiengesellschaft | Method and apparatus for generating a fault tree |
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 |
ES2794748T3 (es) * | 2016-01-28 | 2020-11-19 | Siemens Ag | Método y aparato para analizar un sistema complejo investigado |
CN105808366B (zh) * | 2016-03-14 | 2018-12-14 | 南京航空航天大学 | 一种基于四变量模型的系统安全分析方法 |
EP3249484B1 (en) * | 2016-05-25 | 2021-09-01 | Siemens Aktiengesellschaft | Method and apparatus for providing a safe operation of a technical system |
EP3260940A1 (en) * | 2016-06-21 | 2017-12-27 | Siemens Aktiengesellschaft | Method and apparatus for automated hazard detection |
US20170372237A1 (en) * | 2016-06-22 | 2017-12-28 | General Electric Company | System and method for producing models for asset management from requirements |
EP3270249B1 (en) * | 2016-07-15 | 2020-08-26 | Siemens Aktiengesellschaft | Method and apparatus for a computer-based generation of component fault trees |
US11204601B2 (en) * | 2016-12-06 | 2021-12-21 | Siemens Aktiengesellschaft | Markov chains and component fault trees for modelling technical systems |
CN106682320B (zh) * | 2016-12-30 | 2020-03-31 | 苏州同元软控信息技术有限公司 | 一种将架构模型转换为可靠性框图的转换系统及其方法 |
US10096178B2 (en) * | 2017-01-03 | 2018-10-09 | The Boeing Company | Reducing nuisance fault indications from a vehicle using physics based and data driven models |
US10112727B1 (en) * | 2017-08-29 | 2018-10-30 | Kitty Hawk Corporation | Actuator monitoring system using inertial sensors |
EP3470944B1 (en) * | 2017-10-11 | 2022-12-14 | Siemens Aktiengesellschaft | Method for providing an analytical artifact based on functional system description |
CN108388740B (zh) * | 2018-03-01 | 2022-05-13 | 哈尔滨工程大学 | 一种基于故障树分析旁联冗余系统可靠性的方法 |
EP3557495A1 (en) * | 2018-04-17 | 2019-10-23 | Siemens Aktiengesellschaft | Method for identifying and evaluating common cause failures of system components |
EP3570130B1 (en) * | 2018-05-15 | 2020-12-16 | Siemens Industry Software NV | Ring-closures in fault trees |
CN109145402B (zh) * | 2018-07-31 | 2022-11-25 | 北京航空航天大学 | 一种基于故障混杂模型的机电系统故障传播分析方法 |
US20200042919A1 (en) * | 2018-08-03 | 2020-02-06 | The Boeing Company | Aircraft component demand forecasting |
EP3640757B1 (en) * | 2018-10-18 | 2021-11-24 | Siemens Industry Software NV | Automatic generation of a safety contract |
JP7214440B2 (ja) * | 2018-11-01 | 2023-01-30 | 三菱重工エンジニアリング株式会社 | 検証処理装置、検証処理方法及びプログラム |
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 |
CN110223416B (zh) * | 2019-05-27 | 2021-05-14 | 深圳市德塔防爆电动汽车有限公司 | 一种电动车辆的原始数据分析方法以及电动车辆 |
CN110321238B (zh) * | 2019-06-13 | 2022-01-04 | 西北工业大学 | 系统可靠性分析方法 |
CN110517369B (zh) * | 2019-08-23 | 2021-04-23 | 中国航空无线电电子研究所 | 基于思维导图的故障树构建方法和系统 |
US11776330B2 (en) | 2019-12-09 | 2023-10-03 | The Boeing Company | Closed-loop diagnostic model maturation for complex systems |
CN111080149B (zh) * | 2019-12-20 | 2022-08-09 | 四川大学 | 一种高中低压一体化配电网络可靠性混合计算方法 |
CN111581900B (zh) * | 2020-04-30 | 2023-03-10 | 中国航空无线电电子研究所 | 一种基于tfpg的航电系统通用处理模块故障建模方法 |
CN111639436B (zh) * | 2020-06-04 | 2022-12-09 | 中国航空综合技术研究所 | 系统故障传播模型建模方法 |
US11416326B2 (en) * | 2020-08-28 | 2022-08-16 | Sap Se | Systems and methods for failure diagnosis using fault tree |
EP3961406A1 (en) * | 2020-08-28 | 2022-03-02 | Siemens Aktiengesellschaft | Computer-implemented method and computerized device for testing a technical system |
US12021680B1 (en) | 2021-04-12 | 2024-06-25 | Criticality Sciences, Inc. | Detecting and mitigating cascading errors in a network to improve network resilience |
CN113467984B (zh) * | 2021-07-20 | 2024-03-29 | 中国商用飞机有限责任公司北京民用飞机技术研究中心 | 飞机系统故障诊断方法、装置、计算机设备及存储介质 |
CN114970188A (zh) * | 2022-06-10 | 2022-08-30 | 南京航空航天大学 | 一种基于动力学模型的飞机系统安全性分析方法 |
CN117973878B (zh) * | 2024-03-29 | 2024-06-14 | 鼎泰(南京)临床医学研究有限公司 | 基于风险评估工具fmea的风险管理方法 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS5890210A (ja) * | 1981-11-25 | 1983-05-28 | Hitachi Ltd | プラントシステム機能喪失予測表示方法 |
JPH01199194A (ja) * | 1988-02-04 | 1989-08-10 | Nippon Atom Ind Group Co Ltd | システムの信頼性評価装置 |
JPH06187154A (ja) * | 1993-08-25 | 1994-07-08 | Hitachi Ltd | 知識ベースの構築方法および知識ベースによる故障診断方法 |
Family Cites Families (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH07113995B2 (ja) * | 1989-01-11 | 1995-12-06 | 株式会社日立製作所 | 推論方法および装置 |
US7158958B2 (en) | 2003-12-24 | 2007-01-02 | The Boeing Company | Automatic generation of baysian diagnostics from fault trees |
WO2007086823A2 (en) * | 2004-12-21 | 2007-08-02 | University Of Virginia Patent Foundation | Method and system for dynamic probabilistic risk assessment |
US8015550B2 (en) * | 2005-12-01 | 2011-09-06 | Siemens Corporation | Systems and methods for hazards analysis |
US7770052B2 (en) | 2006-05-18 | 2010-08-03 | The Boeing Company | Collaborative web-based airplane level failure effects analysis tool |
US7925453B2 (en) * | 2008-04-18 | 2011-04-12 | The Boeing Company | Assessing conditions of aircraft wiring |
US8121042B2 (en) | 2008-06-30 | 2012-02-21 | The Boeing Company | Reliability estimation methods for large networked systems |
US8352236B2 (en) * | 2008-10-16 | 2013-01-08 | Institute Of Nuclear Energy Research | Fault tree analysis system for the instrument control process for nuclear power plant with advanced boiling water reactor background |
CN101446827B (zh) * | 2008-11-06 | 2011-06-22 | 西安交通大学 | 一种流程工业系统的过程故障分析装置及方法 |
US20120317058A1 (en) * | 2011-06-13 | 2012-12-13 | Abhulimen Kingsley E | Design of computer based risk and safety management system of complex production and multifunctional process facilities-application to fpso's |
-
2013
- 2013-11-18 US US14/082,506 patent/US10095813B2/en active Active
-
2014
- 2014-07-29 CA CA2857923A patent/CA2857923C/en active Active
- 2014-08-05 AU AU2014208308A patent/AU2014208308B2/en active Active
- 2014-09-22 JP JP2014192350A patent/JP6558883B2/ja active Active
- 2014-11-17 CN CN201410655193.4A patent/CN104657536B/zh active Active
- 2014-11-18 EP EP14193624.5A patent/EP2876519B1/en active Active
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPS5890210A (ja) * | 1981-11-25 | 1983-05-28 | Hitachi Ltd | プラントシステム機能喪失予測表示方法 |
JPH01199194A (ja) * | 1988-02-04 | 1989-08-10 | Nippon Atom Ind Group Co Ltd | システムの信頼性評価装置 |
JPH06187154A (ja) * | 1993-08-25 | 1994-07-08 | Hitachi Ltd | 知識ベースの構築方法および知識ベースによる故障診断方法 |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2017142715A (ja) * | 2016-02-12 | 2017-08-17 | 三菱航空機株式会社 | 最上位事象の評価装置 |
JP2019003612A (ja) * | 2017-06-12 | 2019-01-10 | シーメンス アクチエンゲゼルシヤフトSiemens Aktiengesellschaft | 休止システム故障状態を識別するための、故障の木を使用した安全性確保 |
Also Published As
Publication number | Publication date |
---|---|
EP2876519A2 (en) | 2015-05-27 |
CA2857923A1 (en) | 2015-05-18 |
CA2857923C (en) | 2020-01-14 |
AU2014208308B2 (en) | 2019-12-12 |
JP6558883B2 (ja) | 2019-08-14 |
CN104657536A (zh) | 2015-05-27 |
EP2876519B1 (en) | 2019-01-09 |
CN104657536B (zh) | 2019-12-13 |
EP2876519A3 (en) | 2015-09-09 |
US10095813B2 (en) | 2018-10-09 |
US20150142402A1 (en) | 2015-05-21 |
AU2014208308A1 (en) | 2015-06-04 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6558883B2 (ja) | 構成要素に基づくフォルトツリーを使用する複合システムの安全解析 | |
AU2014202578B2 (en) | System and method for assessing cumulative effects of a failure | |
JP6272661B2 (ja) | 故障解析の妥当性検査および視覚化 | |
Dubrova | Fault-tolerant design | |
US20130073271A1 (en) | Static fault tree analysis system and method from system models | |
Zhao et al. | Safety assessment of the reconfigurable integrated modular avionics based on STPA | |
Andrews et al. | Fail-safe test generation in safety critical systems | |
de Oliveira et al. | Variability management in safety‐critical systems design and dependability analysis | |
Luo et al. | Safety-driven development and ISO 26262 | |
Kushal et al. | Architecture Level Safety Analyses for Safety‐Critical Systems | |
US8849619B2 (en) | System and method for generating three dimensional functional space reservation systems of a vehicle using delta storage | |
US20170372237A1 (en) | System and method for producing models for asset management from requirements | |
Manolios et al. | A model-based framework for analyzing the safety of system architectures | |
Zhu et al. | Reliability and safety assessment with AltaRica for complex aircraft systems | |
Rafeh | A proposed approach for safety management in medical software design | |
Kopetz et al. | System Design | |
Priggouris et al. | The system design life cycle | |
Zhou et al. | Verifying the Safety of Aviation Software Based on Extended Colored Petri Net | |
CN110114769A (zh) | 语义比较产品配置模型的系统和方法 | |
Nan et al. | Extended dynamic fault tree algorithm based on stochastic petri net and micro-satellite on-board computer case analysis | |
Prokhorova et al. | Deriving a mode logic using failure modes and effects analysis | |
Bhatti | Model-Based Safety Assessment of Industrial Automation Systems using IEC 61499 | |
Dubrova et al. | Dependability evaluation techniques | |
Radjenovic | Modelling to safety | |
Space | Trustworthy Systems Engineering with GoedelWorks 3 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20170919 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20180914 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20181009 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20190109 |
|
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: 20190618 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20190716 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6558883 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |