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. (WO2000026825) METHOD AND DEVICE FOR COMPARING TECHNICAL SYSTEMS WITH EACH OTHER
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2000/026825    International Application No.:    PCT/DE1999/003500
Publication Date: 11.05.2000 International Filing Date: 02.11.1999
Chapter 2 Demand Filed:    08.05.2000    
IPC:
G06F 17/50 (2006.01)
Applicants: SIEMENS AKTIENGESELLSCHAFT [DE/DE]; Wittelsbacherplatz 2, D-80333 München (DE) (For All Designated States Except US).
LOHSE, Jörg [DE/DE]; (DE) (For US Only).
WARKENTIN, Peter [DE/DE]; (DE) (For US Only)
Inventors: LOHSE, Jörg; (DE).
WARKENTIN, Peter; (DE)
Common
Representative:
SIEMENS AKTIENGESELLSCHAFT; Postfach 22 16 34, D-80506 München (DE)
Priority Data:
198 50 670.8 03.11.1998 DE
Title (DE) VERFAHREN UND ANORDNUNG ZUM VERGLEICH TECHNISCHER SYSTEME UNTEREINANDER
(EN) METHOD AND DEVICE FOR COMPARING TECHNICAL SYSTEMS WITH EACH OTHER
(FR) PROCEDE ET DISPOSITIF POUR LA COMPARAISON DE SYSTEMES TECHNIQUES
Abstract: front page image
(DE)Um zwei technische Systeme, insbesondere elektrische Schaltungen, miteinander zu vergleichen, wird in Form eines hybriden Beweisers ein Rahmenwerk für mehrere Teilbeweiser geschaffen. Der hybride Beweiser steuert die Teilbeweiser an, wobei der Vergleich beendet ist, sobald ein Teilbeweiser ein Ergebnis bestimmen konnte. Mit diesem Ergebnis erfolgt eine Verifikation der technischen Systeme.
(EN)A framework for several partial provers is created in the form of a hybrid prover in order to compare two technical systems, especially electric circuits, with each other. The hybrid prover controls the partial provers. The comparison is terminated as soon as a partial prover can determine a result. Said result is used to verify the technical system.
(FR)Selon l'invention, pour permettre la comparaison de deux systèmes techniques, en particulier de circuits électriques, est créé un bâti sous forme d'un vérificateur hybride, pour plusieurs vérificateurs partiels. Le vérificateur hybride déclenche les vérificateurs partiels, la comparaison prenant fin dès qu'un vérificateur partiel a pu déterminer un résultat. Avec ce résultat s'effectue une vérification des systèmes techniques.
Designated States: JP, US.
European Patent Office (AT, BE, CH, CY, DE, DK, ES, FI, FR, GB, GR, IE, IT, LU, MC, NL, PT, SE).
Publication Language: German (DE)
Filing Language: German (DE)