2026-03-06T23:50:59Z https://miyazaki-u.repo.nii.ac.jp/oai

oai:miyazaki-u.repo.nii.ac.jp:00001023 2024-12-26T06:44:13Z 73 73:27

USBデバイスのソフトウェアを対象としたSpecCによる協調設計 Co-design of Device Driver and Firmware for USB Devices in SpecC 50283932 片山, 徹郎 カタヤマ, テツロウ Katayama, Tetsuro 片山 カタヤマ Katayama 徹郎 テツロウ Tetsuro 宮崎大学 University of Miyazaki 福元, 善之 Fukumoto, Yoshiyuki ここに掲載した著作物の利用に関する注意 本著作物の著作権は(社)情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。 Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. 情報処理学会 本研究は、システム・レベル言語SpecCを用いて、USB（Universal Serial Bus）デバイスを使用したシステムの協調設計を行ない、設計生産性を向上させることを目標としている。本稿では、その予備研究として、USBのソフトウェア側であるデバイスドライバとファームウェアの協調設計を試みた。まず、LinuxのUSBデバイスドライバとファームウェアの仕様をSpecCで記述し、その仕様をシミュレーションで検証した。次に、SpecCで記述した仕様から、コンパイル可能なデバイスドライバとファームウェアのソースコードに変換するデコーダを、言語Perlで製作した。デコーダが生成した2つのソースコードを実行し、仕様どおりに動作することを確認した。 This research aims at increasing productivity of design for systems used USB （Universal Serial Bus） by co-design with SpecC, which is one of system level languages. 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. 情報処理学会 Information Processing Society of Japan (IPSJ) 2002-08-21 jpn journal article VoR http://hdl.handle.net/10458/2557 https://miyazaki-u.repo.nii.ac.jp/records/1023 http://ci.nii.ac.jp/naid/110002941493 AN10444176 09196072 情報処理学会研究報告. [システムソフトウェアとオペレーティング・システム] 情処研報. OS 91 6 39 46 https://miyazaki-u.repo.nii.ac.jp/record/1023/files/johokenho_OS2002.pdf application/pdf 2.0 MB 2020-06-21