{"created":"2025-01-19T01:44:58.817527+00:00","updated":"2025-01-19T07:54:24.945834+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00240659","sets":["1164:2822:11469:11788"]},"path":["11788"],"owner":"44499","recid":"240659","title":["組込みアプリケーションの決定論的実行環境Lingua Franca向けソフトウェア障害対策の設計と実装"],"pubdate":{"attribute_name":"公開日","attribute_value":"2024-11-13"},"_buckets":{"deposit":"cc53844b-7c5d-4e28-97dc-d4ef5c951aa9"},"_deposit":{"id":"240659","pid":{"type":"depid","value":"240659","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"組込みアプリケーションの決定論的実行環境Lingua Franca向けソフトウェア障害対策の設計と実装","author_link":["660680","660679","660682","660681"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"組込みアプリケーションの決定論的実行環境Lingua Franca向けソフトウェア障害対策の設計と実装"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"設計","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2024-11-13","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"名古屋大学大学院情報学研究科"},{"subitem_text_value":"株式会社デンソー"},{"subitem_text_value":"株式会社デンソー"},{"subitem_text_value":"名古屋大学大学院情報学研究科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Informatics, Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"DENSO CORPORATION","subitem_text_language":"en"},{"subitem_text_value":"DENSO CORPORATION","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Informatics, Nagoya University","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/240659/files/IPSJ-EMB24067001.pdf","label":"IPSJ-EMB24067001.pdf"},"date":[{"dateType":"Available","dateValue":"2026-11-13"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB24067001.pdf","filesize":[{"value":"2.0 MB"}],"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":"1aee5668-a0ff-4d85-a4cd-fb5982b60231","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2024 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":[{}]}]},"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_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-868X","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"近年の自動車は，ECU（Electronic Control Unit）と呼ばれる組込み型コンピュータによって制御されている．さらに，複雑化する機能やシステムの実装を削減するために，複数の車載機能を統合する ECU（統合 ECU）が注目されている．統合 ECU では複数の機能が統合されることにより，並行性が増す．加えて，車載システムは複数のコンピュータ上で並行して動作し，相互に連携して機能を実現する（分散アプリケーション）．これらの特徴から，入力に対して，システムの振る舞いが 1 つに定まらない問題（非決定性）が発生する．この問題に対し，Lingua Franca（LF）と呼ばれる決定論的実行環境が開発され，車載アプリケーションへの適用が研究されている．一方で，機能（アプリケーション）の実行監視が LF の信頼性に依存することや，異常機能の個別停止，個別再起動の仕組みが提供されていないといった問題がある．本論文では，LF の決定論的実行環境に適用する独立アプリケーションを用いた機能の実行監視，個別停止，個別再起動を提案した．加えて，提案手法を用いたプロトタイプを作成し，それによるオーバーヘッドを取得した．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告組込みシステム（EMB）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2024-11-13","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"2024-EMB-67"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":240659,"links":{}}