@article{oai:kyutech.repo.nii.ac.jp:00004813,
 author = {井上, 富雄 and Inoue, Tomio and 三瀬, 敏朗 and Mise, Toshiro and 新屋敷, 泰史 and Shinyashiki, Yasufumi and Hashimoto, Masaaki and 橋本, 正明 and Katamine, Keiichi and 片峯, 恵一 and Ubayashi, Naoyasu and 鵜林, 尚靖 and 中谷, 多哉子 and Nakatani, Takako},
 issue = {326},
 journal = {電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学},
 month = {Nov},
 note = {組込みシステムは障害などの非正常系について,IFD(Information Flow Diagram)を用いた静的な側面と,分析マトリクスを用いた動的な側面から,捉える事が出来る.そこで,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., 知能ソフトウェア工学研究会（KBSE), 2008年11月27-28日, 福岡市東区, 福岡県, 日本},
 pages = {7--12},
 title = {組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化},
 volume = {108},
 year = {2008},
 yomi = {ハシモト, マサアキ and カタミネ, ケイイチ and ウバヤシ, ナオヤス}
}