{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1050282813886595072.json","@type":"Article","productIdentifier":[{"identifier":{"@type":"HDL","@value":"http://hdl.handle.net/10228/2307"}},{"identifier":{"@type":"URI","@value":"https://kyutech.repo.nii.ac.jp/records/1481"}},{"identifier":{"@type":"URI","@value":"https://ipsj.ixsq.nii.ac.jp/records/9813"}},{"identifier":{"@type":"NDL_BIB_ID","@value":"8949322"}},{"identifier":{"@type":"URI","@value":"http://id.ndl.go.jp/bib/8949322"}},{"identifier":{"@type":"URI","@value":"https://ndlsearch.ndl.go.jp/books/R000000004-I8949322"}},{"identifier":{"@type":"NAID","@value":"110006422970"}}],"resourceType":"学術雑誌論文(journal article)","dc:title":[{"@language":"ja","@value":"情報フロー・ダイアグラムによる組み込みソフトウェア非正常系の要求分析の一手法"},{"@language":"en","@value":"A Requirements Analysis Method of Unexpected Obstacles in Embedded Software by Applying Information Flow Diagram"},{"@language":"ja-Kana","@value":"ジョウホウ フロー ダイアグラム ニ ヨル クミコミ ソフトウェア ヒセイジョウケイ ノ ヨウキュウ ブンセキ ノ イチ シュホウ"}],"dc:language":"ja","description":[{"type":"Abstract","notation":[{"@language":"ja","@value":"本論文は,組み込みソフトウェアの品質向上を目的として,ソフトウェア仕様化時に想定が困難な組み込みシステムの障害発生可能性を発見するための手段として,情報フロー・ダイアグラムと,それを適用した要求分析手法を提案する.近年,組み込みソフトウェアは大規模化し複雑化しているので,ソフトウェアの開発期間は長くすることが望ましい.しかし,現実は逆に短くなっている.このような状況は,ソフトウェアの品質確保をますます,困難にしている.ところで,高品質な組み込みソフトウェアを開発するには,障害発生可能性を,システムの分析・設計時に十分検討しておくことが重要である.そこで,本論文の手法を提案し,事例に適用して,その妥当性を確認した.また,情報フロー・ダイアグラムについては,実際の製品に適用して記述実験を行い,組み込みソフトウェア熟練技術者の指導の下,未熟練者が記述できることを確認した."}]},{"type":"Abstract","notation":[{"@language":"en","@value":"In order to improve the quality of embedded software, this paper proposes Information Flow Diagram and a requirements analysis method by applying the diagram for finding unexpected obstacles, in the software, which are difficult to be assumed in software specification. Recently, embedded systems have become large in scale and complicated. Therefore, the development cycle of the systems is desirable to be lengthened. However, the cycle is required to be shortened on the contrarey. This trend of industry troubles the quality of embedded software. In order to improve the quality of the software, unexpected obstacles should be carefully analyzed in its specification and design processes. Therefore, we propose the analysis method and describe a case study. Moreover, we outline a description experiment of Information Flow Diagram, by using an actual product, which proved that novice engineers can make Information Flow Diagram under the lead of embedded software expert engineers."}]}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1410001205639942659","@type":"Researcher","personIdentifier":[{"@type":"NRID","@value":"9000004516476"}],"foaf:name":[{"@language":"ja","@value":"新屋敷, 泰史"},{"@language":"en","@value":"Shinyashiki, Yasufumi"}]},{"@id":"https://cir.nii.ac.jp/crid/1410001205639942661","@type":"Researcher","personIdentifier":[{"@type":"NRID","@value":"9000004516477"}],"foaf:name":[{"@language":"ja","@value":"三瀬, 敏朗"},{"@language":"en","@value":"Mise, Toshiro"}]},{"@id":"https://cir.nii.ac.jp/crid/1030003658394015362","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"20253560"},{"@type":"NRID","@value":"1000020253560"},{"@type":"NRID","@value":"9000403585844"},{"@type":"NRID","@value":"9000004806984"},{"@type":"NRID","@value":"9000403586639"},{"@type":"NRID","@value":"9000412070074"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0098734"}],"foaf:name":[{"@language":"en","@value":"Hashimoto, Masaaki"},{"@language":"ja","@value":"橋本, 正明"},{"@language":"ja-Kana","@value":"ハシモト, マサアキ"}]},{"@id":"https://cir.nii.ac.jp/crid/1420845751134913280","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"00264135"},{"@type":"NRID","@value":"1000000264135"},{"@type":"NRID","@value":"9000017683014"},{"@type":"NRID","@value":"9000408609765"},{"@type":"NRID","@value":"9000258118980"},{"@type":"NRID","@value":"9000347180011"},{"@type":"NRID","@value":"9000382071039"},{"@type":"NRID","@value":"9000347179904"},{"@type":"NRID","@value":"9000019111535"},{"@type":"NRID","@value":"9000023767030"},{"@type":"NRID","@value":"9000347097730"},{"@type":"NRID","@value":"9000382069772"},{"@type":"NRID","@value":"9000347180004"},{"@type":"NRID","@value":"9000004834791"},{"@type":"NRID","@value":"9000004957521"},{"@type":"NRID","@value":"9000403585846"},{"@type":"NRID","@value":"9000004806987"},{"@type":"NRID","@value":"9000403586640"},{"@type":"NRID","@value":"9000258118955"},{"@type":"NRID","@value":"9000344121210"},{"@type":"NRID","@value":"9000020868612"},{"@type":"NRID","@value":"9000021651189"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/read0098740"}],"foaf:name":[{"@language":"en","@value":"Katamine, Keiichi"},{"@language":"ja","@value":"片峯, 恵一"},{"@language":"ja-Kana","@value":"カタミネ, ケイイチ"}]},{"@id":"https://cir.nii.ac.jp/crid/1070016494538587137","@type":"Researcher","foaf:name":[{"@language":"en","@value":"Ubayashi, Naoyasu"},{"@language":"ja","@value":"鵜林, 尚靖"},{"@language":"ja-Kana","@value":"ウバヤシ, ナオヤス"}]},{"@id":"https://cir.nii.ac.jp/crid/1420845751149628288","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"30431662"},{"@type":"NRID","@value":"1000030431662"},{"@type":"NRID","@value":"9000017683013"},{"@type":"NRID","@value":"9000004334245"},{"@type":"NRID","@value":"9000258118978"},{"@type":"NRID","@value":"9000359904157"},{"@type":"NRID","@value":"9000404259752"},{"@type":"NRID","@value":"9000348889594"},{"@type":"NRID","@value":"9000238158953"},{"@type":"NRID","@value":"9000287202272"},{"@type":"NRID","@value":"9000404223430"},{"@type":"NRID","@value":"9000388993455"},{"@type":"NRID","@value":"9000404221420"},{"@type":"NRID","@value":"9000356917992"},{"@type":"NRID","@value":"9000403585847"},{"@type":"NRID","@value":"9000398792861"},{"@type":"NRID","@value":"9000388993938"},{"@type":"NRID","@value":"9000388993973"},{"@type":"NRID","@value":"9000403586642"},{"@type":"NRID","@value":"9000404294368"},{"@type":"NRID","@value":"9000021651179"},{"@type":"RESEARCHMAP","@value":"https://researchmap.jp/nakatanitakako"}],"foaf:name":[{"@language":"ja","@value":"中谷, 多哉子"},{"@language":"en","@value":"Nakatani, Takako"}]}],"publication":{"publicationIdentifier":[{"@type":"EISSN","@value":"18827764"},{"@type":"ISSN","@value":"18827764"},{"@type":"NDL_BIB_ID","@value":"000000031995"},{"@type":"ISSN","@value":"03875806"},{"@type":"LISSN","@value":"03875806"},{"@type":"NCID","@value":"AN00116647"}],"prism:publicationName":[{"@language":"ja","@value":"情報処理学会論文誌"},{"@language":"en","@value":"IPSJ Journal"}],"dc:publisher":[{"@value":"情報処理学会"}],"prism:publicationDate":"2007-09-15","prism:volume":"48","prism:number":"9","prism:startingPage":"2894","prism:endingPage":"2903"},"reviewed":"true","dc:rights":["Copyright (c) 2007 by the Information Processing Society of Japan. Notice for the use of this material The copyright of this material is retained by the Information Processing Society of Japan (IPSJ). This material is published on this web site with the agreement of the author (s) and the IPSJ. Please be complied with Copyright Law of Japan and the Code of Ethics of the IPSJ if any users wish to reproduce, make derivative work, distribute or make available to the public any part or whole thereof. All Rights Reserved, Copyright (C) Information Processing Society of Japan.","ここに掲載した著作物の利用に関する注意 本著作物の著作権は（社）情報処理学会に帰属します。本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。"],"url":[{"@id":"https://kyutech.repo.nii.ac.jp/records/1481"},{"@id":"https://ipsj.ixsq.nii.ac.jp/records/9813"},{"@id":"http://id.ndl.go.jp/bib/8949322"},{"@id":"https://ndlsearch.ndl.go.jp/books/R000000004-I8949322"},{"@id":"http://hdl.handle.net/10228/2307"},{"@id":"http://id.nii.ac.jp/1001/00009813/"}],"foaf:topic":[{"@id":"https://cir.nii.ac.jp/all?q=%E7%89%B9%E9%9B%86%EF%BC%9A%E7%B5%84%E8%BE%BC%E3%81%BF%E3%82%B7%E3%82%B9%E3%83%86%E3%83%A0%E5%B7%A5%E5%AD%A6","dc:title":"特集：組込みシステム工学"}],"dcterms:subject":[{"subjectScheme":"Other","notation":[{"@value":"特集：組込みシステム工学"}]}],"project":[{"@id":"https://cir.nii.ac.jp/crid/1040000782449411456","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"18500025"},{"@type":"JGN","@value":"JP18500025"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-18500025/"}],"notation":[{"@language":"ja","@value":"組込みソフトウェア非正常系仕様化のための要求分析とプロマネの実践的モデリング研究"},{"@language":"en","@value":"A Study on Practical Modeling of Requirement Analysis and Project Management for Unexpected Obstacle Specification of Embedded Software"}]}],"relatedProduct":[{"@id":"https://cir.nii.ac.jp/crid/1050001338910914816","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@language":"ja","@value":"組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化"},{"@language":"en","@value":"Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems"},{"@language":"ja-Kana","@value":"クミコミ システム ヒセイジョウケイ ブンセキ ノ タメノ IFD ト ブンセキ マトリクス オ トウゴウシタ テイシキカ"}]},{"@id":"https://cir.nii.ac.jp/crid/1050282812871196800","@type":"Article","resourceType":"記事(article)","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"要求工学：5.システムの非正常系の要求分析"},{"@language":"en","@value":"Requirements Engineering：Requirement Analysis of Unexpected Obstacles in Systems"},{"@language":"ja-Kana","@value":"システム ノ ヒセイジョウケイ ノ ヨウキュウ ブンセキ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520009407061261824","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"組込みシステム非正常系分析手法の定性推論による定式化"},{"@language":"ja-Kana","@value":"クミコミ システム ヒセイジョウケイ ブンセキ シュホウ ノ テイセイ スイロン ニ ヨル テイシキカ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520009407310369920","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["cites"],"jpcoar:relatedTitle":[{"@value":"組込みソフトウェア非正常系の概念モデルによる情報フロー・グラフの解析"},{"@language":"ja-Kana","@value":"クミコミ ソフトウェア ヒセイジョウケイ ノ ガイネン モデル ニ ヨル ジョウホウ フロー グラフ ノ カイセキ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520009407571519744","@type":"Article","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"情報フロー・ダイアグラムと分析マトリクスを統合した組込みソフトウェア非正常系要求分析手法の適用事例と考察"},{"@language":"ja-Kana","@value":"ジョウホウ フロー ダイアグラム ト ブンセキ マトリクス オ トウゴウシタ クミコミ ソフトウェア ヒセイジョウケイ ヨウキュウ ブンセキ シュホウ ノ テキヨウ ジレイ ト コウサツ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520290882118559104","@type":"Article","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"状態遷移図に着目した安全分析手法"},{"@language":"ja-Kana","@value":"ジョウタイ センイズ ニ チャクモク シタ アンゼン ブンセキ シュホウ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520572357836948608","@type":"Article","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"組込みシステムにおける階層型状態遷移図に基づく安全分析手法"},{"@language":"ja-Kana","@value":"クミコミ システム ニ オケル カイソウ カタジョウタイ センイズ ニ モトズク アンゼン ブンセキ シュホウ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520572358414783104","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"非正常系現象に着目した組込みシステムの障害シナリオ分析手法"},{"@language":"ja-Kana","@value":"ヒセイジョウケイ ゲンショウ ニ チャクモク シタ クミコミ システム ノ ショウガイ シナリオ ブンセキ シュホウ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520853832734130816","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"問題フレームに基づく家電製品の非正常系シナリオの発見"},{"@language":"ja-Kana","@value":"モンダイ フレーム ニ モトズク カデン セイヒン ノ ヒセイジョウケイ シナリオ ノ ハッケン"}]},{"@id":"https://cir.nii.ac.jp/crid/1520853833038030848","@type":"Article","relationType":["isCitedBy"],"jpcoar:relatedTitle":[{"@value":"非正常系分析マトリックスによるソフトウェア組込み製品の障害シナリオ抽出手法"},{"@language":"ja-Kana","@value":"ヒセイジョウケイ ブンセキ マトリックス ニ ヨル ソフトウェア クミコミ セイヒン ノ ショウガイ シナリオ チュウシュツ シュホウ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520853834436550144","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@value":"組込みシステムにおける外部環境の分析"},{"@language":"ja-Kana","@value":"クミコミ システム ニ オケル ガイブ カンキョウ ノ ブンセキ"}]},{"@id":"https://cir.nii.ac.jp/crid/1520853834464029824","@type":"Article","resourceType":"学術雑誌論文(journal article)","relationType":["cites"],"jpcoar:relatedTitle":[{"@value":"組込みソフトウェア非正常系の概念モデル"},{"@language":"ja-Kana","@value":"クミコミ ソフトウェア ヒセイジョウケイ ノ ガイネン モデル"}]},{"@id":"https://cir.nii.ac.jp/crid/1570291225549419776","@type":"Article","relationType":["cites"]},{"@id":"https://cir.nii.ac.jp/crid/1571135650479556096","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Failure Modes and Effects Analysis"}]},{"@id":"https://cir.nii.ac.jp/crid/1571698600432972800","@type":"Article","relationType":["cites"]},{"@id":"https://cir.nii.ac.jp/crid/1571980075409683584","@type":"Article","relationType":["cites"]},{"@id":"https://cir.nii.ac.jp/crid/1571980075409686784","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Security Requirements Engineering : When Anti-Requirements Hit the Fan"}]},{"@id":"https://cir.nii.ac.jp/crid/1571980075409687808","@type":"Article","relationType":["cites"]},{"@id":"https://cir.nii.ac.jp/crid/1571980075409688832","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@value":"組込みソフトウェア仕様抽出のための非正常系分析マトリクス"}]},{"@id":"https://cir.nii.ac.jp/crid/1573105975316529408","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Information Flow Diagram and Analysis Method for Unexpected Obstacle Specification of Embedded Software"}]},{"@id":"https://cir.nii.ac.jp/crid/1573387450293234560","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"A Method for Extracting Unexpected Scenarios of Enbedded Systems"}]},{"@id":"https://cir.nii.ac.jp/crid/1573387450293239040","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@value":"組込みソフト非正常系における仕様分析手法の一提案"}]},{"@id":"https://cir.nii.ac.jp/crid/1573387450293240960","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Software Fault Tree Analysis for Product Lines"}]},{"@id":"https://cir.nii.ac.jp/crid/1573387450293241984","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"An Analysis Method with Failure Scenario Matrix for Specifying Unexpected Obstacles in Embedded Systems"}]},{"@id":"https://cir.nii.ac.jp/crid/1573668925269947776","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Fault Tree Analysis"}]},{"@id":"https://cir.nii.ac.jp/crid/1573668925269952768","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Misuse cases, use cases with hostile intent"}]},{"@id":"https://cir.nii.ac.jp/crid/1573950401485195648","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Handling Obstacles in Goal-Oriented Requirements Engineering"}]},{"@id":"https://cir.nii.ac.jp/crid/1574231875223368576","@type":"Article","relationType":["cites"],"jpcoar:relatedTitle":[{"@language":"en","@value":"Hazards and Operability Analysis"}]}],"dataSourceIdentifier":[{"@type":"IRDB","@value":"oai:irdb.nii.ac.jp:01216:0000925293"},{"@type":"IRDB","@value":"oai:irdb.nii.ac.jp:02902:0003104747"},{"@type":"NDL_SEARCH","@value":"oai:ndlsearch.ndl.go.jp:R000000004-I8949322"},{"@type":"CIA","@value":"110006422970"},{"@type":"KAKEN","@value":"PRODUCT-11058079"},{"@type":"KAKEN","@value":"PRODUCT-11058098"}]}