{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00183981","sets":["1164:2036:9049:9273"]},"path":["9273"],"owner":"11","recid":"183981","title":["安全プロセッサのための高信頼性RTOSの開発及びその評価"],"pubdate":{"attribute_name":"公開日","attribute_value":"2017-10-30"},"_buckets":{"deposit":"9ef5b2bb-9a08-4dcb-aa02-ed5bb198c395"},"_deposit":{"id":"183981","pid":{"type":"depid","value":"183981","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"安全プロセッサのための高信頼性RTOSの開発及びその評価","author_link":["405327","405328","405325","405326","405329","405330"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"安全プロセッサのための高信頼性RTOSの開発及びその評価"},{"subitem_title":"Developmet of a Highly Reliable Real-Time Operating System for a Safety Processor and it's Evaluation","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"RTOS・ネットワーク","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2017-10-30","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"会津大学大学院コンピュータ理工学研究科"},{"subitem_text_value":"会津大学大学院コンピュータ理工学研究科"},{"subitem_text_value":"会津大学大学院コンピュータ理工学研究科"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"The Uniersity of Aizu, Graduate School of Computer Science and Engineering","subitem_text_language":"en"},{"subitem_text_value":"The Uniersity of Aizu, Graduate School of Computer Science and Engineering","subitem_text_language":"en"},{"subitem_text_value":"The Uniersity of Aizu, Graduate School of Computer Science and Engineering","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/183981/files/IPSJ-SLDM17181040.pdf","label":"IPSJ-SLDM17181040.pdf"},"date":[{"dateType":"Available","dateValue":"2019-10-30"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SLDM17181040.pdf","filesize":[{"value":"822.0 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":"10"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"aeeb6c14-d498-4ada-828f-bc42bb0dae0f","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2017 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":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Hiroki, Saito","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Yoichi, Tomioka","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Junji, Kitamichi","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA11451459","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-8639","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"近年，組込みシステムでは技術発展に伴いシステムの高度化 ・ 複雑化が進んでいる．本稿ではシステムの故障検知機能を持つプロセッサに対する RTOS の開発について述べる．そのようなシステムにおける動作中の故障や誤動作は人命や経済などに対し悪響を及ぼす可能性があり，システムの信頼性向上が要求される．本稿ではシステムの故障検知機能を持つプロセッサに対する RTOS の開発について述べる．研究対象とした MCU TMS570LS3137 はリアルタイムアプリケーション向けの MCU であり，システムの故障検知機能を持つ．開発した RTOS は TOPPERS / HRP2 kernel をベースに高信頼性が要求されるシステム向けの機能を拡張した．拡張した機能はメモリ保護機能や時間保護機能，故障検知機能である．また，開発した RTOS の初期化時にシステムのセルフテスト機能を組込み，システムの故障検知機能を評価した．さらに開発した RTOS でのタスクのディスパッチや共有資源の獲得などの時間計測プログラムを作成し RTOS の性能評価を行った．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Presently, the sophistication and complexity of embedded systems are increasing as technology evolves. In embedded systems, failures and malfunctions are including the loss of human lives and economic disasters. Therefore, most of embedded systems are required highly reliable. In this paper, we report a development of RTOS for a processor with fault-detection function. The target MCU is TMS570LS3137. This MCU has a fault-detection function for real-time applications. The developed RTOS is extended for safety functions in the TMS570LS3137 for TOPPERS / HRP2 kernel. The extended functions are a memory protection function, a time protection function and a fault-detection function. The self-test function is incorporated in a startup routine of the developed RTOS and we evaluate the fault-detection function of the system. And, we develop application programs to measure time sush as task dispatching and acquisition of resources and the performance of RTOS is evaluated.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告システムとLSIの設計技術（SLDM）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2017-10-30","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"40","bibliographicVolumeNumber":"2017-SLDM-181"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":183981,"updated":"2025-01-20T03:28:12.202982+00:00","links":{},"created":"2025-01-19T00:51:27.781372+00:00"}