組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化

摘要

We can treat embedded systems as two aspects about unexpected obstacles such as the failure. One is a static side using IFD(Information Flow Diagram). Another is a dynamic side using analysis matrix. Therefore I formalize IFD and the analysis matrix to show the relations between both exactly. In addition, I investigate mechanism of the abstraction in the analysis matrix by formalization and help with the analysis that I used both for. In this paper, I discuss it about a definition and the effectiveness that formalized both.%組込みシステムは障害などの非正常系について，IFD（Information Flow Diagram）を用いた静的な側面と，分析マトリクスを用いた動的な側面から，捉える辛が出来る．そこで，IFDと分析マトリクスの関係を厳密に示すため，両者の定式化を図り考察する．また，分析マトリクスにおける抽象化のメカニズムを定式化によって探り，両者を用いた分析を助ける．本稿では，両者を定式化した定義とその有効性について論ずる．