組込みシステムにおける並列型状態遷移図に基づく安全分析手法

• Item type: Symposium(1)
• 公開日: 2012-10-10
• タイトル: 組込みシステムにおける並列型状態遷移図に基づく安全分析手法
• タイトル / 言語: en
• タイトル: Safety analysis method based on parallel state transition diagram for embedded systems
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 信頼性・ディペンダビリティ
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属: 名古屋大学大学院情報科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者所属(英): en
• 著者所属(英): Graduate School of Information Science, Nagoya University
• 著者名: 金, 周慧; 松原, 豊; 高田, 広章
• 著者名(英): Zoohaye, Kim; Yutaka, Matsubara; Hiroaki, Takada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 組込みシステムにおける故障の影響を，より網羅的に分析するため，我々は，状態遷移図を対象とした安全分析手法を提案している．本論文では，直交する複数の状態遷移図 （並列型状態遷移図） で表現されるシステムを対象とした安全分析手法 SAPSTD （Safety Analysis method based on Parallel State Transition Diagrams） を提案する．提案手法を用いることで，直交する状態遷移図のうち，一部の状態遷移図における逸脱を分析すれば，他の状態遷移図の状態に関係なく故障の深刻度が定まる場合に，分析数を減らすことができる．小規模な組込みシステムを対象に提案手法を適用し，提案手法の有効性を明らかにする．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In order to analyze effects of failures exhaustively in safety critical embedded systems, we have studied safety analysis methods based on state transition diagrams. However, guide-words and an analytical sheet used in these methods are not suitable for analyzing parallel state transition diagrams, which represent the behavior of a system whose functions work in parallel. In the case that the severity of a deviation on a state transition diagram can be determined regardless of the other state transition diagrams, the total number of deviations to be analyzed would be reduced by using the proposed method. To clarify the effectiveness of the proposed method, we applied a conventional method and SAPSTD for analysis of specifications of a sample embedded system and compared the results of them.
• 書誌情報: 組込みシステムシンポジウム2012論文集; 巻 2012, p. 57-62, 発行日 2012-10-10
• 出版者 / 言語: ja
• 出版者: 情報処理学会