GB2144246A - Proving safe operation - Google Patents
Proving safe operation Download PDFInfo
- Publication number
- GB2144246A GB2144246A GB08419023A GB8419023A GB2144246A GB 2144246 A GB2144246 A GB 2144246A GB 08419023 A GB08419023 A GB 08419023A GB 8419023 A GB8419023 A GB 8419023A GB 2144246 A GB2144246 A GB 2144246A
- Authority
- GB
- United Kingdom
- Prior art keywords
- processor
- result
- arrangement
- cycle
- during
- 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.)
- Withdrawn
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 OR CALCULATING; 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 OR CALCULATING; 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 OR CALCULATING; 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)
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 |
---|---|
GB8419023D0 GB8419023D0 (en) | 1984-08-30 |
GB2144246A true GB2144246A (en) | 1985-02-27 |
Family
ID=26286708
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
GB08419025A Expired GB2146471B (en) | 1983-07-29 | 1984-07-26 | Proving safe operation |
GB08419023A Withdrawn GB2144246A (en) | 1983-07-29 | 1984-07-26 | Proving safe operation |
Family Applications Before (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
GB08419025A Expired GB2146471B (en) | 1983-07-29 | 1984-07-26 | Proving safe operation |
Country Status (8)
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 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
GB737863A (en) * | 1949-06-22 | 1955-10-05 | Nat Res Dev | Improvements in or relating to electronic digital computing machines |
GB1419272A (en) * | 1971-12-29 | 1975-12-31 | Sharp Kk | Electrinoc desk calculator with verification function |
GB2033627A (en) * | 1977-10-28 | 1980-05-21 | Pitney Bowes Inc | A method of error checking contents of a register |
Family Cites Families (11)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US2017991A (en) * | 1934-11-29 | 1935-10-22 | Peek Frean & Company Ltd | Oven conveyer |
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 |
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 |
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 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) * | 1981-12-22 | 1987-01-03 | Westinghouse Brake & Signal |
-
1984
- 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 DE DE8484305005T patent/DE3484156D1/de not_active Expired - Fee Related
- 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 ES ES534668A patent/ES534668A0/es active Granted
- 1984-07-27 ES ES534666A patent/ES8507705A1/es not_active Expired
- 1984-07-27 DK DK367484A patent/DK367484A/da not_active Application Discontinuation
- 1984-07-27 DK DK367684A patent/DK367684A/da not_active Application Discontinuation
- 1984-07-27 AU AU31269/84A patent/AU577990B2/en not_active Ceased
-
1988
- 1988-03-28 SG SG215/88A patent/SG21588G/en unknown
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
GB737863A (en) * | 1949-06-22 | 1955-10-05 | Nat Res Dev | Improvements in or relating to electronic digital computing machines |
GB1419272A (en) * | 1971-12-29 | 1975-12-31 | Sharp Kk | Electrinoc desk calculator with verification function |
GB2033627A (en) * | 1977-10-28 | 1980-05-21 | Pitney Bowes Inc | A method of error checking contents of a register |
Also Published As
Publication number | Publication date |
---|---|
DE3484156D1 (de) | 1991-04-04 |
GB2146471B (en) | 1987-06-03 |
DK367684D0 (da) | 1984-07-27 |
AU577990B2 (en) | 1988-10-06 |
DK367684A (da) | 1985-01-30 |
ES534666A0 (es) | 1985-09-01 |
ES8507705A1 (es) | 1985-09-01 |
GB2146471A (en) | 1985-04-17 |
SG21588G (en) | 1988-07-08 |
ES8507696A1 (es) | 1985-09-01 |
EP0133005A3 (en) | 1986-10-29 |
DK367484A (da) | 1985-03-18 |
IN161526B (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) | 1987-12-19 |
EP0133004A2 (en) | 1985-02-13 |
ES534668A0 (es) | 1985-09-01 |
EP0133005A2 (en) | 1985-02-13 |
GB8419023D0 (en) | 1984-08-30 |
EP0133005B1 (en) | 1991-02-27 |
DK367484D0 (da) | 1984-07-27 |
EP0133004A3 (en) | 1987-03-04 |
AU3126984A (en) | 1985-01-31 |
GB8419025D0 (en) | 1984-08-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US3829668A (en) | Double unit control device | |
CA2163777A1 (en) | Process for obtaining a signal indicating a synchronization error between a pseudo-random signal sequence from a transmitter and a reference pseudo-random signal sequence from a receiver | |
US3538498A (en) | Majority data selecting and fault indicating | |
US4618930A (en) | Automatic train control apparatus | |
US4800507A (en) | Proving safe operation | |
EP0133004A2 (en) | Proving of the safe operation of a single channel processing arrangement | |
US4213188A (en) | Apparatus for detecting and correcting errors in arithmetic processing of data represented in the numerical system of residual classes | |
DK163753B (da) | Kredsloeb til kontrol af den korrekte start af et tokanalet fail-safe-mikrodatamatkoblevaerk, navnlig til jernbanesikringsanlaeg | |
JPH11289359A (ja) | 信号解析方法 | |
KR102325914B1 (ko) | 열차 입력 신호 신뢰성 검증 방법 및 장치 | |
JPS60105002A (ja) | 単一チヤンネル処理装置 | |
GB2154104A (en) | Test apparatus | |
JPH05324391A (ja) | 故障検出装置、故障検出方法およびバス比較器 | |
US3864523A (en) | Method for testing a multiplex transmission system | |
CA2032522C (en) | A method and arrangement for detecting and localizing errors or faults in a multi-plane unit incorporated in a digital time switch | |
SU951313A1 (ru) | Устройство дл контрол цифровых объектов | |
JPS6233813B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) | ||
CA1174367A (en) | Process and device for the prevention of the propagation of errors in a security processor | |
SU920699A2 (ru) | Шифратор | |
CA1218444A (en) | Proving safe operation system for automatic train | |
SU651351A1 (ru) | Устройство дл контрол логических блоков | |
JPH0229256B2 (GUID-C5D7CC26-194C-43D0-91A1-9AE8C70A9BFF.html) | ||
WO2022240396A1 (en) | Method of generating and monitoring a digital signature | |
JPH04365156A (ja) | データ伝送エラー検出回路 | |
JP3016280B2 (ja) | 装置内監視方式 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
WAP | Application withdrawn, taken to be withdrawn or refused ** after publication under section 16(1) |