Efficient Root Cause Detection in Complex Embedded Systems with Abstract Model-based Diagnosis

• Item type: Journal(1)
• 公開日: 2012-07-15
• タイトル: Efficient Root Cause Detection in Complex Embedded Systems with Abstract Model-based Diagnosis
• タイトル / 言語: en
• タイトル: Efficient Root Cause Detection in Complex Embedded Systems with Abstract Model-based Diagnosis
• 言語: eng
• キーワード / 主題Scheme: Other
• キーワード / 主題: [特集：社会を元気にするICT] diagnosis, embedded system, maximum satisfiability problem
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: Toyota Central R&D Labs. Inc.
• 著者所属: Toyota Central R&D Labs. Inc.
• 著者所属: Aichi Institute of Technology
• 著者所属(英): en
• 著者所属(英): Toyota Central R&D Labs. Inc.
• 著者所属(英): en
• 著者所属(英): Toyota Central R&D Labs. Inc.
• 著者所属(英): en
• 著者所属(英): Aichi Institute of Technology
• 著者名: Takuro, Kutsuna; Shuichi, Sato; Naoya, Chujo
• 著者名(英): Takuro, Kutsuna; Shuichi, Sato; Naoya, Chujo
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: The increasing complexity of embedded systems in information and communication technology causes a problem with locating faults during system failures. One reason for this problem is that system components that receive abnormal input data from other components may also output abnormal data, even if they are not in abnormal states, and consequently many redundant faults are detected in the system. In this paper, we present a diagnosis method for locating the origin of faults automatically in systems where fault propagation may occur. We use a model-based diagnosis scheme and abstract behavior modeling technique to deal with complex software components. We propose a new approach to diagnose systems that have data flow loops. Finally, we propose a one-stage approach for solving the abstract model-based diagnosis based on its formulation into the partial maximum satisfiability problem.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.20(2012) No.3 (online); DOI http://dx.doi.org/10.2197/ipsjjip.20.767; ------------------------------
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: The increasing complexity of embedded systems in information and communication technology causes a problem with locating faults during system failures. One reason for this problem is that system components that receive abnormal input data from other components may also output abnormal data, even if they are not in abnormal states, and consequently many redundant faults are detected in the system. In this paper, we present a diagnosis method for locating the origin of faults automatically in systems where fault propagation may occur. We use a model-based diagnosis scheme and abstract behavior modeling technique to deal with complex software components. We propose a new approach to diagnose systems that have data flow loops. Finally, we propose a one-stage approach for solving the abstract model-based diagnosis based on its formulation into the partial maximum satisfiability problem.; ------------------------------; This is a preprint of an article intended for publication Journal of; Information Processing(JIP). This preprint should not be cited. This; article should be cited as: Journal of Information Processing Vol.20(2012) No.3 (online); DOI http://dx.doi.org/10.2197/ipsjjip.20.767; ------------------------------
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 53, 号 7, 発行日 2012-07-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764