組込みシステム向け診断機能のモデル段階での組込みと部品化

• Item type: Symposium(1)
• 公開日: 2013-10-09
• タイトル: 組込みシステム向け診断機能のモデル段階での組込みと部品化
• タイトル / 言語: en
• タイトル: Reusable Modeling of Diagnosis Functions for Embedded Systems
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 組込みシステム設計手法
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 埼玉大学
• 著者所属: 埼玉大学
• 著者所属: 埼玉大学／カルソニックカンセイ株式会社
• 著者所属: 埼玉大学
• 著者所属: 埼玉大学
• 著者所属(英): en
• 著者所属(英): Saitama University
• 著者所属(英): en
• 著者所属(英): Saitama University
• 著者所属(英): en
• 著者所属(英): Saitama University / Calsonic Kansei Corp.
• 著者所属(英): en
• 著者所属(英): Saitama University
• 著者所属(英): en
• 著者所属(英): Saitama University
• 著者名: 中野, 真吾; 渋田, 達也; 新井, 正敏; 松本, 倫子; 吉田, 紀彦
• 著者名(英): Shingo, Nakano; Tatsuya, Shibuta; Masatoshi, Arai; Noriko, Matsumoto; Norihiko, Yoshida
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 組込みシステムの動作診断のために，モデルベース設計と連携させて，モデル段階から診断機能を組み込む手法を提案する．これにより，ハードウェア・ソフトウェア未分化の段階，各種バリエーション派生以前の段階から，診断機能の組込みを可能にする．そのため，まず，ハードウェア・ソフトウェアのどちらでも実装できる単純な監視機能をJTAGに基づいて実現する．また，多くのコンポーネントによって構成される組込みシステムでは，あるコンポーネントの障害が他に波及することから，診断がより困難になるが，人工知能でいうモデルベース診断に基づく沓名らの枠組みを取り込むことで対応する．本研究では，モデル記述にはMATLAB/Simulinkを用いる．そして，診断機能の組込みにプログラミング言語論の成果であるアスペクトを用いることで，診断機能の部品化と再利用を可能にしている．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: This paper presents a technique to embed diagnosis functions in model-based design. The technique enables designers to embed such functions at early design stages before separation of hardware and software implementations and derivation of several variations. First, we develop some simple monitoring functions suitable for both HW and SW based on JTAG. Then, to identify faulty components in a complex embedded system where a fault in a component affects others, we employ a method proposed by Kutsuma et al., which is based on “model-based diagnosis” studied in Artificial Intelligence. This paper uses MATLAB/Simulink as a modeling framework, and employs Aspects, which is studied in Programming Methodorogies, for diagnosis description to promote reuse of diagnosis function models.
• 書誌情報: 組込みシステムシンポジウム2013論文集; 巻 2013, p. 57-65, 発行日 2013-10-09
• 出版者 / 言語: ja
• 出版者: 情報処理学会