Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2018066140) APPAREIL DE VÉRIFICATION DE CONCEPTION
Dernières données bibliographiques dont dispose le Bureau international    Formuler une observation

N° de publication : WO/2018/066140 N° de la demande internationale : PCT/JP2016/080016
Date de publication : 12.04.2018 Date de dépôt international : 07.10.2016
CIB :
G06F 17/50 (2006.01) ,G06F 11/36 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
17
Equipement ou méthodes de traitement de données ou de calcul numérique, spécialement adaptés à des fonctions spécifiques
50
Conception assistée par ordinateur
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11
Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
36
Prévention d'erreurs en effectuant des tests ou par débogage de logiciel
Déposants :
株式会社日立製作所 HITACHI, LTD. [JP/JP]; 東京都千代田区丸の内一丁目6番6号 6-6, Marunouchi 1-chome, Chiyoda-ku, Tokyo 1008280, JP
Inventeurs :
松原 正裕 MATSUBARA Masahiro; JP
Mandataire :
平木 祐輔 HIRAKI Yusuke; JP
藤田 節 FUJITA Takashi; JP
渡辺 敏章 WATANABE Toshiaki; JP
Données relatives à la priorité :
Titre (EN) DESIGN VERIFICATION APPARATUS
(FR) APPAREIL DE VÉRIFICATION DE CONCEPTION
(JA) 設計検証装置
Abrégé :
(EN) The purpose of the present invention is to provide a technique that facilitates an automatic inspection as to whether design specifications comply with required specifications even when the required specifications and the design specifications are represented by different notations. A design verification apparatus according to the present invention inspects whether the design specifications comply with the required specifications by using a logical expression in which symbols correspond to each other between the required specifications and the design specifications.
(FR) L'objectif de l’invention est de fournir une technique qui facilite une inspection automatique afin de savoir si les spécifications de conception sont conformes aux spécifications requises même lorsque les spécifications requises et les spécifications de conception sont représentées par des notations différentes. Selon l’invention, un appareil de vérification de conception inspecte si les spécifications de conception sont conformes aux spécifications requises en utilisant une expression logique dans laquelle les symboles correspondent l’un à l’autre entre les spécifications requises et les spécifications de conception.
(JA) 本発明は、要求仕様と設計仕様が互いに異なる記法によって表現されている場合であっても、設計仕様が要求仕様に適合しているか否かを自動的に検査することを促進する技術を提供することを目的とする。本発明に係る設計検証装置は、要求仕様と設計仕様との間の記号が対応付けされている論理式を用いて、設計仕様が要求仕様に適合しているか否かを検査する。
front page image
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BN, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DJ, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IR, IS, JP, KE, KG, KN, KP, KR, KW, KZ, LA, LC, LK, LR, LS, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PA, PE, PG, PH, PL, PT, QA, RO, RS, RU, RW, SA, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, RW, SD, SL, ST, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, RU, TJ, TM)
Office européen des brevets (OEB (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, KM, ML, MR, NE, SN, TD, TG)
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)