{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00022030","sets":["1164:1384:1460:1466"]},"path":["1466"],"owner":"1","recid":"22030","title":["自動車用コンピュータにおける制御タイミング仕様記述方法の検討"],"pubdate":{"attribute_name":"公開日","attribute_value":"1994-01-20"},"_buckets":{"deposit":"61435c5f-bd14-49d3-9376-2a126bc5cb3a"},"_deposit":{"id":"22030","pid":{"type":"depid","value":"22030","revision_id":0},"owners":[1],"status":"published","created_by":1},"item_title":"自動車用コンピュータにおける制御タイミング仕様記述方法の検討","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"自動車用コンピュータにおける制御タイミング仕様記述方法の検討"},{"subitem_title":"A Graphical Form to describe Specifications about Timing and Causality for Automotive Computers","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"1994-01-20","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"（株）豊田中央研究所"},{"subitem_text_value":"（株）豊田中央研究所"},{"subitem_text_value":"（株）豊田中央研究所"},{"subitem_text_value":"（株）豊田中央研究所"},{"subitem_text_value":"（株）豊田中央研究所"},{"subitem_text_value":"アイシン精機（株）"},{"subitem_text_value":"アイシン精機（株）"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Toyota Central R & D Labs., Inc.","subitem_text_language":"en"},{"subitem_text_value":"Toyota Central R & D Labs., Inc.","subitem_text_language":"en"},{"subitem_text_value":"Toyota Central R & D Labs., Inc.","subitem_text_language":"en"},{"subitem_text_value":"Toyota Central R & D Labs., Inc.","subitem_text_language":"en"},{"subitem_text_value":"Toyota Central R & D Labs., Inc.","subitem_text_language":"en"},{"subitem_text_value":"AISIN SEIKI CO., Ltd.","subitem_text_language":"en"},{"subitem_text_value":"AISIN SEIKI CO., Ltd.","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"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/22030/files/IPSJ-SE93096018.pdf"},"date":[{"dateType":"Available","dateValue":"1996-01-20"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE93096018.pdf","filesize":[{"value":"895.7 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":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"49060af2-60a5-4723-b36c-e200bcf84fab","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 1994 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"佐野, 範佳"},{"creatorName":"寺嶌立太"},{"creatorName":"手嶋, 茂晴"},{"creatorName":"山崎, 知彦"},{"creatorName":"原田, 義久"},{"creatorName":"鈴木, 幹雄"},{"creatorName":"坂, 守"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Noriyoshi, Sano","creatorNameLang":"en"},{"creatorName":"Ryuta, Terashima","creatorNameLang":"en"},{"creatorName":"Shigeharu, Teshima","creatorNameLang":"en"},{"creatorName":"Tomohiko, Yamazaki","creatorNameLang":"en"},{"creatorName":"Yoshihisa, Harata","creatorNameLang":"en"},{"creatorName":"Mikio, Suzuki","creatorNameLang":"en"},{"creatorName":"Mamoru, Ban","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"自動車用コンピュータ(EUC）のための仕様記述方法を提案し、その記述例について述べる。近年、ECUソフトウェアの品質をより高めるための計算機支援技術が求められるようになってきた。本稿では、ECUによる自動車制御の特徴と開発スタイルを分析し、ECU仕様記述の要件を述べた後、制御タイミングおよび信号間の因果関係を図形表現する方法について提案する。本仕様記述方法では、信号変化であるイベントをノード、イベント間の因果関係をエッジで表し、因果関係のないイベント間には陽に順序を設定できるようにしている。仕様項目別にかつ段階的に分割して仕様を記述できるため、現状のECU仕様書に近い記述が可能であり、本仕様記述方法は使用者にとって馴染み易く使い易いものである。","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"We discuss a graphical form to describe specifications about timing and causality for automotive Electronic Control Unit (ECU), and present examples of the specifications. We analyze features of the automotive controls, ECU development style and requirements for describing the specifications of ECUs, and we propose a new graphical form of specifications of ECUs. In the graphical form, a event which means signal changing is represented by a node, a causality between events is represented by edges, and a temporal relations are defined between events without a causality. Our method describing specifications is useful for conventional users because it is possible to describe them incrementally and separately like the conventional specific documents.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"144","bibliographic_titles":[{"bibliographic_title":"情報処理学会研究報告ソフトウェア工学（SE） "}],"bibliographicPageStart":"137","bibliographicIssueDates":{"bibliographicIssueDate":"1994-01-20","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6(1993-SE-096)","bibliographicVolumeNumber":"1994"}]},"relation_version_is_last":true,"weko_creator_id":"1"},"id":22030,"updated":"2025-01-22T21:02:59.364127+00:00","links":{},"created":"2025-01-18T22:53:48.941784+00:00"}