文献

J-GLOBAL ID：202002263630470879   整理番号：20A2638293

STAMPと形式的検証に基づくコンポーネント相互作用安全性解析法【JST・京大機械翻訳】

Components Interaction Safety Analysis Method Based on STAMP and Formal Verification

著者 (3件)： Ye Nan (School of Reliability and System Engineering, Beihang University, Beijing, Beihang University, Beijing) ,  Zhang Jianguo (School of Reliability and System Engineering, Beihang University, Beijing, Beihang University, Beijing) ,  Wu Jie (School of Reliability and System Engineering, Beihang University, Beijing, Beihang University, Beijing)
資料名： ACM Proceedings  (ACM Proceedings)
号： WSSE 2020  ページ： 46-50  発行年： 2020年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 従来の安全解析法は事象連鎖理論に基づいており,それは複雑なシステムの成分相互作用問題によって引き起こされる事故を分析するのに適していない。しかし,システム理論事故モデルとプロセス(STAMP)はこの困難を克服することができる。自然言語でモデルを記述し,手動分析に頼るように,STAMPに関する現在の研究にはいくつかの欠点がある。したがって,本論文では,STAMPと形式的検証に基づく部品相互作用安全解析法を提案した。用例として航空エンジン制御システムを取り入れて,システム危険性の根本原因を得て,提案方法の実現可能性を検証した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *相互作用 ,  航空輸送 ,  自然言語 ,  システム理論 ,  安全解析 ,  モデル検査
準シソーラス用語： 用例 ,  形式的検証 , 【Automatic Indexing@JST】

著者キーワード (4件)： STAMP ,  航空エンジン制御システム ,  モデル検査 ,  システム安全性解析

分類 (2件)： 安全管理  (KB06000D) ,  宇宙飛行体  (QK08000Y)

タイトルに関連する用語 (5件)： STAMP ,  形式的検証 ,  コンポーネント ,  相互作用 ,  安全性解析