Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

Goto Application

1. WO2020090345 - DISPOSITIF DE TRAITEMENT DE VALIDATION, PROCÉDÉ DE TRAITEMENT DE VALIDATION, ET PROGRAMME

Numéro de publication WO/2020/090345
Date de publication 07.05.2020
N° de la demande internationale PCT/JP2019/039133
Date du dépôt international 03.10.2019
CIB
G06F 11/36 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
36Prévention d'erreurs en effectuant des tests ou par débogage de logiciel
G06F 17/50 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
17Équipement ou méthodes de traitement de données ou de calcul numérique, spécialement adaptés à des fonctions spécifiques
50Conception assistée par ordinateur
Déposants
  • 三菱重工エンジニアリング株式会社 MITSUBISHI HEAVY INDUSTRIES ENGINEERING, LTD. [JP]/[JP]
Inventeurs
  • ▲高▼尾 健司 TAKAO Kenji
  • 平山 啓太 HIRAYAMA Keita
Mandataires
  • 松沼 泰史 MATSUNUMA Yasushi
  • 伊藤 英輔 ITO Eisuke
  • 橋本 宏之 HASHIMOTO Hiroyuki
  • 古都 智 FURUICHI Satoshi
  • 鎌田 康一郎 KAMATA Koichiro
Données relatives à la priorité
2018-20651801.11.2018JP
Langue de publication japonais (JA)
Langue de dépôt japonais (JA)
États désignés
Titre
(EN) VALIDATION PROCESSING DEVICE, VALIDATION PROCESSING METHOD, AND PROGRAM
(FR) DISPOSITIF DE TRAITEMENT DE VALIDATION, PROCÉDÉ DE TRAITEMENT DE VALIDATION, ET PROGRAMME
(JA) 検証処理装置、検証処理方法及びプログラム
Abrégé
(EN)
This validation processing device is provided with: a processing unit that performs model inspection on a model to be inspected; and a selection unit that selects, on the basis of the result of the model inspection, one element from among elements that have undergone state change in a process leading to an unsafe event. The processing unit further performs model inspection again on the model to be inspected excluding the one element.
(FR)
Selon l'invention, un dispositif de traitement de validation comprend : une unité de traitement qui effectue une inspection de modèle sur un modèle à inspecter ; et une unité de sélection qui sélectionne, en fonction du résultat de l'inspection de modèle, un élément parmi des éléments qui ont subi un changement d'état dans un processus conduisant à un évènement dangereux. En outre, l'unité de traitement effectue de nouveau une inspection de modèle sur le modèle à inspecter en excluant l'élément.
(JA)
検証処理装置は、検査対象モデルに対してモデル検査を実施する処理部と、前記モデル検査の結果に基づき、不安全事象に至る過程で状態が変化した要素の中から一つの要素を選択する選択部と、を備える。前記処理部は、更に、前記一つの要素を除外してなる検査対象モデルに対して再度のモデル検査を実施する。
Dernières données bibliographiques dont dispose le Bureau international