BR0307261A - Método e dispositivo de geração de unidades de controle lógico para aparelhos computadores vitais baseados na estação de ferrovia - Google Patents
Método e dispositivo de geração de unidades de controle lógico para aparelhos computadores vitais baseados na estação de ferroviaInfo
- Publication number
- BR0307261A BR0307261A BR0307261-4A BR0307261A BR0307261A BR 0307261 A BR0307261 A BR 0307261A BR 0307261 A BR0307261 A BR 0307261A BR 0307261 A BR0307261 A BR 0307261A
- Authority
- BR
- Brazil
- Prior art keywords
- logic
- station
- control units
- vital
- program
- Prior art date
Links
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L21/00—Station blocking between signal boxes in one yard
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B61—RAILWAYS
- B61L—GUIDING RAILWAY TRAFFIC; ENSURING THE SAFETY OF RAILWAY TRAFFIC
- B61L27/00—Central railway traffic control systems; Trackside control; Communication systems specially adapted therefor
- B61L27/30—Trackside multiple control systems, e.g. switch-over between different systems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
Landscapes
- Engineering & Computer Science (AREA)
- Mechanical Engineering (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Train Traffic Observation, Control, And Security (AREA)
- Electric Propulsion And Braking For Vehicles (AREA)
- Stored Programmes (AREA)
- Selective Calling Equipment (AREA)
Abstract
"MéTODO E DISPOSITIVO DE GERAçãO DE UNIDADES DE CONTROLE LóGICO PARA APARELHOS COMPUTADORES VITAIS BASEADOS NA ESTAçãO DE FERROVIA". Um método de geração de unidades de controle lógico para aparelhos computadores vitais baseados em ferrovias, isto é, unidades de controle de sistema de estação da ferrovia compreendendo pelo menos um computador vital, o qual baseado em um programa de controle operacional em combinação com uma unidade lógica, envia controles de chaveamento de estado para os assim chamados elementos de pátio e recebe estado de retorno e/ou sinais de diagnóstico dos referidos elementos de pátio, referidas unidades lógicas sendo geradas automaticamente por um programa, com base nas condições circundantes como definido pelo diagrama da estação e por uma tabela de estado, referida unidade lógica sendo uma rede de circuitos com componentes operacionais de acordo com funções lógicas Booleanas e apropriadamente estruturados em conformidade com o diagrama da estação e com a tabela de estado, ou referida unidade de controle lógico sendo um programa o qual inclui algoritmos compostos de funções lógicas Booleanas, os quais operam como redes de circuitos lógicos Booleanos. De acordo com a invenção, é provida uma etapa de verificação e correção de unidade lógica gerada automaticamente, na qual a etapa de verificação inclui as seguintes etapas: geração paralela de duas unidades de controle lógicos, de acordo com o mesmo diagrama da estação e a mesma tabela de estado, cada unidade sendo gerada por um programa de geração diferente; comparação entre as redes de circuitos lógicos ou os programas lógicos de simulação de rede providos por dois programas de geração diferentes para verificar diferenças estruturais entre estes.
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IT2002SV000009A ITSV20020009A1 (it) | 2002-02-22 | 2002-02-22 | Metodo per la generazione di unita' logiche di comando degli apparatidi stazione a computer vitale, cioe' nelle unita' centrali di comando |
PCT/EP2003/001595 WO2003070537A1 (en) | 2002-02-22 | 2003-02-18 | Method and device of generating logic control units for railroad station-based vital computer apparatuses |
Publications (1)
Publication Number | Publication Date |
---|---|
BR0307261A true BR0307261A (pt) | 2004-12-07 |
Family
ID=27742271
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
BR0307261-4A BR0307261A (pt) | 2002-02-22 | 2003-02-18 | Método e dispositivo de geração de unidades de controle lógico para aparelhos computadores vitais baseados na estação de ferrovia |
Country Status (12)
Country | Link |
---|---|
US (1) | US7522978B2 (pt) |
EP (1) | EP1490253B1 (pt) |
KR (2) | KR100827508B1 (pt) |
CN (1) | CN100515843C (pt) |
AT (1) | ATE399692T1 (pt) |
AU (1) | AU2003210294B2 (pt) |
BR (1) | BR0307261A (pt) |
CA (1) | CA2476400C (pt) |
DE (1) | DE60321900D1 (pt) |
ES (1) | ES2307954T3 (pt) |
IT (1) | ITSV20020009A1 (pt) |
WO (1) | WO2003070537A1 (pt) |
Families Citing this family (44)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20040172175A1 (en) * | 2003-02-27 | 2004-09-02 | Julich Paul M. | System and method for dispatching by exception |
US7937193B2 (en) * | 2003-02-27 | 2011-05-03 | General Electric Company | Method and apparatus for coordinating railway line of road and yard planners |
US20060212187A1 (en) * | 2003-02-27 | 2006-09-21 | Wills Mitchell S | Scheduler and method for managing unpredictable local trains |
US20060212188A1 (en) * | 2003-02-27 | 2006-09-21 | Joel Kickbusch | Method and apparatus for automatic selection of alternative routing through congested areas using congestion prediction metrics |
US7797087B2 (en) * | 2003-02-27 | 2010-09-14 | General Electric Company | Method and apparatus for selectively disabling train location reports |
US20060212186A1 (en) * | 2003-02-27 | 2006-09-21 | Philp Joseph W | Method and apparatus for scheduling maintenance of way |
US7725249B2 (en) * | 2003-02-27 | 2010-05-25 | General Electric Company | Method and apparatus for congestion management |
US8292172B2 (en) * | 2003-07-29 | 2012-10-23 | General Electric Company | Enhanced recordation device for rail car inspections |
US7908047B2 (en) | 2004-06-29 | 2011-03-15 | General Electric Company | Method and apparatus for run-time incorporation of domain data configuration changes |
US7813846B2 (en) | 2005-03-14 | 2010-10-12 | General Electric Company | System and method for railyard planning |
DE102005043305A1 (de) * | 2005-09-07 | 2007-03-15 | Siemens Ag | System-Architektur zur Steuerung und Überwachung von Komponenten einer Eisenbahnsicherungsanlage |
US8060263B2 (en) | 2005-12-30 | 2011-11-15 | Canadian National Railway Company | System and method for forecasting the composition of an outbound train in a switchyard |
US7596433B2 (en) | 2005-12-30 | 2009-09-29 | Canadian National Railway Company | System and method for computing rail car switching solutions in a switchyard with partially occupied classification track selection logic |
US7742848B2 (en) | 2005-12-30 | 2010-06-22 | Canadian National Railway Company | System and method for computing rail car switching solutions in a switchyard including logic to re-switch cars for block pull time |
US7751952B2 (en) | 2005-12-30 | 2010-07-06 | Canadian National Railway Company | System and method for computing rail car switching solutions in a switchyard including logic to re-switch cars for arrival rate |
US7747362B2 (en) | 2005-12-30 | 2010-06-29 | Canadian National Railway Company | System and method for computing rail car switching solutions by assessing space availability in a classification track on the basis of block pull time |
US7742849B2 (en) | 2005-12-30 | 2010-06-22 | Canadian National Railway Company | System and method for computing car switching solutions in a switchyard using car ETA as a factor |
US7657348B2 (en) | 2005-12-30 | 2010-02-02 | Canadian National Railway Company | System and method for computing rail car switching solutions using dynamic classification track allocation |
US7546185B2 (en) | 2005-12-30 | 2009-06-09 | Canadian National Railway Company | System and method for computing railcar switching solutions using an available space search logic assigning different orders of preference to classification tracks |
US7792616B2 (en) | 2005-12-30 | 2010-09-07 | Canadian National Railway Company | System and method for computing rail car switching solutions in a switchyard including logic to re-switch cars for block size |
US8055397B2 (en) | 2005-12-30 | 2011-11-08 | Canadian National Railway Company | System and method for computing rail car switching sequence in a switchyard |
US7818101B2 (en) | 2005-12-30 | 2010-10-19 | Canadian National Railway Company | System and method for computing rail car switching solutions in a switchyard using an iterative method |
US7565228B2 (en) | 2005-12-30 | 2009-07-21 | Canadian National Railway Company | System and method for computing railcar switching solutions in a switchyard using empty car substitution logic |
US7457691B2 (en) | 2005-12-30 | 2008-11-25 | Canadian National Railway Company | Method and system for computing rail car switching solutions in a switchyard based on expected switching time |
JP2007191097A (ja) * | 2006-01-20 | 2007-08-02 | Fujitsu Ten Ltd | 車両制御装置および車両制御方法 |
FR2898706B1 (fr) * | 2006-03-17 | 2008-06-13 | Alstom Transport Sa | Dispositif de commande securise a diversification d'un systeme ferroviaire |
US7797088B2 (en) | 2006-05-02 | 2010-09-14 | General Electric Company | Method and apparatus for planning linked train movements |
US20070260497A1 (en) * | 2006-05-02 | 2007-11-08 | Wolfgang Daum | Method of planning train movement using a front end cost function |
US7734383B2 (en) * | 2006-05-02 | 2010-06-08 | General Electric Company | Method and apparatus for planning the movement of trains using dynamic analysis |
US8498762B2 (en) * | 2006-05-02 | 2013-07-30 | General Electric Company | Method of planning the movement of trains using route protection |
US7680750B2 (en) | 2006-06-29 | 2010-03-16 | General Electric Company | Method of planning train movement using a three step optimization engine |
US8082071B2 (en) * | 2006-09-11 | 2011-12-20 | General Electric Company | System and method of multi-generation positive train control system |
US8433461B2 (en) | 2006-11-02 | 2013-04-30 | General Electric Company | Method of planning the movement of trains using pre-allocation of resources |
CZ2007224A3 (cs) * | 2007-03-26 | 2009-02-11 | Ažd Praha S. R. O. | Elektronický systém železnicního zabezpecovacího zarízení |
CH701344A1 (de) * | 2009-06-23 | 2010-12-31 | Anton Gunzinger | Stellwerksteuerung. |
FR2964635B1 (fr) * | 2010-09-13 | 2014-01-03 | Alstom Transport Sa | Procede et dispositif de generation et d'edition d'un schema de signalisation ferroviaire |
US8543774B2 (en) | 2011-04-05 | 2013-09-24 | Ansaldo Sts Usa, Inc. | Programmable logic apparatus employing shared memory, vital processor and non-vital communications processor, and system including the same |
WO2016099528A1 (en) * | 2014-12-19 | 2016-06-23 | Hewlett Packard Enterprise Development Lp | Multicast advertisement message for a network switch in a storage area network |
EP3258400A1 (en) * | 2016-06-14 | 2017-12-20 | ALSTOM Transport Technologies | Method and designing system for designing an interlocking control system |
CN112379611B (zh) * | 2019-10-22 | 2021-10-15 | 北京城建智控科技有限公司 | 环境监测控制设备 |
EP3831692A1 (de) * | 2019-12-06 | 2021-06-09 | Thales Management & Services Deutschland GmbH | Steuerungssystem für ein verkehrsnetz und verfahren zur vorbereitung und/oder anpassung eines solchen steuerungssystems |
CN114415622B (zh) * | 2021-12-13 | 2023-12-22 | 浙江中控技术股份有限公司 | 一种控制系统用户程序逻辑在线验证方法及系统 |
CN114237757B (zh) * | 2021-12-21 | 2024-04-30 | 卡斯柯信号有限公司 | 配置文件自动生成方法、系统、存储介质和电子设备 |
CN115158402A (zh) * | 2022-07-05 | 2022-10-11 | 河南思维自动化设备股份有限公司 | 地铁列车可编程逻辑控制系统及控制方法 |
Family Cites Families (10)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3691370A (en) * | 1971-05-07 | 1972-09-12 | Ajoy Kumar Pal | Logic track circuit |
US3976272A (en) * | 1974-11-18 | 1976-08-24 | General Signal Corporation | Control system for railroads |
JPH0827811B2 (ja) * | 1985-02-28 | 1996-03-21 | 株式会社日立製作所 | 輸送計画作成方法およびシステム |
US5053964A (en) * | 1989-07-17 | 1991-10-01 | Utdc, Inc. | On-board integrated vehicle control and communication system |
US5050823A (en) * | 1989-11-30 | 1991-09-24 | General Signal Corporation | Radio-based railway switch control system |
US5463552A (en) * | 1992-07-30 | 1995-10-31 | Aeg Transportation Systems, Inc. | Rules-based interlocking engine using virtual gates |
US5751569A (en) * | 1996-03-15 | 1998-05-12 | Safetran Systems Corporation | Geographic train control |
US6286130B1 (en) * | 1997-08-05 | 2001-09-04 | Intel Corporation | Software implemented method for automatically validating the correctness of parallel computer programs |
US6065406A (en) * | 1998-06-24 | 2000-05-23 | Katzer; Matthew A. | Model train control system |
DE19942981A1 (de) * | 1999-09-09 | 2001-03-22 | Alcatel Sa | Programmodul und Verfahren zum Erhöhen der Sicherheit eines softwaregesteuerten Systems |
-
2002
- 2002-02-22 IT IT2002SV000009A patent/ITSV20020009A1/it unknown
-
2003
- 2003-02-18 BR BR0307261-4A patent/BR0307261A/pt not_active Application Discontinuation
- 2003-02-18 KR KR1020087004200A patent/KR100827508B1/ko active IP Right Grant
- 2003-02-18 AT AT03742528T patent/ATE399692T1/de not_active IP Right Cessation
- 2003-02-18 EP EP03742528A patent/EP1490253B1/en not_active Expired - Lifetime
- 2003-02-18 CA CA2476400A patent/CA2476400C/en not_active Expired - Fee Related
- 2003-02-18 ES ES03742528T patent/ES2307954T3/es not_active Expired - Lifetime
- 2003-02-18 KR KR10-2004-7012871A patent/KR20040089643A/ko active Search and Examination
- 2003-02-18 AU AU2003210294A patent/AU2003210294B2/en not_active Ceased
- 2003-02-18 CN CNB038025973A patent/CN100515843C/zh not_active Expired - Lifetime
- 2003-02-18 WO PCT/EP2003/001595 patent/WO2003070537A1/en active IP Right Grant
- 2003-02-18 US US10/505,366 patent/US7522978B2/en active Active
- 2003-02-18 DE DE60321900T patent/DE60321900D1/de not_active Expired - Lifetime
Also Published As
Publication number | Publication date |
---|---|
AU2003210294A1 (en) | 2003-09-09 |
ITSV20020009A1 (it) | 2003-08-22 |
CA2476400A1 (en) | 2003-08-28 |
CA2476400C (en) | 2011-04-19 |
US7522978B2 (en) | 2009-04-21 |
DE60321900D1 (de) | 2008-08-14 |
EP1490253B1 (en) | 2008-07-02 |
ES2307954T3 (es) | 2008-12-01 |
ATE399692T1 (de) | 2008-07-15 |
EP1490253A1 (en) | 2004-12-29 |
CN1620382A (zh) | 2005-05-25 |
KR20080019734A (ko) | 2008-03-04 |
KR100827508B1 (ko) | 2008-05-06 |
KR20040089643A (ko) | 2004-10-21 |
WO2003070537A1 (en) | 2003-08-28 |
CN100515843C (zh) | 2009-07-22 |
AU2003210294B2 (en) | 2008-04-03 |
US20050107890A1 (en) | 2005-05-19 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BR0307261A (pt) | Método e dispositivo de geração de unidades de controle lógico para aparelhos computadores vitais baseados na estação de ferrovia | |
NO20065211L (no) | Multibaerebolgekommunikasjon | |
DE678843T1 (de) | Standby-System mit niedrigem Leistungsverbrauch für einen Monitor. | |
TW200517819A (en) | Information processing apparatus and method, and computer-readable medium | |
DE60303309D1 (de) | Snmp systemeinzelabbild eines am netzwerk angeschlossenen speichers | |
DE60303765D1 (de) | Geräteüberwachungssystem, Überwachungsprogramm, und Überwachungsverfahren und -gerät | |
ATE397824T1 (de) | Kommunikationssystem, netzwerk router und methode zur netzwerkverbindung mit addresskonversion | |
DE60335005D1 (de) | Knochenfusionssystem | |
TW200729660A (en) | Apparatus and method for reducing leakage between an input terminal and a power rail | |
SE9804607L (sv) | Förfarande och anordning för att reducera effektförbrukning | |
CN106249653B (zh) | 一种用于自适应场景切换的舞台音响模拟替换系统 | |
SE0400091D0 (sv) | Control system, method and computer program | |
DE502007001922D1 (de) | Verfahren und einrichtung zum aufbau eines kommunikationssystems auf der basis von can kommunikation | |
DK1430618T3 (da) | Fremgangsmåde til drift af et transmissionssystem og transmissionssystem i et energiforsyningsnet | |
SE9402028L (sv) | Anordning vid repeterare i radiosystem med kort räckvidd | |
MX2018007577A (es) | Sistema de acceso con funcion de sustitucion o de alternativa. | |
MY192680A (en) | Information processing device, communication system, information processing method, and program | |
FI20020774A (fi) | Menetelmä ja järjestelmä väylän varmistamiseksi sekä ohjauspalvelin | |
PE20070484A1 (es) | Arquitectura sistematica para el mando y la supervision de componentes de una instalacion de seguridad ferroviaria | |
ATE440452T1 (de) | System und verfahren zur implementierung einer dienstschaltung | |
WO2007050663A3 (en) | Method, system and apparatus for reducing oscillator frequency spiking during oscillator frequency adjustment | |
ES2176015T3 (es) | Circuito integrado de semiconductores sincronizado y procedimiento para su funcionamiento. | |
ATE403302T1 (de) | Kommunikationsnetzwerk | |
CN105474502A (zh) | 使用电流控制低损模式的ups系统和方法 | |
TW200713730A (en) | System and related control device and method for managing power according to a power status |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
B06A | Patent application procedure suspended [chapter 6.1 patent gazette] | ||
B06A | Patent application procedure suspended [chapter 6.1 patent gazette] | ||
B09B | Patent application refused [chapter 9.2 patent gazette] |
Free format text: INDEFIRO O PEDIDO DE ACORDO COM O ART. 10 DA LPI |
|
B12C | Appeal against dismissal [chapter 12.3 patent gazette] | ||
B12B | Appeal against refusal [chapter 12.2 patent gazette] | ||
B11D | Dismissal acc. art. 38, par 2 of ipl - failure to pay fee after grant in time |