文献

J-GLOBAL ID：201602253699906646   整理番号：16A0811144

故障情報を機能モデルとしての安全性の解析方法研究にまで拡張する【JST・京大機械翻訳】

Research of Safety Analysis Based on Integrating Fault Information into Functional Model

著者 (5件)： Cao Dejian (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Huang Zhiqiu (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Lu Chen (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Chen Guangying (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics) ,  Wu Zhipeng (College of Computer Science and Technology,Nanjing University of Aeronautics and Astronautics)
資料名： Xiaoxing Weixing Jisuanji Xitong  (Xiaoxing Weixing Jisuanji Xitong)
巻： 37  号： 1  ページ： 24-32  発行年： 2016年 
JST資料番号： C2136A  ISSN： 1000-1220  CODEN： XWJXEH  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 組込みシステムはエネルギー、交通などセキュリティのキー分野での幅広く応用されるに伴い,ソフトウェアモデルに対する解析と安全性検証手法は,常に学界や産業界の研究の焦点の一つである。機能モデルとセキュリティ需要分析モデルは,組込み安全性重視システムの2つの重要な側面を分析することである,しかし,2つのモデルはいずれも別々に使用され一般。1つの故障情報が広がっている状態図モデルの方法と故障を拡張状態図の概念を提案し,同時に故障情報と状態図の元素の間のセマンティックマッピングテーブルを構築し,故障樹LuoJi門の変換規則を与え,1つの拡張故障状態図に基づく変換モデルと検証フレームワークをを設計した。そして,故障を自動構築する拡張表マッピングを利用した状態図のアルゴリズムを与えた。最後に,本論文で提案した方法を用いて,1つの燃気Zao小型制御システムに対して事例解析を行うことにより,本論文ではこの方法の実現可能性と有効性を証明した。Data from the ScienceChina, LCAS.【JST・京大機械翻訳】

シソーラス用語： 組込みシステム ,  状態図 ,  セキュリティ ,  アルゴリズム ,  *安全性 ,  需要分析 ,  制御系 ,  *故障 ,  事例分析 ,  *機能モデル
準シソーラス用語： 安全性重視システム ,  解析方法 , 【Automatic Indexing@JST】

著者キーワード (5件)： embedded systems ,  safety analysis ,  statechart ,  fault tree analysis ,  fault-extended statechart

分類 (1件)： データ保護  (JD01020V)

タイトルに関連する用語 (6件)： 故障 ,  機能モデル ,  安全性 ,  解析方法 ,  研究 ,  拡張