文献

J-GLOBAL ID：201702271158244854   整理番号：17A1629090

MBSAに基づく安全上重要なシステムのための改良された形式的故障解析アプローチ【Powered by NICT】

An improved formal failure analysis approach for safety-critical system based on MBSA

著者 (4件)： Chen Lu (School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China) ,  Jiao Jian (School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China) ,  Wei Qianxin (School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China) ,  Zhao Tingdi (School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China)
資料名： Engineering Failure Analysis  (Engineering Failure Analysis)
巻： 82  ページ： 713-725  発行年： 2017年 
JST資料番号： W0684A  ISSN： 1350-6307  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： 災害は破壊モードおよび/または故障の影響の型を無視するか,あるいは誤判断で生じる可能性があるため,安全性が重要なシステムの破壊を解析するために重要である。より効果的かつ効率的に破壊解析を行うために,形式的モデリングの概念を導入した。本論文では,安全性が重要なシステムの形式的破壊解析手法を最適化するためのモデルベース安全性解析(MBSA)加工プロセスを改善した。MBSAプロセスのコアの研究として,形式的モデリングおよびモデルの拡張は,モデル検査によるシステムの破壊挙動を解析するための使用できる統合システムモデルを構築することを目的とした。しかし,構造システムモデルにおける潜在的故障は,モデルはモデル検査器を用いた特定システム特性と必要条件を満足するかどうかを調べる自動的にために,モデル変換は通常必要であり,これは変態中の潜在的な誤差を導入した。さらに,異なるモデルチェッカは一般的にシステムモデルは,特定の入力言語,モデリングの困難さを増加させるに発現することが必要である。これらの問題を回避し,故障解析業務の効率を改善するために,本論文では,記号言語SMVを用いた安全性が重要なシステムの統一モデルを迅速かつ正確にするかに焦点を当て,その後すぐに対応するオープンソースモデル検査器NuSMVを用いた自動検証を行った。モデル検査後,モデル検査によって生成された反例のような形式的検証結果は,FMEAやFTAのような,システム開発の反復改良を導く簡便に伝統的な故障解析アーチファクトに変換する必要がある。,伝統的故障解析結果への形式的検証結論と変換を解くために本論文のもう一つの重要な点である。最後に,航空機搭載装置に関する事例研究を,提案した方法を検証した。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： *故障解析 ,  モデル ,  必要条件 ,  事例研究 ,  システムモデル ,  破壊モード ,  システム特性 ,  *安全性 ,  モデリング ,  最適化 ,  *故障 ,  安全解析 ,  モデル検査
準シソーラス用語： 形式的検証 ,  破壊解析 , 【Automatic Indexing@JST】

著者キーワード (4件)： 故障解析 ,  MBSA ,  モデル検査 ,  セーフティクリティカルシステム

分類 (2件)： 鉄道車両・鉄道車両工業一般  (QH01000S) ,  パイプライン・空気・水力輸送  (QD05010T)

タイトルに関連する用語 (1件)： 故障解析