{"created":"2023-05-15T11:58:41.930085+00:00","id":4813,"links":{},"metadata":{"_buckets":{"deposit":"b3301a80-ac7d-4967-870e-ebc4ab6e2e3e"},"_deposit":{"created_by":3,"id":"4813","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"4813"},"status":"published"},"_oai":{"id":"oai:kyutech.repo.nii.ac.jp:00004813","sets":["8:24"]},"author_link":["17673","17674","17675","6416","926","1145","17679"],"control_number":"4813","item_1689815586683":{"attribute_name":"CRID","attribute_value_mlt":[{"subitem_relation_type":"isIdenticalTo","subitem_relation_type_id":{"subitem_relation_type_id_text":"https://cir.nii.ac.jp/crid/1050001338910914816","subitem_relation_type_select":"URI"}}]},"item_21_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2008-11-20","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"326","bibliographicPageEnd":"12","bibliographicPageStart":"7","bibliographicVolumeNumber":"108","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学","bibliographic_titleLang":"ja"}]}]},"item_21_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"組込みシステムは障害などの非正常系について,IFD(Information Flow Diagram)を用いた静的な側面と,分析マトリクスを用いた動的な側面から,捉える事が出来る.そこで,IFDと分析マトリクスの関係を厳密に示すため,両者の定式化を図り考察する.また,分析マトリクスにおける抽象化のメカニズムを定式化によって探り,両者を用いた分析を助ける.本稿では,両者を定式化した定義とその有効性について論ずる.","subitem_description_language":"ja","subitem_description_type":"Abstract"},{"subitem_description":"We can treat embedded systems as two aspects about unexpected obstacles such as the failure. One is a static side using IFD (Information Flow Diagram). Another is a dynamic side using analysis matrix. Therefore I formalize IFD and the analysis matrix to show the relations between both exactly. In addition, I investigate mechanism of the abstraction in the analysis matrix by formalization and help with the analysis that I used both for. In this paper, I discuss it about a definition and the effectiveness that formalized both.","subitem_description_language":"en","subitem_description_type":"Abstract"}]},"item_21_description_5":{"attribute_name":"備考","attribute_value_mlt":[{"subitem_description":"知能ソフトウェア工学研究会（KBSE), 2008年11月27-28日, 福岡市東区, 福岡県, 日本","subitem_description_type":"Other"}]},"item_21_publisher_7":{"attribute_name":"出版社","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会","subitem_publisher_language":"ja"}]},"item_21_rights_13":{"attribute_name":"著作権関連情報","attribute_value_mlt":[{"subitem_rights":"電子情報通信学会. 本文データは学協会の許諾に基づきCiNiiから複製したものである"}]},"item_21_select_59":{"attribute_name":"査読の有無","attribute_value_mlt":[{"subitem_select_item":"no"}]},"item_21_source_id_10":{"attribute_name":"NCID","attribute_value_mlt":[{"subitem_source_identifier":"AN10386841","subitem_source_identifier_type":"NCID"}]},"item_21_source_id_8":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2432-6380","subitem_source_identifier_type":"EISSN"},{"subitem_source_identifier":"0913-5685","subitem_source_identifier_type":"PISSN"}]},"item_21_text_63":{"attribute_name":"連携ID","attribute_value_mlt":[{"subitem_text_value":"592"}]},"item_21_version_type_58":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"井上, 富雄","creatorNameLang":"ja"},{"creatorName":"Inoue, Tomio","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"三瀬, 敏朗","creatorNameLang":"ja"},{"creatorName":"Mise, Toshiro","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"新屋敷, 泰史","creatorNameLang":"ja"},{"creatorName":"Shinyashiki, Yasufumi","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorAffiliations":[{"affiliationNames":[{}]}],"creatorNames":[{"creatorName":"Hashimoto, Masaaki","creatorNameLang":"en"},{"creatorName":"橋本, 正明","creatorNameLang":"ja"},{"creatorName":"ハシモト, マサアキ","creatorNameLang":"ja-Kana"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{},{},{}]},{"creatorAffiliations":[{"affiliationNames":[{}]}],"creatorNames":[{"creatorName":"Katamine, Keiichi","creatorNameLang":"en"},{"creatorName":"片峯, 恵一","creatorNameLang":"ja"},{"creatorName":"カタミネ, ケイイチ","creatorNameLang":"ja-Kana"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{},{},{},{}]},{"creatorAffiliations":[{"affiliationNames":[{}]}],"creatorNames":[{"creatorName":"Ubayashi, Naoyasu","creatorNameLang":"en"},{"creatorName":"鵜林, 尚靖","creatorNameLang":"ja"},{"creatorName":"ウバヤシ, ナオヤス","creatorNameLang":"ja-Kana"}],"familyNames":[{},{},{}],"givenNames":[{},{},{}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"中谷, 多哉子","creatorNameLang":"ja"},{"creatorName":"Nakatani, Takako","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2017-02-17"}],"displaytype":"detail","filename":"IEICE108_7.pdf","filesize":[{"value":"766.3 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"IEICE108_7.pdf","url":"https://kyutech.repo.nii.ac.jp/record/4813/files/IEICE108_7.pdf"},"version_id":"b6d62939-0130-4491-9a15-0004e177e0a7"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"組込みシステム","subitem_subject_scheme":"Other"},{"subitem_subject":"非正常系","subitem_subject_scheme":"Other"},{"subitem_subject":"情報フロー・ダイアグラム","subitem_subject_scheme":"Other"},{"subitem_subject":"分析マトリクス","subitem_subject_scheme":"Other"},{"subitem_subject":"定式化","subitem_subject_scheme":"Other"},{"subitem_subject":"Embedded System","subitem_subject_scheme":"Other"},{"subitem_subject":"Unexpected Obstacles","subitem_subject_scheme":"Other"},{"subitem_subject":"Informatien Flow Diagrarn","subitem_subject_scheme":"Other"},{"subitem_subject":"Analysis Manix","subitem_subject_scheme":"Other"},{"subitem_subject":"Formalization","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化","subitem_title_language":"ja"},{"subitem_title":"Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems","subitem_title_language":"en"}]},"item_type_id":"21","owner":"3","path":["24"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2017-02-17"},"publish_date":"2017-02-17","publish_status":"0","recid":"4813","relation_version_is_last":true,"title":["組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化"],"weko_creator_id":"3","weko_shared_id":-1},"updated":"2024-02-08T07:58:29.382019+00:00"}