ES8507696A1 - Procedimiento y aparato para verificar el funcionamiento seguro de un circuito electronico - Google Patents

Procedimiento y aparato para verificar el funcionamiento seguro de un circuito electronico

Info

Publication number
ES8507696A1
ES8507696A1 ES534668A ES534668A ES8507696A1 ES 8507696 A1 ES8507696 A1 ES 8507696A1 ES 534668 A ES534668 A ES 534668A ES 534668 A ES534668 A ES 534668A ES 8507696 A1 ES8507696 A1 ES 8507696A1
Authority
ES
Spain
Prior art keywords
processor
safe operation
results
proving
single channel
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired
Application number
ES534668A
Other languages
English (en)
Other versions
ES534668A0 (es
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Siemens Mobility Ltd
Original Assignee
Westinghouse Brake and Signal Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from GB838320514A external-priority patent/GB8320514D0/en
Priority claimed from GB838320486A external-priority patent/GB8320486D0/en
Application filed by Westinghouse Brake and Signal Co Ltd filed Critical Westinghouse Brake and Signal Co Ltd
Publication of ES8507696A1 publication Critical patent/ES8507696A1/es
Publication of ES534668A0 publication Critical patent/ES534668A0/es
Granted legal-status Critical Current

Links

Classifications

    • BPERFORMING OPERATIONS; TRANSPORTING
    • B61RAILWAYS
    • B61LGUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
    • B61L3/00Devices along the route for controlling devices on the vehicle or train, e.g. to release brake or to operate a warning signal
    • B61L3/16Continuous control along the route
    • B61L3/22Continuous control along the route using magnetic or electrostatic induction; using electromagnetic radiation
    • B61L3/24Continuous control along the route using magnetic or electrostatic induction; using electromagnetic radiation employing different frequencies or coded pulse groups, e.g. in combination with track circuits
    • B61L3/246Continuous control along the route using magnetic or electrostatic induction; using electromagnetic radiation employing different frequencies or coded pulse groups, e.g. in combination with track circuits using coded current
    • BPERFORMING OPERATIONS; TRANSPORTING
    • B61RAILWAYS
    • B61LGUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
    • B61L1/00Devices along the route controlled by interaction with the vehicle or train
    • B61L1/18Railway track circuits
    • B61L1/181Details
    • B61L1/188Use of coded current
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/07Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0751Error or fault detection not based on redundancy
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/07Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14Error detection or correction of the data by redundancy in operation
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/07Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14Error detection or correction of the data by redundancy in operation
    • G06F11/1497Details of time redundant execution on a single processing unit

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Mechanical Engineering (AREA)
  • Electromagnetism (AREA)
  • Automation & Control Theory (AREA)
  • Train Traffic Observation, Control, And Security (AREA)
  • Hardware Redundancy (AREA)
  • Safety Devices In Control Systems (AREA)

Abstract

PROCEDIMIENTO Y APARATO PARA VERIFICAR EL FUNCIONAMIENTO SEGURO DE UN CIRCUITO ELECTRONICO.COMPRENDE: A) SUPERPONER, SOBRE UNA SEN/AL DE ENTRADA AL CIRCUITO, UNA SEN/AL DE PRUEBA O VERIFICACION DE PROPIEDADES PREDETERMINADAS; B) BUSCAR EN LA SALIDA DEL CIRCUITO UN COMPONENTE QUE TENGA DICHAS PROPIEDADES; Y C) PASAR LA SEN/AL DE SALIDA DEL CIRCUITO SOLAMENTE CUANDO Y EN TANTO QUE SE IDENTIFIQUEN LAS PROPIEDADES. CONSTA DE: ELEMENTOS DE GENERACION DE SEN/ALES PARA PRODUCIR LA SEN/AL DE PRUEBA; ELEMENTOS DE MEZCLA DE LA SEN/AL PARA SUPERPONER LA SEN/AL DE PRUEBA EN UNA SEN/AL DE ENTRADA A UN CIRCUITO ELECTRONICO; ELEMENTOS CONECTADOS A UNA SALIDA DEL CIRCUITO ELECTRONICO PARA DETECTAR LAS PROPIEDADES DE LA SEN/AL DE PRUEBA, Y TRANSFORMAR LA SEN/AL DE SALIDA DEL CIRCUITO ELECTRONICO DEL DOMINIO DEL TIEMPO AL DOMINIO DE LA FRECUENCIA; Y ELEMENTOS CAPACES DE EVALUAR UN ALGORITMO DE TRANSFORMADA DE FOURIER RAPIDA O DISCRETA.
ES534668A 1983-07-29 1984-07-27 Procedimiento y aparato para verificar el funcionamiento seguro de un circuito electronico Granted ES534668A0 (es)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
GB838320514A GB8320514D0 (en) 1983-07-29 1983-07-29 Proving safe operation
GB838320486A GB8320486D0 (en) 1983-07-29 1983-07-29 Proving safe operation

Publications (2)

Publication Number Publication Date
ES8507696A1 true ES8507696A1 (es) 1985-09-01
ES534668A0 ES534668A0 (es) 1985-09-01

Family

ID=26286708

Family Applications (2)

Application Number Title Priority Date Filing Date
ES534668A Granted ES534668A0 (es) 1983-07-29 1984-07-27 Procedimiento y aparato para verificar el funcionamiento seguro de un circuito electronico
ES534666A Expired ES8507705A1 (es) 1983-07-29 1984-07-27 Perfeccionamientos en un dispositivo de procesado de canal unico

