ログイン 新規登録
言語:

WEKO3

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

Field does not validate



インデックスリンク

インデックスツリー

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

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. シンポジウム
  2. シンポジウムシリーズ
  3. 組込みシステムシンポジウム
  4. 2015

ゴール木とパターンを用いたISO26262における安全要求のモデル化

https://ipsj.ixsq.nii.ac.jp/records/145497
https://ipsj.ixsq.nii.ac.jp/records/145497
fc77a17c-02fe-49a0-ab07-a344b00f99f3
名前 / ファイル ライセンス アクション
IPSJ-ESS2015005.pdf IPSJ-ESS2015005.pdf (1.2 MB)
Copyright (c) 2015 by the Information Processing Society of Japan
オープンアクセス
Item type Symposium(1)
公開日 2015-10-14
タイトル
タイトル ゴール木とパターンを用いたISO26262における安全要求のモデル化
タイトル
言語 en
タイトル Modeling Safety Requirements of ISO26262 using Goal Trees and Patterns
言語
言語 jpn
キーワード
主題Scheme Other
主題 組込み開発環境
資源タイプ
資源タイプ識別子 http://purl.org/coar/resource_type/c_5794
資源タイプ conference paper
著者所属
北陸先端科学技術大学院大学
著者所属
北陸先端科学技術大学院大学
著者所属
北陸先端科学技術大学院大学
著者所属
(株)日立製作所研究開発グループ制御イノベーションセンタ
著者所属
(株)日立製作所研究開発グループ制御イノベーションセンタ
著者所属
(株)日立製作所研究開発グループ制御イノベーションセンタ
著者所属(英)
en
JAIST
著者所属(英)
en
JAIST
著者所属(英)
en
JAIST
著者所属(英)
en
Hitachi, Ltd., Research & Development Group, Center for Technology Innovation - Controls
著者所属(英)
en
Hitachi, Ltd., Research & Development Group, Center for Technology Innovation - Controls
著者所属(英)
en
Hitachi, Ltd., Research & Development Group, Center for Technology Innovation - Controls
著者名 青木, 利晃

× 青木, 利晃

青木, 利晃

Search repository
トライチャイヤポーン, クリアンクライ

× トライチャイヤポーン, クリアンクライ

トライチャイヤポーン, クリアンクライ

Search repository
千葉, 勇輝

× 千葉, 勇輝

千葉, 勇輝

Search repository
松原, 正裕

× 松原, 正裕

松原, 正裕

Search repository
西, 昌能

× 西, 昌能

西, 昌能

Search repository
成沢, 文雄

× 成沢, 文雄

成沢, 文雄

Search repository
著者名(英) Toshiaki, Aoki

× Toshiaki, Aoki

en Toshiaki, Aoki

Search repository
Kriangkrai, Traichaiyaporn

× Kriangkrai, Traichaiyaporn

en Kriangkrai, Traichaiyaporn

Search repository
Yuki, Chiba

× Yuki, Chiba

en Yuki, Chiba

Search repository
Masahiro, Matsubara

× Masahiro, Matsubara

en Masahiro, Matsubara

Search repository
Masataka, Nishi

× Masataka, Nishi

en Masataka, Nishi

Search repository
Fumio, Narisawa

× Fumio, Narisawa

en Fumio, Narisawa

Search repository
論文抄録
内容記述タイプ Other
内容記述 車載システム向け機能安全標準 ISO26262 では,安全要求は,最上位の Safety Goal から始まり,段階的にハードウェアやソフトウェアへの要求へと詳細化を行う.このような段階的な詳細化は,当初の安全目標から追跡可能になるように要求を細かくし,最終的に実装レベルの概念に引き継がれていることを確認するためのものである.一方で,文書が曖昧であったり,矛盾していると,安全要求の追跡が困難となり,結果として漏れや抜けが発生し,安全性の達成が不確実となってしまう.そこで,我々は,要求分析手法 KAOS におけるゴール木の考え方に基づいて,開発中である電子制御ステアリングシステムの安全要求の分析を行った.その結果,多くの暗黙の前提,および,曖昧な記述を指摘することができた.そして,これらの問題点を解決するために,ゴール木とパターンに基づいて,安全要求を記述する手法を提案した.この手法を電子ステアリングシステムの安全要求の一部に適用することにより,高い有効性を確認することができた.本論文では,以上の事例と提案手法について紹介する.
論文抄録(英)
内容記述タイプ Other
内容記述 In ISO 26262, safety requirements are constructed from general goals to be achieved into system, hardware and software requirements step by step. Such stepwise construction of the saftey requirements allow us to confirm that the system realizes the goals by making them traceable. The traceability also helps us to exhaustively extract requirements which are necessary to achieve safety. On the other hand, it depends on the quality of the documents. If the documents contain ambiguities, contradictions and many of requirements are missing, those lead to the unsafety of the system. We conducted a case study to make safety requirements in which traceability of the requirements is realized using the goal tree of KAOS. Although the document is still under construction when we analyzed it, we found many of implicit assuptions missing and ambigous requirements. To solve this problem, we proposed a method to describe the safety requirements based on the goal tree and its patterns. Then, we confirmed the effectivenes of the method by applying it to an electronic power steering system. In this paper, we show the proposed mentod and the case study of the electronic power steering system.
書誌情報 組込みシステムシンポジウム2015論文集

巻 2015, p. 24-33, 発行日 2015-10-14
出版者
言語 ja
出版者 情報処理学会
戻る
0
views
See details
Views

Versions

Ver.1 2025-01-20 18:19:05.537060
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

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

Confirm


Powered by WEKO3


Powered by WEKO3