WEKO3
-
RootNode
アイテム
組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
http://hdl.handle.net/10228/6033
http://hdl.handle.net/10228/6033be97107c-c156-49cf-971d-fec9db025e58
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IEICE108_7.pdf (766.3 kB)
|
|
| Item type | 学術雑誌論文 = Journal Article(1) | |||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-02-17 | |||||||||||||||||||||
| 資源タイプ | ||||||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||||||||||||||
| 資源タイプ | journal article | |||||||||||||||||||||
| タイトル | ||||||||||||||||||||||
| タイトル | 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化 | |||||||||||||||||||||
| 言語 | ja | |||||||||||||||||||||
| タイトル | ||||||||||||||||||||||
| タイトル | Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems | |||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||
| 言語 | ||||||||||||||||||||||
| 言語 | jpn | |||||||||||||||||||||
| 著者 |
井上, 富雄
× 井上, 富雄× 三瀬, 敏朗× 新屋敷, 泰史× 橋本, 正明
WEKO
6416
× 片峯, 恵一
WEKO
926
× 鵜林, 尚靖× 中谷, 多哉子 |
|||||||||||||||||||||
| 抄録 | ||||||||||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||||||||||
| 内容記述 | 組込みシステムは障害などの非正常系について,IFD(Information Flow Diagram)を用いた静的な側面と,分析マトリクスを用いた動的な側面から,捉える事が出来る.そこで,IFDと分析マトリクスの関係を厳密に示すため,両者の定式化を図り考察する.また,分析マトリクスにおける抽象化のメカニズムを定式化によって探り,両者を用いた分析を助ける.本稿では,両者を定式化した定義とその有効性について論ずる. | |||||||||||||||||||||
| 言語 | ja | |||||||||||||||||||||
| 抄録 | ||||||||||||||||||||||
| 内容記述タイプ | Abstract | |||||||||||||||||||||
| 内容記述 | 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. | |||||||||||||||||||||
| 言語 | en | |||||||||||||||||||||
| 備考 | ||||||||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||||||||
| 内容記述 | 知能ソフトウェア工学研究会（KBSE), 2008年11月27-28日, 福岡市東区, 福岡県, 日本 | |||||||||||||||||||||
| 書誌情報 |
ja : 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学 巻 108, 号 326, p. 7-12, 発行日 2008-11-20 |
|||||||||||||||||||||
| 出版社 | ||||||||||||||||||||||
| 出版者 | 電子情報通信学会 | |||||||||||||||||||||
| 言語 | ja | |||||||||||||||||||||
| CRID | ||||||||||||||||||||||
| 関連タイプ | isIdenticalTo | |||||||||||||||||||||
| 識別子タイプ | URI | |||||||||||||||||||||
| 関連識別子 | https://cir.nii.ac.jp/crid/1050001338910914816 | |||||||||||||||||||||
| NCID | ||||||||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||||||||
| 収録物識別子 | AN10386841 | |||||||||||||||||||||
| ISSN | ||||||||||||||||||||||
| 収録物識別子タイプ | EISSN | |||||||||||||||||||||
| 収録物識別子 | 2432-6380 | |||||||||||||||||||||
| ISSN | ||||||||||||||||||||||
| 収録物識別子タイプ | PISSN | |||||||||||||||||||||
| 収録物識別子 | 0913-5685 | |||||||||||||||||||||
| 著作権関連情報 | ||||||||||||||||||||||
| 権利情報 | 電子情報通信学会. 本文データは学協会の許諾に基づきCiNiiから複製したものである | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | 組込みシステム | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | 非正常系 | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | 情報フロー・ダイアグラム | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | 分析マトリクス | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | 定式化 | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | Embedded System | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | Unexpected Obstacles | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | Informatien Flow Diagrarn | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | Analysis Manix | |||||||||||||||||||||
| キーワード | ||||||||||||||||||||||
| 主題Scheme | Other | |||||||||||||||||||||
| 主題 | Formalization | |||||||||||||||||||||
| 出版タイプ | ||||||||||||||||||||||
| 出版タイプ | VoR | |||||||||||||||||||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||||||||||||||||||
| 査読の有無 | ||||||||||||||||||||||
| 値 | no | |||||||||||||||||||||
| 連携ID | ||||||||||||||||||||||
| 値 | 592 | |||||||||||||||||||||
