文献

J-GLOBAL ID：201802272312262744   整理番号：18A0691812

AADL故障モデルから動的故障ツリーへの変換方法【JST・京大機械翻訳】

A Method for Conversion of AADL Model into Dynamic Fault Tree

著者 (3件)： Zhang Xiaoce (南京航空航天大学 計算机科学与技術学院,江蘇 南京,211106) ,  Yan Xuefeng (南京航空航天大学 計算机科学与技術学院,江蘇 南京,211106) ,  Zhou Yong (南京航空航天大学 計算机科学与技術学院,江蘇 南京,211106)
資料名： Jisuanji Jishu yu Fazhan  (Jisuanji Jishu yu Fazhan)
巻： 27  号： 11  ページ： 110-114  発行年： 2017年 
JST資料番号： C3602A  ISSN： 1673-629X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： モデル駆動に基づく組込みソフトウェア開発において,工学技術とツールを使用することによって,その安全性と信頼性を保証する必要がある。設計段階においてシステムの信頼性を決定することは非常に重要であり、それは設計決定に重要な情報を提供できるため、システムの開発コストを減少させることができる。AADLを用いて組込みシステムモデルを構築する際、AADLによる時系列故障の記述が不足している問題がある。この問題を解決するために、AADLの故障添付ファイルを拡張し、それによって時系列故障を完全に記述でき、拡張したAADL故障モデルから動的故障ツリーへの転換規則と方法を提案した。拡張AADL故障モデルから動的故障ツリーへの変換プロセスを3段階に分割した。AADLモデルにおけるコンポーネントを,単一動的故障ツリーに変換した。基本要素としてコンポーネントを使用することによって,データまたはイベントの故障遷移図を確立した。故障遷移図とコンポーネントの動的故障ツリーに基づいて,動的故障ツリーを確立した。ミサイル発射システムの実例により、この変換規則と方法の実行可能性と実用性を証明した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： ミサイル ,  組込みシステム ,  *故障 ,  *モデル ,  信頼性 ,  安全性
準シソーラス用語： 実用性 ,  組込みソフトウェア ,  *故障モデル , 【Automatic Indexing@JST】

著者キーワード (4件)： AADL model ,  dynamic fault tree ,  conversion method ,  error model annex

分類 (1件)： 計算機システム開発  (JD02010R)

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