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

Recherche dans les collections de brevets nationales et internationales
World Intellectual Property Organization
Recherche
 
Options de navigation
 
Traduction
 
Options
 
Quoi de neuf
 
Connexion
 
Aide
 
Traduction automatique
1. (WO1998040796) PROCEDE D'ANALYSE ASSISTEE PAR ORDINATEUR DE DEFAILLANCES DE CAPTEURS ET/OU D'ACTIONNEURS DANS UN SYSTEME TECHNIQUE
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication :    WO/1998/040796    N° de la demande internationale :    PCT/DE1998/000633
Date de publication : 17.09.1998 Date de dépôt international : 03.03.1998
Demande présentée en vertu du Chapitre 2 :    26.08.1998    
CIB :
G05B 19/042 (2006.01)
Déposants : SIEMENS AKTIENGESELLSCHAFT [DE/DE]; Wittelsbacherplatz 2, D-80333 München (DE) (Tous Sauf US).
LIGGESMEYER, Peter [DE/DE]; (DE) (US Seulement)
Inventeurs : LIGGESMEYER, Peter; (DE)
Données relatives à la priorité :
197 09 956.4 11.03.1997 DE
Titre (DE) VERFAHREN ZUR RECHNERGESTÜTZTEN FEHLERANALYSE VON SENSOREN UND/ODER AKTOREN IN EINEM TECHNISCHEN SYSTEM
(EN) METHOD FOR COMPUTER-ASSISTED ERROR CHECKING OF SENSORS AND/OR ACTORS IN TECHNICAL SYSTEMS
(FR) PROCEDE D'ANALYSE ASSISTEE PAR ORDINATEUR DE DEFAILLANCES DE CAPTEURS ET/OU D'ACTIONNEURS DANS UN SYSTEME TECHNIQUE
Abrégé : front page image
(DE)Es wird ein Verfahren vorgeschlagen, bei dem für einen Fehler eines Sensors und/oder eines Aktors eine zustandsendliche Beschreibung des technischen Systems für den Fehlerfall und eine zustandsendliche Beschreibung des technischen Systems für den fehlerfreien Fall ermittelt wird. Für beide Beschreibungen werden jeweils die erreichbaren Zustände vorzugsweise mittels Model Checking ermittelt. Es wird eine Differenzmenge von Zuständen der beiden Beschreibungen gebildet, für deren Zustände überprüft wird, ob diese Zustände vorgebbaren Bedingungen genügen (z.B. Sicherheitsbedingungen).
(EN)Disclosed is a method wherein a state description of the technical system for an error occurrence and a state description of the technical system for error-free operation is determined in order to detect sensor and/or actor errors. The attainable states for both descriptions are preferably determined by model checking. A varying number of states of both descriptions is formed, said states being checked as to whether they comply with predeterminable conditions (e.g. safety requirements).
(FR)L'invention concerne un procédé selon lequel, pour une défaillance d'un capteur et/ou d'un actionneur, sont établies une description par états finis du système technique, correspondant au cas de défaillance, et une description par états finis du système technique, correspondant au cas sans défaillance. Pour ces deux descriptions, les états pouvant être atteints sont déterminés de préférence par contrôle de modèle. Une quantité différentielle d'états des deux descriptions est formée, les états correspondants à cette quantité étant soumis à un examen permettant de déterminer s'ils satisfont à des conditions prédéfinissables (par exemple des conditions de sécurité).
États désignés : US.
Office européen des brevets (OEB) (AT, BE, CH, DE, DK, ES, FI, FR, GB, GR, IE, IT, LU, MC, NL, PT, SE).
Langue de publication : allemand (DE)
Langue de dépôt : allemand (DE)