ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 学術雑誌論文
  2. 5 技術(工学)

組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化

http://hdl.handle.net/10228/6033
http://hdl.handle.net/10228/6033
be97107c-c156-49cf-971d-fec9db025e58
名前 / ファイル ライセンス アクション
IEICE108_7.pdf IEICE108_7.pdf (766.3 kB)
Item type 学術雑誌論文 = Journal Article(1)
公開日 2017-02-17
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_6501
資源タイプ journal article
タイトル
タイトル 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
言語 ja
タイトル
タイトル Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems
言語 en
言語
言語 jpn
著者 井上, 富雄

× 井上, 富雄

WEKO 17673

ja 井上, 富雄

en Inoue, Tomio

Search repository
三瀬, 敏朗

× 三瀬, 敏朗

WEKO 17674

ja 三瀬, 敏朗

en Mise, Toshiro

Search repository
新屋敷, 泰史

× 新屋敷, 泰史

WEKO 17675

ja 新屋敷, 泰史

en Shinyashiki, Yasufumi

Search repository
橋本, 正明

× 橋本, 正明

WEKO 6416
e-Rad 20253560
Scopus著者ID 55994409600

en Hashimoto, Masaaki

ja 橋本, 正明

ja-Kana ハシモト, マサアキ


Search repository
片峯, 恵一

× 片峯, 恵一

WEKO 926
e-Rad 00264135
Scopus著者ID 6507359502
九工大研究者情報 307

en Katamine, Keiichi

ja 片峯, 恵一

ja-Kana カタミネ, ケイイチ


Search repository
鵜林, 尚靖

× 鵜林, 尚靖

WEKO 1145

en Ubayashi, Naoyasu

ja 鵜林, 尚靖

ja-Kana ウバヤシ, ナオヤス


Search repository
中谷, 多哉子

× 中谷, 多哉子

WEKO 17679

ja 中谷, 多哉子

en Nakatani, Takako

Search repository
抄録
内容記述タイプ Abstract
内容記述 組込みシステムは障害などの非正常系について,IFD(Information Flow Diagram)を用いた静的な側面と,分析マトリクスを用いた動的な側面から,捉える事が出来る.そこで,IFDと分析マトリクスの関係を厳密に示すため,両者の定式化を図り考察する.また,分析マトリクスにおける抽象化のメカニズムを定式化によって探り,両者を用いた分析を助ける.本稿では,両者を定式化した定義とその有効性について論ずる.
言語 ja
抄録
内容記述タイプ Abstract
内容記述 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.
言語 en
備考
内容記述タイプ Other
内容記述 知能ソフトウェア工学研究会(KBSE), 2008年11月27-28日, 福岡市東区, 福岡県, 日本
書誌情報 ja : 電子情報通信学会技術研究報告. KBSE, 知能ソフトウェア工学

巻 108, 号 326, p. 7-12, 発行日 2008-11-20
出版社
出版者 電子情報通信学会
言語 ja
CRID
関連タイプ isIdenticalTo
識別子タイプ URI
関連識別子 https://cir.nii.ac.jp/crid/1050001338910914816
NCID
収録物識別子タイプ NCID
収録物識別子 AN10386841
ISSN
収録物識別子タイプ EISSN
収録物識別子 2432-6380
ISSN
収録物識別子タイプ PISSN
収録物識別子 0913-5685
著作権関連情報
権利情報 電子情報通信学会. 本文データは学協会の許諾に基づきCiNiiから複製したものである
キーワード
主題Scheme Other
主題 組込みシステム
キーワード
主題Scheme Other
主題 非正常系
キーワード
主題Scheme Other
主題 情報フロー・ダイアグラム
キーワード
主題Scheme Other
主題 分析マトリクス
キーワード
主題Scheme Other
主題 定式化
キーワード
主題Scheme Other
主題 Embedded System
キーワード
主題Scheme Other
主題 Unexpected Obstacles
キーワード
主題Scheme Other
主題 Informatien Flow Diagrarn
キーワード
主題Scheme Other
主題 Analysis Manix
キーワード
主題Scheme Other
主題 Formalization
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
査読の有無
値 no
連携ID
値 592
戻る
0
views
See details
Views

Versions

Ver.1 2023-05-15 13:07:13.889099
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3