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 electronicoInfo
- 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
Links
- 125000004122 cyclic group Chemical group 0.000 abstract 1
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)
- 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.
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)
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)
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 |
-
1984
- 1984-07-24 DE DE8484305005T patent/DE3484156D1/de not_active Expired - Fee Related
- 1984-07-24 IN IN599/DEL/84A patent/IN161526B/en unknown
- 1984-07-24 EP EP84305005A patent/EP0133005B1/en not_active Expired - Lifetime
- 1984-07-24 EP EP84305004A patent/EP0133004A3/en not_active Withdrawn
- 1984-07-26 GB GB08419025A patent/GB2146471B/en not_active Expired
- 1984-07-26 GB GB08419023A patent/GB2144246A/en not_active Withdrawn
- 1984-07-27 DK DK367484A patent/DK367484A/da not_active Application Discontinuation
- 1984-07-27 ES ES534668A patent/ES534668A0/es active Granted
- 1984-07-27 ES ES534666A patent/ES8507705A1/es not_active Expired
- 1984-07-27 AU AU31269/84A patent/AU577990B2/en not_active Ceased
- 1984-07-27 DK DK367684A patent/DK367684A/da not_active Application Discontinuation
-
1988
- 1988-03-28 SG SG215/88A patent/SG21588G/en unknown
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 |