文献

J-GLOBAL ID：201702281252674692   整理番号：17A1672163

故障配置に基づく故障木生成【JST・京大機械翻訳】

Fault Tree Generation Based on Fault Configuration

著者 (3件)： Huang Mingyu (南京航空航天大学計算机科学与技術学院 南京211100) ,  Wei Ou (南京航空航天大学計算机科学与技術学院 南京211100) ,  Hu Jun (南京航空航天大学計算机科学与技術学院 南京211100)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 44  号： 2  ページ： 182-191  発行年： 2017年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 故障ツリー解析は,システムの安全性と信頼性を向上させる効果的方法である。従来の人工故障木生成方式は,現在のシステムの巨大な複雑さと複雑さの問題を解決することができなくて,容易にエラーを生み出すことができた。そのため、故障配置に基づく故障木の生成方法を提案し、ソフトウェア製品ラインの可変性管理を導入し、システムの故障モデリングと形式化分析に用いた。まず第一に,故障特性グラフモデルを定義して,システム故障の間の制約関係を記述して,Kripke構造に基づく故障標識移動システムを定義して,システムの挙動を記述した。次に,モデルの意味論に基づいて,故障ツリーを生成するプロセスをモデルによって検出することができた。最終的に,システムのセキュリティ属性を時系列論理によって記述して,モデル検査ツールSNIPを用いて,セキュリティ属性を検証して,故障ツリーを生成した。事例研究により,提案した方法の有効性を示した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： ソフトウェア商品 ,  移送装置 ,  *故障 ,  セキュリティ ,  信頼性 ,  意味論 ,  事例研究 ,  モデル検査
準シソーラス用語： システムセキュリティ ,  システム障害 ,  グラフモデル ,  故障モデリング ,  複雑性 ,  システム安全性 , 【Automatic Indexing@JST】

著者キーワード (3件)： Fault tree ,  Fault configuration ,  Model checking

分類 (5件)： 信頼性  (KB04040H) ,  計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z) ,  計算理論  (JB02000A) ,  産業衛生,産業災害  (GB05000S)

タイトルに関連する用語 (2件)： 故障 ,  木