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 GB838320486A external-priority patent/GB8320486D0/en
Priority claimed from GB838320514A external-priority patent/GB8320514D0/en
Application filed by Westinghouse Brake and Signal Co Ltd filed Critical Westinghouse Brake and Signal Co Ltd
Publication of ES534668A0 publication Critical patent/ES534668A0/es
Publication of ES8507696A1 publication Critical patent/ES8507696A1/es
Expired legal-status Critical Current

Links

Classifications

    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B61—RAILWAYS
    • B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
    • B61L3/00—Devices along the route for controlling devices on the vehicle or train, e.g. to release brake or to operate a warning signal
    • B61L3/16—Continuous control along the route
    • B61L3/22—Continuous control along the route using magnetic or electrostatic induction; using electromagnetic radiation
    • B61L3/24—Continuous 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/246—Continuous 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
    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B61—RAILWAYS
    • B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
    • B61L1/00—Devices along the route controlled by interaction with the vehicle or train
    • B61L1/18—Railway track circuits
    • B61L1/181—Details
    • B61L1/188—Use of coded current
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error 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/0751—Error or fault detection not based on redundancy
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/14—Error detection or correction of the data by redundancy in operation
    • G06F11/1497—Details 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)
  • Automation & Control Theory (AREA)
  • Electromagnetism (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 Expired ES8507696A1 (es)

Applications Claiming Priority (2)

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

Publications (2)

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

Family

ID=26286708

Family Applications (2)

Application Number Title Priority Date Filing Date
ES534668A Expired ES8507696A1 (es) 1983-07-29 1984-07-27 Procedimiento y aparato para verificar el funcionamiento seguro de un circuito electronico
ES534666A Granted ES534666A0 (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 Granted ES534666A0 (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) DK367684A (es)
ES (2) ES8507696A1 (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
DE2264184C3 (de) * 1971-12-29 1978-04-06 Sharp K.K., Osaka (Japan) Elektrischer 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
GB2066735B (en) * 1977-10-28 1983-07-13 Pitney Bowes Inc Electronic postal meter
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
EP0133005A2 (en) 1985-02-13
ES534668A0 (es) 1985-09-01
EP0133005A3 (en) 1986-10-29
AU3126984A (en) 1985-01-31
EP0133004A3 (en) 1987-03-04
DK367484D0 (da) 1984-07-27
SG21588G (en) 1988-07-08
GB2144246A (en) 1985-02-27
EP0133004A2 (en) 1985-02-13
ES8507705A1 (es) 1985-09-01
GB2146471A (en) 1985-04-17
ES534666A0 (es) 1985-09-01
DK367684A (da) 1985-01-30
GB8419025D0 (en) 1984-08-30
GB8419023D0 (en) 1984-08-30
DK367684D0 (da) 1984-07-27
DE3484156D1 (de) 1991-04-04
IN161526B (es) 1987-12-19
EP0133005B1 (en) 1991-02-27
AU577990B2 (en) 1988-10-06
DK367484A (da) 1985-03-18
GB2146471B (en) 1987-06-03

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.
ES8507705A1 (es) Perfeccionamientos en un dispositivo de procesado de canal unico
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
JPS54154059A (en) Method of and device for identifying malfunction of rotary machine
JPS5392641A (en) Trouble recorvery processing system of computing control unit
JPS543444A (en) Error detection system
JPS5421146A (en) Failure detector
JPS5435626A (en) Keyboard encoder
JPS5271147A (en) Common panel control system for data processing unit
BACK Correctness of explicitly specified procedures(computer programming; program integrity)
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
JPS5284939A (en) Multi-processor method
JPS5378744A (en) Arithmetic system for complex number
JPS5624827A (en) Operation check system for counter group
JPS52100948A (en) Processor malfunction detection system
JPS5242030A (en) Computer system having auxiliary memory unit
JPS5324245A (en) Fault detection syst em for process output unit