WEKO3
アイテム
アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析
http://hdl.handle.net/2237/15038
http://hdl.handle.net/2237/150387ad181be-638f-4d36-82f4-fb0797e218dd
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
245.pdf (618.0 kB)
|
|
| アイテムタイプ | 学術雑誌論文 / Journal Article(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-07-05 | |||||
| タイトル | ||||||
| タイトル | アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析 | |||||
| 言語 | ja | |||||
| その他のタイトル | ||||||
| その他のタイトル | Risk Analysis of Control System Unified with Design Using Architecture Description Language | |||||
| 著者 |
吉村, 悠
× 吉村, 悠× 日高, 隆博× 中條, 直也× 高田, 広章× 高浜, 盛雄× YOSHIMURA, Yu× HIDAKA, Takahiro× CHUJO, Naoya× TAKADA, Hiroaki× TAKAHAMA, Morio |
|||||
| アクセス権 | ||||||
| アクセス権 | open access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
| 権利 | ||||||
| 権利情報 | Copyright (C) 2010 IEICE | |||||
| 言語 | en | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | アーキテクチャ記述言語 | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | エラーモデル | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | AADL | |||||
| キーワード | ||||||
| 主題Scheme | Other | |||||
| 主題 | リスク分析 | |||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 本論文では制御システムの大規模・複雑化に対応するリスク分析を提案する．システム設計の上流工程をモデルとして記述する枠組みであるアーキテクチャ記述言語と，故障に関する情報を記述するエラーモデルに着目し，設計工程と体系的になったリスク分析システムを開発した．設計者は，システムをアーキクチャ記述言語の一種であるAADLによって記述し，コンポーネントごとのエラーモデルを確率状態遷移として記述するものとする．我々は，このアーキテクチャ記述とエラーモデル記述を用いたリスク分析として，エラーモデル合成と簡約化を定義した．エラーモデル合成によってシステムの故障を計算することができ，簡約化によって大規模なシステムでもリスク分析ができるように状態数を削減し，計算量が小さくなることを示す．リスク分析システムによって，設計システムの潜在的な危険性をリスクとして表し，システムの安全性評価が可能となる．また，リスクが高い箇所を優先的に対策することによる効率的なシステムの設計変更を提案する．自動車制御システムの重要なサブシステムである電動パワーステアリング・システムを事例として，開発システムの有効性を考察する | |||||
| 言語 | ja | |||||
| 出版者 | ||||||
| 出版者 | 社団法人電子情報通信学会 | |||||
| 言語 | ja | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプresource | http://purl.org/coar/resource_type/c_6501 | |||||
| タイプ | journal article | |||||
| 出版タイプ | ||||||
| 出版タイプ | VoR | |||||
| 出版タイプResource | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |||||
| 関連情報 | ||||||
| 関連タイプ | isVersionOf | |||||
| 識別子タイプ | URI | |||||
| 関連識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
| ISSN | ||||||
| 収録物識別子タイプ | PISSN | |||||
| 収録物識別子 | 1880-4535 | |||||
| 書誌情報 |
ja : 電子情報通信学会論文誌. D, 情報・システム 巻 J93-D, 号 10, p. 1866-1875, 発行日 2010-10-01 |
|||||
| 著者版フラグ | ||||||
| 値 | publisher | |||||
| URI | ||||||
| 識別子 | http://www.ieice.org/jpn/trans_online/index.html | |||||
| 識別子タイプ | URI | |||||
| URI | ||||||
| 識別子 | http://hdl.handle.net/2237/15038 | |||||
| 識別子タイプ | HDL | |||||
