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. (WO2000026824) METHOD AND ARRANGEMENT FOR COMPARING A FIRST CHARACTERISTIC WITH GIVEN CHARACTERISTICS OF A TECHNICAL SYSTEM
Latest bibliographic data on file with the International Bureau   

Pub. No.:    WO/2000/026824    International Application No.:    PCT/DE1999/003486
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 669.4 03.11.1998 DE
Title (DE) VERFAHREN UND ANORDNUNG ZUM VERGLEICH EINER ERSTEN EIGENSCHAFT MIT VORGEGEBENEN EIGENSCHAFTEN EINES TECHNISCHEN SYSTEMS
(EN) METHOD AND ARRANGEMENT FOR COMPARING A FIRST CHARACTERISTIC WITH GIVEN CHARACTERISTICS OF A TECHNICAL SYSTEM
(FR) PROCEDE ET DISPOSITIF POUR LA COMPARAISON D'UNE PREMIERE CARACTERISTIQUE AVEC DES CARACTERISTIQUES PREDETERMINEES D'UN SYSTEME TECHNIQUE
Abstract: front page image
(DE)Im Rahmen eines Model Checkings wird versucht, eine Eigenschaft an einem technischen System nachzuweisen. Dazu wird ein Vergleich durchgeführt, bei dem mehrere Vergleichsverfahren derart zu koordinieren sind, daß der Vergleich zu einem Ergebnis führt. Insbesondere ist der Vergleich beendet, sobald ein Vergleichsverfahren den Nachweis erbringt, daß die Eigenschaft in dem System vorliegt bzw. daß die dort Eigenschaft nicht enthalten ist.
(EN)The objective of the invention is to detect a characteristic in a technical system with reference to model checking. A comparison is made, involving the coordination of several comparative processes, whereby said comparison leads to a result. The comparison is terminated as soon as a comparative process proves that said characteristic is present or not in the appropriate system.
(FR)Dans le cadre d'une vérification de modèle, on essaie de détecter une caractéristique dans un système technique. A cet effet est effectuée une comparaison pendant laquelle plusieurs procédés de comparaison doivent être coordonnés pour que cette comparaison conduise à un résultat. En particulier, la comparaison est terminée dès qu'un procédé de comparaison apporte la preuve que la caractéristique recherchée est présente dans le système ou n'est pas présente dans ledit système.
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)