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

• 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
• 著者名: 青木, 利晃; トライチャイヤポーン, クリアンクライ; 千葉, 勇輝; 松原, 正裕; 西, 昌能; 成沢, 文雄
• 著者名(英): Toshiaki, Aoki; Kriangkrai, Traichaiyaporn; Yuki, Chiba; Masahiro, Matsubara; Masataka, Nishi; Fumio, Narisawa
• 論文抄録 / 内容記述タイプ: 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
• 出版者: 情報処理学会