アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析

吉村, 悠; 日高, 隆博; 中條, 直也; 高田, 広章; 高浜, 盛雄; YOSHIMURA, Yu; HIDAKA, Takahiro; CHUJO, Naoya; TAKADA, Hiroaki; TAKAHAMA, Morio

WEKO3

AND

lat lon distance

[[sub_check.contents]]　

[[sub_radio.contents]]

Field does not validate

[[sub_attr.contents]]　

インデックスツリー

アイテム

{"_buckets": {"deposit": "e7286ed0-1bd9-42d6-9732-0a4655090f7a"}, "_deposit": {"id": "13143", "owners": [], "pid": {"revision_id": 0, "type": "depid", "value": "13143"}, "status": "published"}, "_oai": {"id": "oai:nagoya.repo.nii.ac.jp:00013143"}, "item_10_alternative_title_19": {"attribute_name": "\u305d\u306e\u4ed6\u306e\u8a00\u8a9e\u306e\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_alternative_title": "Risk Analysis of Control System Unified with Design Using Architecture Description Language"}]}, "item_10_biblio_info_6": {"attribute_name": "\u66f8\u8a8c\u60c5\u5831", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2010-10-01", "bibliographicIssueDateType": "Issued"}, "bibliographicIssueNumber": "10", "bibliographicPageEnd": "1875", "bibliographicPageStart": "1866", "bibliographicVolumeNumber": "J93-D", "bibliographic_titles": [{"bibliographic_title": "\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u8ad6\u6587\u8a8c. D, \u60c5\u5831\u30fb\u30b7\u30b9\u30c6\u30e0"}]}]}, "item_10_description_4": {"attribute_name": "\u6284\u9332", "attribute_value_mlt": [{"subitem_description": "\u672c\u8ad6\u6587\u3067\u306f\u5236\u5fa1\u30b7\u30b9\u30c6\u30e0\u306e\u5927\u898f\u6a21\u30fb\u8907\u96d1\u5316\u306b\u5bfe\u5fdc\u3059\u308b\u30ea\u30b9\u30af\u5206\u6790\u3092\u63d0\u6848\u3059\u308b\uff0e\u30b7\u30b9\u30c6\u30e0\u8a2d\u8a08\u306e\u4e0a\u6d41\u5de5\u7a0b\u3092\u30e2\u30c7\u30eb\u3068\u3057\u3066\u8a18\u8ff0\u3059\u308b\u67a0\u7d44\u307f\u3067\u3042\u308b\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u8a18\u8ff0\u8a00\u8a9e\u3068\uff0c\u6545\u969c\u306b\u95a2\u3059\u308b\u60c5\u5831\u3092\u8a18\u8ff0\u3059\u308b\u30a8\u30e9\u30fc\u30e2\u30c7\u30eb\u306b\u7740\u76ee\u3057\uff0c\u8a2d\u8a08\u5de5\u7a0b\u3068\u4f53\u7cfb\u7684\u306b\u306a\u3063\u305f\u30ea\u30b9\u30af\u5206\u6790\u30b7\u30b9\u30c6\u30e0\u3092\u958b\u767a\u3057\u305f\uff0e\u8a2d\u8a08\u8005\u306f\uff0c\u30b7\u30b9\u30c6\u30e0\u3092\u30a2\u30fc\u30ad\u30af\u30c1\u30e3\u8a18\u8ff0\u8a00\u8a9e\u306e\u4e00\u7a2e\u3067\u3042\u308bAADL\u306b\u3088\u3063\u3066\u8a18\u8ff0\u3057\uff0c\u30b3\u30f3\u30dd\u30fc\u30cd\u30f3\u30c8\u3054\u3068\u306e\u30a8\u30e9\u30fc\u30e2\u30c7\u30eb\u3092\u78ba\u7387\u72b6\u614b\u9077\u79fb\u3068\u3057\u3066\u8a18\u8ff0\u3059\u308b\u3082\u306e\u3068\u3059\u308b\uff0e\u6211\u3005\u306f\uff0c\u3053\u306e\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u8a18\u8ff0\u3068\u30a8\u30e9\u30fc\u30e2\u30c7\u30eb\u8a18\u8ff0\u3092\u7528\u3044\u305f\u30ea\u30b9\u30af\u5206\u6790\u3068\u3057\u3066\uff0c\u30a8\u30e9\u30fc\u30e2\u30c7\u30eb\u5408\u6210\u3068\u7c21\u7d04\u5316\u3092\u5b9a\u7fa9\u3057\u305f\uff0e\u30a8\u30e9\u30fc\u30e2\u30c7\u30eb\u5408\u6210\u306b\u3088\u3063\u3066\u30b7\u30b9\u30c6\u30e0\u306e\u6545\u969c\u3092\u8a08\u7b97\u3059\u308b\u3053\u3068\u304c\u3067\u304d\uff0c\u7c21\u7d04\u5316\u306b\u3088\u3063\u3066\u5927\u898f\u6a21\u306a\u30b7\u30b9\u30c6\u30e0\u3067\u3082\u30ea\u30b9\u30af\u5206\u6790\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u72b6\u614b\u6570\u3092\u524a\u6e1b\u3057\uff0c\u8a08\u7b97\u91cf\u304c\u5c0f\u3055\u304f\u306a\u308b\u3053\u3068\u3092\u793a\u3059\uff0e\u30ea\u30b9\u30af\u5206\u6790\u30b7\u30b9\u30c6\u30e0\u306b\u3088\u3063\u3066\uff0c\u8a2d\u8a08\u30b7\u30b9\u30c6\u30e0\u306e\u6f5c\u5728\u7684\u306a\u5371\u967a\u6027\u3092\u30ea\u30b9\u30af\u3068\u3057\u3066\u8868\u3057\uff0c\u30b7\u30b9\u30c6\u30e0\u306e\u5b89\u5168\u6027\u8a55\u4fa1\u304c\u53ef\u80fd\u3068\u306a\u308b\uff0e\u307e\u305f\uff0c\u30ea\u30b9\u30af\u304c\u9ad8\u3044\u7b87\u6240\u3092\u512a\u5148\u7684\u306b\u5bfe\u7b56\u3059\u308b\u3053\u3068\u306b\u3088\u308b\u52b9\u7387\u7684\u306a\u30b7\u30b9\u30c6\u30e0\u306e\u8a2d\u8a08\u5909\u66f4\u3092\u63d0\u6848\u3059\u308b\uff0e\u81ea\u52d5\u8eca\u5236\u5fa1\u30b7\u30b9\u30c6\u30e0\u306e\u91cd\u8981\u306a\u30b5\u30d6\u30b7\u30b9\u30c6\u30e0\u3067\u3042\u308b\u96fb\u52d5\u30d1\u30ef\u30fc\u30b9\u30c6\u30a2\u30ea\u30f3\u30b0\u30fb\u30b7\u30b9\u30c6\u30e0\u3092\u4e8b\u4f8b\u3068\u3057\u3066\uff0c\u958b\u767a\u30b7\u30b9\u30c6\u30e0\u306e\u6709\u52b9\u6027\u3092\u8003\u5bdf\u3059\u308b", "subitem_description_type": "Abstract"}]}, "item_10_identifier_60": {"attribute_name": "URI", "attribute_value_mlt": [{"subitem_identifier_type": "URI", "subitem_identifier_uri": "http://www.ieice.org/jpn/trans_online/index.html"}, {"subitem_identifier_type": "HDL", "subitem_identifier_uri": "http://hdl.handle.net/2237/15038"}]}, "item_10_publisher_32": {"attribute_name": "\u51fa\u7248\u8005", "attribute_value_mlt": [{"subitem_publisher": "\u793e\u56e3\u6cd5\u4eba\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a"}]}, "item_10_rights_12": {"attribute_name": "\u6a29\u5229", "attribute_value_mlt": [{"subitem_rights": "Copyright (C) 2010 IEICE"}]}, "item_10_select_15": {"attribute_name": "\u8457\u8005\u7248\u30d5\u30e9\u30b0", "attribute_value_mlt": [{"subitem_select_item": "publisher"}]}, "item_10_source_id_7": {"attribute_name": "ISSN", "attribute_value_mlt": [{"subitem_source_identifier": "1880-4535", "subitem_source_identifier_type": "ISSN"}]}, "item_creator": {"attribute_name": "\u8457\u8005", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "\u5409\u6751, \u60a0"}], "nameIdentifiers": [{"nameIdentifier": "41395", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u65e5\u9ad8, \u9686\u535a"}], "nameIdentifiers": [{"nameIdentifier": "41396", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u4e2d\u689d, \u76f4\u4e5f"}], "nameIdentifiers": [{"nameIdentifier": "41397", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9ad8\u7530, \u5e83\u7ae0"}], "nameIdentifiers": [{"nameIdentifier": "41398", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "\u9ad8\u6d5c, \u76db\u96c4"}], "nameIdentifiers": [{"nameIdentifier": "41399", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "YOSHIMURA, Yu"}], "nameIdentifiers": [{"nameIdentifier": "41400", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "HIDAKA, Takahiro"}], "nameIdentifiers": [{"nameIdentifier": "41401", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "CHUJO, Naoya"}], "nameIdentifiers": [{"nameIdentifier": "41402", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "TAKADA, Hiroaki"}], "nameIdentifiers": [{"nameIdentifier": "41403", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "TAKAHAMA, Morio"}], "nameIdentifiers": [{"nameIdentifier": "41404", "nameIdentifierScheme": "WEKO"}]}]}, "item_files": {"attribute_name": "\u30d5\u30a1\u30a4\u30eb\u60c5\u5831", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2018-02-20"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "245.pdf", "filesize": [{"value": "618.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_free", "mimetype": "application/pdf", "size": 618000.0, "url": {"label": "245.pdf", "url": "https://nagoya.repo.nii.ac.jp/record/13143/files/245.pdf"}, "version_id": "0e434189-92f0-4b4b-9b23-c03a2a7d212c"}]}, "item_keyword": {"attribute_name": "\u30ad\u30fc\u30ef\u30fc\u30c9", "attribute_value_mlt": [{"subitem_subject": "\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u8a18\u8ff0\u8a00\u8a9e", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u30a8\u30e9\u30fc\u30e2\u30c7\u30eb", "subitem_subject_scheme": "Other"}, {"subitem_subject": "AADL", "subitem_subject_scheme": "Other"}, {"subitem_subject": "\u30ea\u30b9\u30af\u5206\u6790", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "\u8a00\u8a9e", "attribute_value_mlt": [{"subitem_language": "jpn"}]}, "item_resource_type": {"attribute_name": "\u8cc7\u6e90\u30bf\u30a4\u30d7", "attribute_value_mlt": [{"resourcetype": "journal article", "resourceuri": "http://purl.org/coar/resource_type/c_6501"}]}, "item_title": "\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u8a18\u8ff0\u8a00\u8a9e\u306b\u3088\u308b\u8a2d\u8a08\u3068\u4e00\u4f53\u5316\u3057\u305f\u5236\u5fa1\u30b7\u30b9\u30c6\u30e0\u306e\u30ea\u30b9\u30af\u5206\u6790", "item_titles": {"attribute_name": "\u30bf\u30a4\u30c8\u30eb", "attribute_value_mlt": [{"subitem_title": "\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u8a18\u8ff0\u8a00\u8a9e\u306b\u3088\u308b\u8a2d\u8a08\u3068\u4e00\u4f53\u5316\u3057\u305f\u5236\u5fa1\u30b7\u30b9\u30c6\u30e0\u306e\u30ea\u30b9\u30af\u5206\u6790"}]}, "item_type_id": "10", "owner": "1", "path": ["312/313/314"], "permalink_uri": "http://hdl.handle.net/2237/15038", "pubdate": {"attribute_name": "\u516c\u958b\u65e5", "attribute_value": "2011-07-05"}, "publish_date": "2011-07-05", "publish_status": "0", "recid": "13143", "relation": {}, "relation_version_is_last": true, "title": ["\u30a2\u30fc\u30ad\u30c6\u30af\u30c1\u30e3\u8a18\u8ff0\u8a00\u8a9e\u306b\u3088\u308b\u8a2d\u8a08\u3068\u4e00\u4f53\u5316\u3057\u305f\u5236\u5fa1\u30b7\u30b9\u30c6\u30e0\u306e\u30ea\u30b9\u30af\u5206\u6790"], "weko_shared_id": null}

アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析

http://hdl.handle.net/2237/15038

	名前 / ファイル	ライセンス	アクション
	245.pdf (618.0 kB)

Item type

学術雑誌論文 / Journal Article(1)

公開日

2011-07-05

タイトル

アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析

その他のタイトル

Risk Analysis of Control System Unified with Design Using Architecture Description Language

著者

CHUJO, Naoya
TAKADA, Hiroaki

TAKAHAMA, Morio

権利

権利情報

キーワード

主題Scheme

Other

主題

アーキテクチャ記述言語

キーワード

主題Scheme

Other

主題

エラーモデル

キーワード

主題Scheme

Other

主題

AADL

キーワード

主題Scheme

Other

主題

リスク分析

抄録

内容記述

本論文では制御システムの大規模・複雑化に対応するリスク分析を提案する．システム設計の上流工程をモデルとして記述する枠組みであるアーキテクチャ記述言語と，故障に関する情報を記述するエラーモデルに着目し，設計工程と体系的になったリスク分析システムを開発した．設計者は，システムをアーキクチャ記述言語の一種であるAADLによって記述し，コンポーネントごとのエラーモデルを確率状態遷移として記述するものとする．我々は，このアーキテクチャ記述とエラーモデル記述を用いたリスク分析として，エラーモデル合成と簡約化を定義した．エラーモデル合成によってシステムの故障を計算することができ，簡約化によって大規模なシステムでもリスク分析ができるように状態数を削減し，計算量が小さくなることを示す．リスク分析システムによって，設計システムの潜在的な危険性をリスクとして表し，システムの安全性評価が可能となる．また，リスクが高い箇所を優先的に対策することによる効率的なシステムの設計変更を提案する．自動車制御システムの重要なサブシステムである電動パワーステアリング・システムを事例として，開発システムの有効性を考察する

内容記述タイプ

Abstract

出版者

社団法人電子情報通信学会

言語

jpn

資源タイプ

資源タイプresource

http://purl.org/coar/resource_type/c_6501

タイプ

journal article

ISSN

収録物識別子タイプ

ISSN

収録物識別子

1880-4535

書誌情報

電子情報通信学会論文誌. D, 情報・システム

巻 J93-D, 号 10, p. 1866-1875, 発行日 2010-10-01

著者版フラグ

値

publisher

URI

識別子

http://www.ieice.org/jpn/trans_online/index.html

識別子タイプ

URI

識別子

http://hdl.handle.net/2237/15038

識別子タイプ

HDL

戻る

views

See details

	Views

Versions

Ver.1

2021-03-01 18:37:41.068331

Show All versions

Cite as

Export

OAI-PMH

JPCOAR
DublinCore
DDI

Other Formats

JSON
BIBTEX

インデックスリンク

インデックスツリー

アイテム

アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析

× 吉村, 悠

× 日高, 隆博

× 中條, 直也

× 高田, 広章

× 高浜, 盛雄

× YOSHIMURA, Yu

× HIDAKA, Takahiro

× CHUJO, Naoya

× TAKADA, Hiroaki

× TAKAHAMA, Morio

Versions

Share

Cite as

Export