@article{oai:ipsj.ixsq.nii.ac.jp:00011631,
 author = {本田, 晋也 and 高田, 広章 and Shinya, Honda and Hiroaki, Takada},
 issue = {5},
 journal = {情報処理学会論文誌},
 month = {May},
 note = {我々は，組込みシステムのデバイスドライバ開発を効率することを目的に，デバイスドライバとデバイスの一体設計手法について研究を進めている．本論文では，システムレベル記述のための言語として提案されているSpecCが，本設計手法におけるデバイスドライバとデバイスの一体記述のための言語として用いることが可能であるか，その適用性を評価した．具体的には，SIOシステムを例として，SpecCによる記述を行い，デバイスドライバとデバイスの一体記述が可能であることを確認した．また，SIOシステムのSpecC記述からデバイスドライバ，デバイス，およびその間のインタフェースへの変換を手作業で行い，提示した記述指針に従えばSpecC記述から実装記述への機械的生成が可能であることを確認した．これらより，SpecCは本手法の一体記述言語として適用可能であることを示した．, 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.},
 pages = {1214--1224},
 title = {デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価},
 volume = {43},
 year = {2002}
}