@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00095445,
 author = {中野, 真吾 and 渋田, 達也 and 新井, 正敏 and 松本, 倫子 and 吉田, 紀彦 and Shingo, Nakano and Tatsuya, Shibuta and Masatoshi, Arai and Noriko, Matsumoto and Norihiko, Yoshida},
 book = {組込みシステムシンポジウム2013論文集},
 month = {Oct},
 note = {組込みシステムの動作診断のために，モデルベース設計と連携させて，モデル段階から診断機能を組み込む手法を提案する．これにより，ハードウェア・ソフトウェア未分化の段階，各種バリエーション派生以前の段階から，診断機能の組込みを可能にする．そのため，まず，ハードウェア・ソフトウェアのどちらでも実装できる単純な監視機能をJTAGに基づいて実現する．また，多くのコンポーネントによって構成される組込みシステムでは，あるコンポーネントの障害が他に波及することから，診断がより困難になるが，人工知能でいうモデルベース診断に基づく沓名らの枠組みを取り込むことで対応する．本研究では，モデル記述にはMATLAB/Simulinkを用いる．そして，診断機能の組込みにプログラミング言語論の成果であるアスペクトを用いることで，診断機能の部品化と再利用を可能にしている．, 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.},
 pages = {57--65},
 publisher = {情報処理学会},
 title = {組込みシステム向け診断機能のモデル段階での組込みと部品化},
 volume = {2013},
 year = {2013}
}