文献

J-GLOBAL ID：202002266146643758   整理番号：20A1489539

並列行動モデルを用いた同時攻撃シナリオ生成法【JST・京大機械翻訳】

A Simultaneous Attack Scenario Generation Method Using the Parallel Behavior Model

著者 (2件)： Fujikura Toshiyuki (dSPACE Japan,Tokyo,Japan) ,  Kurachi Ryo (Nagoya University,Nagoya,Japan)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： VTC2020-Spring  ページ： 1-7  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 試験シナリオに対する要求から高いトレーサビリティを達成するために,試験シナリオ生成法は,モデルベース開発の不可欠な側面として広く認識されてきた。しかし,危険な条件を含む十分な要求範囲を持つ効果的な試験シナリオを作ることは困難である。本研究では,形式化した機能的要求から試験シナリオ生成法を提案した。ハザード解析の結果に基づいて,この技術はシナリオの終状態として危険な状態を指定することによって危険な状況を明らかにするシナリオを生成することができる。さらに,攻撃ターゲットと方法をモデル化することによって,悪意のある同時外部攻撃によって危険な状態に導く試験シナリオを生成した。同時攻撃試験シナリオを生成する並列化技術を示した。網羅的経路発見手法を用いて,既存の手法と比較して高い要求カバレッジを達成する能力を示す。提案方法は,モデル検査方法を使用し,状態爆発から脱出できない。しかし,高抽象要求領域をモデル化し,部分シナリオを指定することによって,実際の問題に達することができる。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 発見的方法 ,  トレーサビリティ ,  終状態 ,  *モデル検査
準シソーラス用語： 攻撃試験 ,  モデルベース開発 ,  ハザード , 【Automatic Indexing@JST】

分類 (1件)： 図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (2件)： 行動モデル ,  攻撃シナリオ