Family Applications After (1)

Application Number Title Priority Date Filing Date
ES534666A Expired ES8507705A1 (es) 1983-07-29 1984-07-27 Perfeccionamientos en un dispositivo de procesado de canal unico

Country Status (8)

Country Link
EP (2) EP0133005B1 (es)
AU (1) AU577990B2 (es)
DE (1) DE3484156D1 (es)
DK (2) DK367484A (es)
ES (2) ES534668A0 (es)
GB (2) GB2146471B (es)
IN (1) IN161526B (es)
SG (1) SG21588G (es)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2784475B1 (fr) * 1998-10-12 2000-12-29 Centre Nat Etd Spatiales Procede de traitement d'un systeme electronique soumis a des contraintes d'erreurs transitoires
CZ2005497A3 (cs) * 2005-08-05 2006-12-13 Azd Praha S. R. O. Zpusob fázove citlivého vyhodnocení konduktivníhoproudu kolejového obvodu

Family Cites Families (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US2017991A (en) * 1934-11-29 1935-10-22 Peek Frean & Company Ltd Oven conveyer
NL91958C (es) * 1949-06-22
FR1443913A (fr) * 1965-02-05 1966-07-01 Sncf Perfectionnements à la signalisation ferroviaire par utilisation de deux fils parallèles à la voie
US3660646A (en) * 1970-09-22 1972-05-02 Ibm Checking by pseudoduplication
US3829682A (en) * 1971-01-11 1974-08-13 Erico Prod Inc Pulse coded railway signal system
DE2265231A1 (de) * 1971-12-29 1977-02-03 Sharp Kk Elektronischer tischrechner
US4107253A (en) * 1976-12-01 1978-08-15 U.S. Philips Corporation Safety and test device in a railway signalling system
DE2723570C3 (de) * 1977-05-25 1980-09-04 Licentia Patent-Verwaltungs-Gmbh, 6000 Frankfurt Signalempfänger
DE2724991B2 (de) * 1977-06-02 1979-08-09 Siemens Ag, 1000 Berlin Und 8000 Muenchen Meßverfahren und Schaltungsanordnung zur Ermittlung der Dämpfungsverzerrung und der Gruppenlaufzeitverzerrung eines Meßobjekts
GB2008030B (en) * 1977-10-28 1982-06-09 Pitney Bowes Inc Electronic postal meter system
GB2017991B (en) * 1978-03-23 1982-07-28 Westinghouse Brake & Signal Multi-channel receiver control apparatus
FR2449575A1 (fr) * 1978-12-22 1980-09-19 Signaux Entr Electriques Procede de codage de securite pour circuits de voie
GB2075311B (en) * 1980-08-26 1984-10-03 Standard Telephones Cables Ltd Supervision of transmission systems
IN158693B (es) * 1981-12-22 1987-01-03 Westinghouse Brake & Signal

Also Published As

Publication number Publication date
GB2144246A (en) 1985-02-27
ES534666A0 (es) 1985-09-01
IN161526B (es) 1987-12-19
DE3484156D1 (de) 1991-04-04
EP0133004A2 (en) 1985-02-13
DK367684A (da) 1985-01-30
DK367484D0 (da) 1984-07-27
EP0133005A2 (en) 1985-02-13
DK367484A (da) 1985-03-18
DK367684D0 (da) 1984-07-27
GB2146471B (en) 1987-06-03
AU3126984A (en) 1985-01-31
ES8507705A1 (es) 1985-09-01
SG21588G (en) 1988-07-08
GB8419025D0 (en) 1984-08-30
EP0133005A3 (en) 1986-10-29
GB8419023D0 (en) 1984-08-30
EP0133004A3 (en) 1987-03-04
ES534668A0 (es) 1985-09-01
EP0133005B1 (en) 1991-02-27
AU577990B2 (en) 1988-10-06
GB2146471A (en) 1985-04-17

Similar Documents

Publication Publication Date Title
ES442432A1 (es) Un metodo de determinar un defecto de funcionamiento en un aparato electrico que tiene un cierto numero de operaciones individuales.
ES8507696A1 (es) Procedimiento y aparato para verificar el funcionamiento seguro de un circuito electronico
ES8502560A1 (es) Mejoras introducidas en un control de maquina por procesadores multiples
JPS561642A (en) Transmission error generating device
JPS54947A (en) Failure detection system for digital output circuit
JPS5419604A (en) Data delivery unit
JPS5392641A (en) Trouble recorvery processing system of computing control unit
JPS543444A (en) Error detection system
JPS5421146A (en) Failure detector
JPS53132391A (en) Torsional oscillator measuring method of revolving shaft systems
JPS53140909A (en) Fault processing unit for decentralized control electronic exchanging syste m
JPS5435626A (en) Keyboard encoder
JPS5395544A (en) Information processor
JPS53101194A (en) Discharge processing apparatus
BACK Correctness of explicitly specified procedures(computer programming; program integrity)
JPS5361944A (en) Debug system
JPS5418250A (en) Fault detector controlled by computer
JPS6467637A (en) Pseudo fault generating circuit
JPS57117003A (en) Measuring method of timing pulse
JPS5361942A (en) Diagnosis system for processor
JPS53121439A (en) Interrupt processor
JPS53121442A (en) Computer control unit
JPS538534A (en) Checking system for coincidence detection circuit
JPS5378744A (en) Arithmetic system for complex number
JPS5624827A (en) Operation check system for counter group