{"updated":"2025-01-21T15:52:42.441917+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00090655","sets":["1164:2822:7101:7102"]},"path":["7102"],"owner":"11","recid":"90655","title":["SafeGを用いた汎用OSの監視手法"],"pubdate":{"attribute_name":"公開日","attribute_value":"2013-03-06"},"_buckets":{"deposit":"175e1a23-d41b-4cd5-92cd-ecfb4d2140f5"},"_deposit":{"id":"90655","pid":{"type":"depid","value":"90655","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"SafeGを用いた汎用OSの監視手法","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"SafeGを用いた汎用OSの監視手法"},{"subitem_title":"A method for monitoring GPOS using SafeG","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"リアルタイムオペレーティングシステム","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2013-03-06","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_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Department of Information Engineering,Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Graduate school of Information Science,Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Graduate school of Information Science,Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Graduate school of Information Science,Nagoya University","subitem_text_language":"en"},{"subitem_text_value":"Graduate school of Information Science,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/90655/files/IPSJ-EMB13028001.pdf"},"date":[{"dateType":"Available","dateValue":"2015-03-06"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-EMB13028001.pdf","filesize":[{"value":"1.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":"baab447a-eae1-4a20-b622-c830073086a4","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2013 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"三浦, 功也"},{"creatorName":"太田, 貴也"},{"creatorName":"Daniel, Sangorrin"},{"creatorName":"本田, 晋也"},{"creatorName":"高田, 広章"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takuya, Miura","creatorNameLang":"en"},{"creatorName":"Takaya, Ohta","creatorNameLang":"en"},{"creatorName":"Daniel, Sangorrin","creatorNameLang":"en"},{"creatorName":"Shinya, Honda","creatorNameLang":"en"},{"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":"本研究では組込み向け高信頼デュアルOSモニタSafeGを用いた，汎用OSの監視手法を提案・実装した．SafeGは単一の組込みシステム上で，リアルタイムOS(RTOS)と汎用OSを同時実行するために提案・実装された小規模なソフトウェアモジュールである．SafeGを用いてRTOSから汎用OSを監視することにより，汎用OSのカーネルや，既存の監視機構が正しく動作していることを保証することができる．そこで本研究では，SafeGを用いて，RTOSから汎用OSの実行シーケンスの監視を行う機構に着目し，その実装と評価を行うことで，実際に汎用OSの監視機構が実現できることを示した．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"In this study, a method for monitoring a general-purpose operating system (GPOS) using SafeG, a highly reliable dual-OS monitor for embedded systems is proposed and implemented. SafeG is a small-scale software module designed for concurrently executing a GPOS and real-time operating system (RTOS) on top of the same embedded system platform. By using SafeG for monitoring the GPOS from the RTOS, it is possible to ensure that the GPOS kernel, as well as other existing monitoring mechanism, work correctly. Therefore, in this study, we focused on a method consist of execution sequence and developed and evaluated, we confirmed from evaluation results that this monitoring mechanism was successfully accomplished.","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":"2013-03-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"1","bibliographicVolumeNumber":"2013-EMB-28"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"created":"2025-01-18T23:40:09.562983+00:00","id":90655,"links":{}}