WIPO logo
Mobile | Deutsch | Español | Français | 日本語 | 한국어 | Português | Русский | 中文 | العربية |
PATENTSCOPE

Search International and National Patent Collections
World Intellectual Property Organization
Search
 
Browse
 
Translate
 
Options
 
News
 
Login
 
Help
 
Machine translation
1. (WO2004010639) REACTIVE SYSTEM SAFETY VERIFICATION DEVICE, METHOD, PROGRAM, AND RECORDING MEDIUM CONTAINING THE PROGRAM
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2004/010639    International Application No.:    PCT/JP2003/009153
Publication Date: 29.01.2004 International Filing Date: 18.07.2003
IPC:
G06F 15/00 (2006.01), G06F 17/10 (2006.01), G09C 1/00 (2006.01), H04L 9/08 (2006.01), H04L 9/10 (2006.01)
Applicants: NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY [JP/JP]; 3-1, Kasumigaseki 1-chome, Chiyoda-ku, Tokyo 100-8921 (JP) (For All Designated States Except US).
OHSAKI, Hitoshi [JP/JP]; (JP) (For US Only).
TAKAI, Toshinori [JP/JP]; (JP) (For US Only)
Inventors: OHSAKI, Hitoshi; (JP).
TAKAI, Toshinori; (JP)
Agent: SAEGUSA, Eiji; Kitahama TNK Building, 1-7-1, Doshomachi, Chuo-ku, Osaka-shi, Osaka 541-0045 (JP)
Priority Data:
2002-211021 19.07.2002 JP
Title (EN) REACTIVE SYSTEM SAFETY VERIFICATION DEVICE, METHOD, PROGRAM, AND RECORDING MEDIUM CONTAINING THE PROGRAM
(FR) DISPOSITIF, PROCEDE ET PROGRAMME DE VERIFICATION DE SECURITE DE SYSTEME REACTIF ET SUPPORT D'ENREGISTREMENT CONTENANT LEDIT PROGRAMME
(JA) リアクティブ・システムの安全性検証装置、方法、プログラム及びそのプログラムを記録した記録媒体
Abstract: front page image
(EN)A reactive system safety verification device in which a set of axioms is a set including as elements only a commutative law and an associative law. The device includes a translation section (8) for generating a first equation-equipped tree automaton receiving a set of terms under the set of axioms, a simulation section (9) for generating a second equation-equipped tree automaton receiving a set of terms deriving from the set of terms and the set of terms, and a set calculation section (10) for generating a fourth equation-equipped tree automaton by combining the second equation-equipped tree automaton and a third equation-equipped tree automaton receiving a set of terms to be inspected and judging whether the set received by the fourth equation-equipped automaton is an empty set.
(FR)L'invention concerne un dispositif de vérification de système réactif dans lequel un ensemble d'axiomes est un ensemble comprenant comme éléments uniquement une loi de commutativité et une loi d'associativité. Ledit dispositif comprend une section de traduction (8) permettant de produire un automate arborescent résolvant une première équation qui reçoit un premier ensemble de termes de l'ensemble d'axiomes, une section de simulation (9) permettant de produire un automate arborescent résolvant une deuxième équation qui reçoit un ensemble de termes dérivant de l'ensemble de termes, et une section de calcul (10) d'ensemble permettant de produire un ensemble arborescent résolvant une quatrième équation par combinaison de l'automate arborescent résolvant la deuxième équation et d'un automate arborescent résolvant une troisième équation qui reçoit un ensemble de termes à vérifier et juge si l'ensemble reçu par l'ensemble arborescent résolvant une quatrième équation est un ensemble vide.
(JA)リアクティブ・システムの安全性検証装置において、公理の集合が交換則及び結合則のみを要素とし、前記公理の集合の下で、項の集合を受理する第1の等式付ツリー・オートマトンを生成する翻訳部(8)、前記第1の等式付ツリー・オートマトンを初期データとして、書換規則の集合及び前記公理の集合の下で、前記項の集合から派生する項からなる集合と前記項の集合とを受理する第2の等式付ツリー・オートマトンを生成するシミュレーション部(9)、及び前記第2の等式付ツリー・オートマトンと、検査対象となる項の集合を受理する第3の等式付ツリー・オートマトンとを結合して第4の等式付ツリー・オートマトンを生成し、該第4の等式付ツリー・オートマトンが受理する集合が空集合か否かを判断する集合演算部(10)を備えている。
Designated States: AE, AG, AL, AM, AT, AU, AZ, BA, BB, BG, BR, BY, BZ, CA, CH, CN, CO, CR, CU, CZ, DE, DK, DM, DZ, EC, EE, ES, FI, GB, GD, GE, GH, GM, HR, HU, ID, IL, IN, IS, KE, KG, KR, KZ, LC, LK, LR, LS, LT, LU, LV, MA, MD, MG, MK, MN, MW, MX, MZ, NI, NO, NZ, OM, PG, PH, PL, PT, RO, RU, SC, SD, SE, SG, SK, SL, SY, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, YU, ZA, ZM, ZW.
African Regional Intellectual Property Organization (GH, GM, KE, LS, MW, MZ, SD, SL, SZ, TZ, UG, ZM, ZW)
Eurasian Patent Organization (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
European Patent Office (AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HU, IE, IT, LU, MC, NL, PT, RO, SE, SI, SK, TR)
African Intellectual Property Organization (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG).
Publication Language: Japanese (JA)
Filing Language: Japanese (JA)