WEKO3
アイテム
SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計
http://hdl.handle.net/10458/290
http://hdl.handle.net/10458/2902a45ea1c-070a-45eb-9dd7-4a8fded1a7ee
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
KJ00002426438.pdf (1.1 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2007-06-28 | |||||
| タイトル | ||||||
| タイトル | SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計 | |||||
| 言語 | ja | |||||
| タイトル | ||||||
| タイトル | Co-design of Device Driver and Firmware for USB Devices in SpecC | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| キーワード | ||||||
| 言語 | en | |||||
| 主題Scheme | Other | |||||
| 主題 | Device drivers, Firmwares, SpecC, UBS(Universal Serial Bus), Co-design, Operating Systems | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| その他（別言語等）のタイトル | ||||||
| その他のタイトル | SpecC オ モチイタ USB デバイス ノ デバイス ドライバ ト ファームウェア ノ キョウチョウ セッケイ | |||||
| 著者 |
片山, 徹郎
× 片山, 徹郎 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | Abstract This rcsearch aims at increasing productivity of design for systems used USB(Universal Serial Bus) by co-design with SpecC, which is one of system level lan- guages. As a preparatory research, this paper attempts co-design of device driver and firmware which are softwares of USB. First, specification of USB device driver and firmware of Linux are described with SpecC, and the specification was verified with simulation. Next, a decoder which transforms the specification into the source codes of device driver and firmware which can be compiled is implemented in Perl language. Executing the both source codes which are generated by the decoder confirmed that they satisfied the specification. |
|||||
| 言語 | en | |||||
| 書誌情報 |
ja : 宮崎大学工学部紀要 en : Memoirs of Faculty of Engineering, University of Miyazaki 巻 32, p. 357-364, 発行日 2003-07 |
|||||
| 出版者 | ||||||
| 出版者 | 宮崎大学工学部 | |||||
| 言語 | ja | |||||
| 出版者 | ||||||
| 出版者 | Faculty of Engineering, University of Miyazaki | |||||
| 言語 | en | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 05404924 | |||||
| 書誌レコードID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AA00732558 | |||||
| 著者版フラグ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
