特許

J-GLOBAL ID：202303003213822211

システム検証方法およびシステム検証装置

発明者： 川上 大介 ,  千田 伸男 ,  青木 利晃 ,  冨田 堯 ,  河井 達治
出願人/特許権者： 三菱電機株式会社
代理人 (2件)： 吉竹 英俊 ,  有田 貴弘
公報種別：公開公報
出願番号（国際出願番号）：特願2021-196852
公開番号（公開出願番号）：特開2023-082872
出願日： 2021年12月03日
公開日（公表日）： 2023年06月15日
要約：

【課題】本開示は、出力の根拠が不明確であるシステムが仕様を満たしているか否かについて系統的に検証を行うことを目的とする。 【解決手段】本開示のシステム検証方法は、検証対象システム155が望ましくない出力を生成する要因を安全分析により抽出し、要因ごとにデータセット仕様183を定義し、データセット仕様183に基づいてデータセット184を生成し、データセット184が検証対象システム155に入力された場合に検証対象システム155により生成される出力に基づいて検証対象システム155が仕様を満たしているか否かを検証する。 【選択図】図1

請求項（抜粋）：

検証対象システムが望ましくない出力を生成する要因を安全分析により抽出し、 前記要因ごとにデータセット仕様を定義し、 前記データセット仕様に基づいてデータセットを生成し、 前記データセットが前記検証対象システムに入力された場合に前記検証対象システムにより生成される出力に基づいて前記検証対象システムが仕様を満たしているか否かを検証する、 システム検証方法。

IPC (3件)：

G06N 5/025 ,  G06T 7/00 ,  G06N 5/04

FI (3件)：

G06N5/02 150 ,  G06T7/00 350B ,  G06N5/04

Fターム (6件)：

5L096AA06 ,  5L096BA04 ,  5L096DA02 ,  5L096HA09 ,  5L096JA24 ,  5L096KA04

引用特許：

出願人引用 (1件)

• 機械学習支援装置
  公報種別：公開公報   出願番号：特願2015-236094   出願人：池上通信機株式会社