FPGA とソフトウェアにおける協調動作の整合性に関する評価手法の提案

• Item type: SIG Technical Reports(1)
• 公開日: 2009-03-11
• タイトル: FPGA とソフトウェアにおける協調動作の整合性に関する評価手法の提案
• タイトル / 言語: en
• タイトル: An Approach for Verifying Correctness of Co-operations between FPGA and Software in Electronic System
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 慶應義塾大学大学院システムデザイン・マネジメント研究科
• 著者所属: 慶應義塾大学大学院システムデザイン・マネジメント研究科
• 著者所属(英): en
• 著者所属(英): Keio University Graduate School of System Design and Management
• 著者所属(英): en
• 著者所属(英): Keio University Graduate School of System Design and Management
• 著者名: 加藤, 淳; 狼, 嘉彰
• 著者名(英): Atsushi, Katoh; Yoshiaki, Ohkami
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 電子機器システムを開発する場合，システムを FPGA や MPU 上で動作するソフトウェアといった構成要素に分割し，FPGA やソフトウェアが連携し協調動作することでシステムが満たすべき機能を実現する．しかし，FPGA とソフトウェアにおける協調動作の不整合は，それらを組み合わせたシステム試験まで検出されないことが多い．本稿では，FPGA とソフトウェアが搭載された電子機器システム開発の初期フェーズであるアーキテクチャ設計段階において，FPGA 要求仕様やソフトウェア要求仕様を基に，協調動作の整合性について評価する手法を提案する．提案手法を試行した結果，FPGA とソフトウェアの協調動作に関して，異常時における処理の抜けなどを検出することができた．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Electronic systems are decomposed into processing elements such as FPGA, Software on MPU and satisfied their functions with co-operations between FPGA and Software, when electronic systems are developed. In-correctness of co-operations between FPGA and Software can’t generally be detected until a system test where FPGA and Software are composed. This paper proposes an approach for verifying the correctness of co-operations between FPGA and software in electronic system based on their requirement specifications at architectural design phase. Missing of handlings under abnormal conditions could be detected concerned with co-operations between FPGA and software by attempting proposed an approach.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2009, 号 31(2009-SE-163), p. 105-112, 発行日 2009-03-11
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会