デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価

• Item type: Journal(1)
• 公開日: 2002-05-15
• タイトル: デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価
• タイトル / 言語: en
• タイトル: Evaluation of Applying SpecC to the Integrated Design Method of a Device Driver and a Device
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：システムLSIの設計技術と設計自動化（論文賞受賞）
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• その他タイトル / その他のタイトル: ハードウェア/ソフトウェア協調設計
• 著者所属: 豊橋技術科学大学情報工学系
• 著者所属: 豊橋技術科学大学情報工学系
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Sciences, Toyohashi University of Technology
• 著者所属(英): en
• 著者所属(英): Department of Information and Computer Sciences, Toyohashi University of Technology
• 著者名: 本田, 晋也; 高田, 広章
• 著者名(英): Shinya, Honda; Hiroaki, Takada
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 我々は，組込みシステムのデバイスドライバ開発を効率することを目的に，デバイスドライバとデバイスの一体設計手法について研究を進めている．本論文では，システムレベル記述のための言語として提案されているSpecCが，本設計手法におけるデバイスドライバとデバイスの一体記述のための言語として用いることが可能であるか，その適用性を評価した．具体的には，SIOシステムを例として，SpecCによる記述を行い，デバイスドライバとデバイスの一体記述が可能であることを確認した．また，SIOシステムのSpecC記述からデバイスドライバ，デバイス，およびその間のインタフェースへの変換を手作業で行い，提示した記述指針に従えばSpecC記述から実装記述への機械的生成が可能であることを確認した．これらより，SpecCは本手法の一体記述言語として適用可能であることを示した．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We are investigating an integrated design method of a device driver anda device for the efficient development of device drivers for embeddedsystems. This paper evaluates if SpecC, which is proposed as asystem-level description language, is applicable to integrateddescription of a device driver and a device. We use as example a SIOsystem to confirm that integrated description of a device driver and adevice by SpecC is possible. Also,we manually convert the SpecCdescription to the device driver, the device, and the interface betweenthem, and confirm that the conversion can be automated. As a result, weshow that SpecC could apply as an integrated design language of theintegrated design method.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 43, 号 5, p. 1214-1224, 発行日 2002-05-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764