{"id":11631,"created":"2025-01-18T22:46:12.626849+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00011631","sets":["581:664:672"]},"path":["672"],"owner":"11","recid":"11631","title":["デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価"],"pubdate":{"attribute_name":"公開日","attribute_value":"2002-05-15"},"_buckets":{"deposit":"8254f5f5-4c68-4057-9d9e-46ee7cc1bc3c"},"_deposit":{"id":"11631","pid":{"type":"depid","value":"11631","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価","author_link":["361809","361810","361807","361808"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価"},{"subitem_title":"Evaluation of Applying SpecC to the Integrated Design Method of a Device Driver and a Device","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"特集：システムLSIの設計技術と設計自動化（論文賞受賞）","subitem_subject_scheme":"Other"}]},"item_type_id":"2","publish_date":"2002-05-15","item_2_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"豊橋技術科学大学情報工学系"},{"subitem_text_value":"豊橋技術科学大学情報工学系"}]},"item_2_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Information and Computer Sciences, Toyohashi University of Technology","subitem_text_language":"en"},{"subitem_text_value":"Department of Information and Computer Sciences, Toyohashi University of Technology","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/11631/files/IPSJ-JNL4305009.pdf","label":"IPSJ-JNL4305009"},"date":[{"dateType":"Available","dateValue":"2004-05-15"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-JNL4305009.pdf","filesize":[{"value":"354.3 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"8"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"a5bbc35f-7b3e-4c21-88d6-005b2e7c1250","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2002 by the Information Processing Society of Japan"}]},"item_2_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"本田, 晋也"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"高田, 広章"}],"nameIdentifiers":[{}]}]},"item_2_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Shinya, Honda","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiroaki, Takada","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_2_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN00116647","subitem_source_identifier_type":"NCID"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_6501","resourcetype":"journal article"}]},"item_2_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"1882-7764","subitem_source_identifier_type":"ISSN"}]},"item_2_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"我々は，組込みシステムのデバイスドライバ開発を効率することを目的に，デバイスドライバとデバイスの一体設計手法について研究を進めている．本論文では，システムレベル記述のための言語として提案されているSpecCが，本設計手法におけるデバイスドライバとデバイスの一体記述のための言語として用いることが可能であるか，その適用性を評価した．具体的には，SIOシステムを例として，SpecCによる記述を行い，デバイスドライバとデバイスの一体記述が可能であることを確認した．また，SIOシステムのSpecC記述からデバイスドライバ，デバイス，およびその間のインタフェースへの変換を手作業で行い，提示した記述指針に従えばSpecC記述から実装記述への機械的生成が可能であることを確認した．これらより，SpecCは本手法の一体記述言語として適用可能であることを示した．","subitem_description_type":"Other"}]},"item_2_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_2_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"1224","bibliographic_titles":[{"bibliographic_title":"情報処理学会論文誌"}],"bibliographicPageStart":"1214","bibliographicIssueDates":{"bibliographicIssueDate":"2002-05-15","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"5","bibliographicVolumeNumber":"43"}]},"relation_version_is_last":true,"item_2_alternative_title_2":{"attribute_name":"その他タイトル","attribute_value_mlt":[{"subitem_alternative_title":"ハードウェア/ソフトウェア協調設計"}]},"weko_creator_id":"11"},"updated":"2025-01-20T06:31:45.116918+00:00","links":{}}