{"id":113728,"updated":"2025-01-20T19:31:01.231150+00:00","links":{},"created":"2025-01-18T23:55:15.718067+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00113728","sets":["1164:2822:7920:7921"]},"path":["7921"],"owner":"11","recid":"113728","title":["組込みコンポーネントシステムの呼び出しフロー解析ツールの開発"],"pubdate":{"attribute_name":"公開日","attribute_value":"2015-02-27"},"_buckets":{"deposit":"f430e219-6bb1-4ff0-897d-64a9be51f24a"},"_deposit":{"id":"113728","pid":{"type":"depid","value":"113728","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"組込みコンポーネントシステムの呼び出しフロー解析ツールの開発","author_link":["40071","40073","40065","40064","40068","40072","40067","40070","40066","40069"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"組込みコンポーネントシステムの呼び出しフロー解析ツールの開発"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"組込みシステム開発環境","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2015-02-27","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋大学大学院情報科学研究科"},{"subitem_text_value":"名古屋大学大学院情報科学研究科"},{"subitem_text_value":"大阪大学大学院基礎工学研究科"},{"subitem_text_value":"オークマ株式会社"},{"subitem_text_value":"名古屋大学大学院情報科学研究科"}]},"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/113728/files/IPSJ-EMB15036027.pdf"},"date":[{"dateType":"Available","dateValue":"2017-02-27"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB15036027.pdf","filesize":[{"value":"831.9 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":"42"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"bb06191f-9bc9-4413-8364-ad088f6013c3","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2015 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"成瀬, 有美"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"石川, 拓也"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"安積, 卓也"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大山, 博司"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"高田, 広章"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Yumi, Naruse","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Takuya, Ishikawa","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Takuya, Azumi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiroshi, Oyama","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Hiroaki, Takada","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12149313","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":"組込みソフトウェア向けのコンポーネントベース開発を支援するコンポーネントシステムに TECS がある．TECS は，コンポーネント記述に独自のコンポーネント記述言語 （TECS CDL），実装言語に C 言語を採用している．一般的にソフトウェアは，フロー解析を用いて検証を行うことで，信頼性の向上が期待できる．TECS を利用して開発したシステム全体のフロー解析を行うためには，C 言語のフロー解析に加え，CDL の解析を行って C 言語の解析結果と統合を行う必要がある．そのため，TECS 向けのフロー解析を行う開発支援ツール TECS-flow を開発した．本ツールによって，TECS を使用して開発したシステム全体のフローを可視化し，コンポーネント間の関数呼び出し順序を知ることができる．加えて，排他制御が必要な箇所の検出やデッドコード検出も可能である．なお，本研究の一部は enPiT プロジェクトの一環として実施した．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告組込みシステム（EMB）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2015-02-27","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"27","bibliographicVolumeNumber":"2015-EMB-36"}]},"relation_version_is_last":true,"weko_creator_id":"11"}}