1 / 10
ANEXO 2 – Booleanas detalhadas
Equações Booleanas Vitais
Para essas equações, consideram-se apenas os requisitos de segurança.
Variável
AS (Approach Stick)
AUXBL (Auxiliar de
Bloqueio)
CO (Call On)
Code Velocity – Seleção
de Códigos de Velocidade
EFS (East traffic Stick)
ENP (Entrance Prohibit)
ES (East Stick)
EV (East Velocity)
EXP (Exit Prohibit)
FSE (East Traffic Stick)
FSW (West Traffic Stick)
G (Gate)
GCO (Gate Call On)
GVS (Gate Violation Stick)
H (Home)
ID (Interdição de Trecho)
J (Ocupação Seqüencial)
LS (Lock Stick)
NW (Normal Switch)
NWC (Normal Switch
Correspondence)
POS (Power Off Supply)
RG (Red Gate)
RW (Reverse Switch)
Função Estado ATIVO
Estabelecer e garantir o travamento do sinal de entrada 0
de uma rota em alinhamento.
Equação auxiliar de abertura de bloqueio (sinal) entre 1
trechos de vias.
Efetuar a aprovação preliminar de uma rota e ativar o 1
temporizador para liberação da rota em alinhamento por
chamada.
Determinar e selecionar o código de velocidade a ser
transmitido em um CDV.
Controlar o travamento do tráfego no sentido Leste de 1
trens em CDV’s adjacentes a duas locações.
Proibir um sinal como entrada para uma rota através de 0
comando enviado pelo SEE, SSO, CCO.
Controlar o travamento do tráfego no sentido Leste de 0
trens em CDV’s internos à locação.
Habilitar e reter a transmissão de código no sentido 1
Leste do CDV’s das locações.
Proibir um sinal como saída para uma rota através de 0
comando enviado pelo SSE, SSO, CCO.
Direcionar a transmissão de código de velocidade no 1
sentido Leste da via.
Direcionar a transmissão de código de velocidade no 1
sentido Oeste da via.
Comandar a abertura de sinal em rota normal. 1
Efetivar a liberação da rota em alinhamento por 1
chamada.
Controlar e ativar a violação de sinal sobre um sinal 0
fechado com MCH em posição discordante ao
movimento do trem.
Controlar e supervisionar a liberação de tráfego de trens indefinida
na região de zonas H&S. Com exceção da Zona H
interna à locação. Zonas H&S são trechos de via fora
das locações onde é possível o tráfego simultâneo de
mais de um trem no mesmo sentido.
Proibir todas as rotas que utilizem os CDVs de trechos 0
interditados.
Verificar e validar a ocorrência de uma ocupação 1
seqüencial em dois circuitos de uma rota.
Estabelecer o travamento elétrico de uma máquina de 0
chave.
Controlar o acionamento (no campo) de uma MCH para 1
a posição normal.
Determinar a correspondência entre a retenção de 1
comando normal de uma máquina de chave e sua
respectiva indicação do campo.
Efetuar a supervisão de falhas na fonte de alimentação 0
dos circuitos de via a fim de proteger uma locação
contra o cancelamento imediato de rotas nessa
condição.
Comandar o acionamento do foco vermelho do sinal 1
Controlar o acionamento (no campo) de uma MCH para 1
a posição reversa.
Zopazo
 2 / 10

RWC (Reverse Switch Determinar a correspondência entre a retenção de 1

Correspondence)
S(Stick)
SRP (Speed Restriction
rePeater)
TES (Time Element Stick)
TP2 (Track Repeater)
TPI (Track Repeater)
TPON (Track Repeater ON)
WFS (West Traffic Stick)
WI (Switch Interdiction)
WN (Switch Normal)
WR (Switch Reverse)
WS (West Stick)
WV (West Velocity)
XXXYYY-ZTP (Ocupação
entre Sinais)
comando reverso de uma máquina de chave e sua
respectiva indicação do campo.
Possibilitar a retenção de sentido de tráfego na região 1
de zonas H&S
Restringir a velocidade máxima aos trens em 0 (VR) ou 0
50 km/h (VL) num trecho entre duas estações através
de comando enviado pelo SEE ou SSO ou CCO.
Ativar o temporizador para cancelamento de uma rota 1
alinhada.
Repetir indicação de ocupação associada com 0
ocupação simulada.
Garantir que um CDV de um domínio desocupe se e 0
somente se o primeiro CDV do domínio adjacente esteja
ocupado.
Evitar a possibilidade de destravamento de uma rota 0
devido a queda dos disjuntores, devido ao circuitos da
via 1 serem alimentados por um disjuntor diferente dos
circuitos da via 2.
Controlar o travamento do tráfego no sentido Oeste de 1
trens em CDV’s adjacentes a duas locações.
Proibir a movimentação de uma máquina de chave em 0
uma locação.
Habilitar a contagem de tempo para a movimentação de 1
uma MCH e a retenção de comando de uma MCH para
a posição normal.
Habilitar a contagem de tempo para a movimentação de 1
uma MCH e a retenção de comando de uma MCH para
a posição reversa.
Controlar o travamento do tráfego no sentido Oeste de 0
trens em CDV’s internos às locações.
Habilitar e reter a transmissão de código no sentido 1
Oeste do CDV’s das locações.
Verificar a ocupação de CDVs entre os sinais de um 1
trecho de vias.

Zopazo
 3 / 10

Equações Booleanas Não Vitais

Para essas equações, consideram-se apenas os requisitos funcionais.

Variável Função Estado ATIVO

AP (Approach) Detectar um trem em aproximação (de um sinal) a fim de 1
requisitar o alinhamento automático da rota.
AUX (Auxiliar) Auxiliar a verificação de rotas conflitantes durante a requisição de 1
uma rota por origem e destino.
COS (Call On Registrar uma requisição de rota por chamada. 1
Stick)

HSK (Home & Indicar sentido de tráfego estabelecido em CDV com Zona H. 0
Stick)

NLP (Normal Controlar e armazenar um comando ou requisição automática de 1

Lever Repeater) máquina de chave para a posição normal.

NWK (Normal Indicar a posição normal de uma máquina de chave, inclusive 1

Switch) durante a movimentação para a posição contrária.

PBS (Push Aprovar e armazenar um comando ou requisição automática de 1

Bottom Stick) rota.

PBSK (Push Indicar que um sinal está em requisição. 1

Bottom Stick
Indication)

PE (Traçado Manter uma rota alinhada após a passagem de um trem. 1

Permanente)

PPSP (Comando Repetidor do comando de Proibição de Passagem Simultânea. 0

PPS)

PPT (Painel do Informar no painel o sentido do próximo trem (Brás ou 1

Próximo Trem) Estudantes) nos ciclos automáticos.

PPTTES (PPT Acionar o temporizador do Painel do Próximo Trem quando 1

Time Element alguma TM for ativada (início da operação).
Stick)

RGK (Red Gate Fornecer a indicação de cancelamento de um sinal (de entrada) 1

Indication) de uma rota alinhada.

RLP (Reverse Controlar e armazenar um comando ou requisição automática de 1

Lever Repeater) máquina de chave para a posição reversa.

RR (Route Executar a verificação (preliminar) de uma rota em alinhamento. 1

Request) Ativar o temporizador para cancelamento do pedido de requisição
RTES (Route Time de uma rota (tempo de arrependimento).
Element Stick)

RWK (Reverse Indicar a posição reversa de uma máquina de chave, inclusive 1

Switch) durante a movimentação para a posição contrária.

Strips Indicar o estado dos strips da locação em âmbar e verde. 1

TBNOTS (Train Função Trem-Não-Retorna. 1
Not Turn Back
Stick)

Zopazo
 4 / 10

TM-DISPS Informar que o trem pode deixar a TM. 1

(Despacho
Terminal
Maneuver)
TM-PRONTO Indicar que o trem está alinhado na TM ativa. 1
(Terminal
Maneuver Pronto)

TNOT (Train Not Rastreamento da função Trem-Não-Retorna. 1

Turn Back)

TU (Train Turn Rastreamento do Trem-Retorna. 1

Back)

TREM-TM ( Trem Indicar que um trem está a caminho da TM ativa. 1

para Terminal
Maneuver)

WC (Diagnóstico Finalidade: Indicar a falta de correspondência de MCH 0

de
correspondência
de MCH)

WCTES Finalidade: Auxiliar na temporização de falta de correspondência 0

(Temporizador de de MCH
falta de
correspondência
de MCH)

ZP (Zone Inverter o sentido de tráfego em um trecho entre duas locações. 0

Repeater)

ZPE (East Zone Equação auxiliar de inversão de sentido de tráfego em um trecho 1

Repeater) entre duas locações para o sentido Leste.

ZPW (West Zone Equação auxiliar de inversão de sentido de tráfego em um trecho 1

Repeater) entre duas locações para o sentido Oeste.

Zopazo
 5 / 10

Variáveis Determinadas por RLO

São as variáveis resultantes dos módulos de tratamento de comandos, entradas vitais, sinais de interface
e módulos temporizadores do Software Aplicativo do CMT.
A forma de determinação dessas variáveis segue uma estrutura de codificação em linguagem C. Aqui
será descrito de forma sucinta a função e a lógica para controlar cada variável.
RLO = Rotina de Lógica Operacional – gerencia as operações das rotas.

Variável Função Estado ATIVO

AUTO Variável indicativa de locação em modo de controle Automático. É 1
utilizada, pelo CMT, para requisição automática de rotas. É ativada na
iniciação assim permanece até que a locação associada seja requisitada
para os modos de controle Local ou Central. Retorna ao estado ativo
somente através dos comandos Desativa Local ou Desativa Central ou,
quando houver queda das IHMs.
AUTOM Variável indicativa de máquina de chave em modo de controle 1
automático. É utilizada na equação booleana para permitir requisição
automática de uma máquina de chave durante a requisição de uma rota.
É ativada na iniciação ou por um comando de chave em modo AUTO. É
desativada sempre que a máquina de chave associada receber um
comando direto para as posições Normal ou Reverso.
COTE Variável de controle de tempo de alinhamento de rota de chamada. É 1
utilizada na equação booleana de aprovação de rota em chamada (GCO).
É ativada após o tempo de 90s contado a partir da ativação da variável
booleana (CO) correspondente, e desativada com a desativação desta.
CEN Variável indicativa de locação em modo de controle Central. É ativada 1
através de um comando de modo de controle Central, que ao mesmo
tempo desativa a variável do modo de controle anterior (Local ou Auto). É
utilizada para consistência de comandos e indicação nas IHMs.
CPB Variável de comando de cancelamento de rota. Está associada a cada 1
sinal e seu estado normal é desativada. É ativada através de um
comando de cancelamento de rota e mantida assim por um período de 1
segundos, quando então, retorna ao estado desativada.
CPE Variável de comando de cancelamento de traçado permanente. Está 1
associada a cada rota e seu estado normal é desativada. É ativada
através de um comando de cancelamento de rota e mantida assim por
um período de 1 segundos, quando então, retorna ao estado desativada.
ENP- Variável indicativa de sinal com proibição de entrada. Está associada a 0
SEE/ENP- cada sinal e a sala que emitiu o comando. Seu estado normal é ativada. É
SSO/ENP- desativada através de um comando de proibição de entrada, e reativada
CCO somente após um comando de remove proibição de entrada. O comando
remove somente deve ser aceito pela sala que originou a proibição ou, no
caso desta estar desativa, pela sala que estiver ativa.
EXP- Variável indicativa de sinal com proibição de saída. Está associada a 0
SEE/EXP- cada sinal e a sala que emitiu o comando. Seu estado normal é ativada. É
SSO/EXP- desativada através de um comando de proibição de saída, e reativada
CCO somente após um comando de remove proibição de saída. O comando
remove somente deve ser aceito pela sala que originou a proibição ou, no
caso desta estar desativa, pela sala que estiver ativa.
FLASHER Variável de estado intermitente. Utilizada pela equação booleana para 1/0
acionamento do foco vermelho piscante dos sinais.
FSP Variável de correspondência de comutação de sinal (60 Hz) de via. É 1
controlada pelo módulo de leitura de entradas vitais. Quando ativada,
indica que o circuito de via correspondente está com o sinal de via
transmitido para o sentido reverso.

Zopazo
 6 / 10

GCOV Variável de habilitação de rota de chamada votada. É utilizada na 1

equação booleana de acionamento do foco vermelho (RG). É ativada pelo
módulo de controle de variáveis de interface utilizando-se a seguinte
lógica:
GCOV = GCO_CPC * (GCO_CPA + GCO_CPB) + (GCO_CPA *
GCO_CPB)
A variável GCO_CPC corresponde à variável booleana GCO da gaveta
micro onde ocorre a votação. As variáveis GCO_CPA e GCO_CPB
correspondem às variáveis booleanas GCO obtidas das gavetas micro A
e B respectivamente.
ID-SEE/ Variável indicativa de trecho interditado. Está associada a cada trecho e a 0
ID-SSO/ sala que emitiu o comando. Seu estado normal é ativada. É desativada
ID-CCO através de um comando de interdição de trecho. O comando Remove
Interdição de Detectora ou Trecho somente deve ser aceito pela sala que
originou a proibição ou, no caso desta estar desativada, pela sala que
estiver ativa.
IPE Variável de comando de imposição de traçado permanente. Está 1
associada a cada rota e seu estado normal é desativada. É ativada
através de um comando de imposição de rota e mantida assim por um
período de 1 segundo, quando então, retorna ao estado desativada.
LOC Variável indicativa de locação em modo de controle Local. É ativada 1
através de um comando de modo de controle Local que,
simultaneamente, desativa a variável do modo de controle anterior
(Central ou Auto). É utilizada para consistência de comandos e indicação
nas IHMs
LSP Variável de confirmação (do campo) do travamento elétrico de máquina 1
de chave. É controlada pelo módulo de leitura de entradas vitais. Quando
ativada indica que a MCH correspondente está travada. Utilizada pela
equação booleana para cálculo de abertura de bloqueio.
N Variável de comando de máquina de chave em comando direto para a 1
posição Normal. É ativada por um comando direto de chave em Normal.
É desativada sempre que a máquina de chave associada receber um
comando direto para as posições Auto ou Reversa.
NWCK Variável de correspondência (do campo) de máquina de chave na 1
posição Normal.
É controlada pelo módulo de leitura de entradas vitais. Quando ativada
indica que a MCH correspondente está posicionada em Normal. Utilizada
pela equação booleana para cálculo de correspondência de chave
Normal.
NWTE Variável de controle de tempo para manter a indicação de posição 1
reversa de uma máquina de chave, durante o comando de movimentação
para normal mais 2 segundos. É ativada imediatamente a partir da
ativação da variável (NW) e desativada após o tempo de 2 segundos,
contado a partir da desativação da mesma variável (NW).
POS-1, Variáveis indicativas de fonte de alimentação dos circuitos de via com 0
POS-2 falha. São controladas pelo módulo de leitura de entradas vitais. Quando
desativadas, simultaneamente, indicam que fonte de alimentação dos
circuitos de via está com algum tipo de falha.
PPS Variável de comando de proibição de passagem simultânea em trechos
entre duas estações. Este comando deve estar associado a cada sinal de
plataforma no sentido normal das vias, sendo comandado pelo SEE. Seu
estado normal é ativada. É desativada através de um comando de
proibição de passagem simultânea, e reativada somente após um
comando de retira proibição de passagem simultânea. O comando retira
somente deve ser aceito pelo PCL do SEE ou, no caso desta estar
desativa, pela sala que estiver ativa.
PPTTE Variável de controle de tempo de ativação do Painel do Próximo Trem. É 1
ativada após o tempo de 30 segundos, contado a partir da ativação da
variável booleana (PPTTES) correspondente, e desativada com a
desativação da mesma. Esta variável não permite que ocorra uma
indicação incorreta no Painel do Próximo Trem quando alguma TM é ativa
para um dos loops no início da operação.

Zopazo
 7 / 10

R Variável de comando de máquina de chave em comando direto para a 1

posição Reversa. É ativada por um comando direto de chave em
Reverso. É desativada sempre que a máquina de chave associada
receber um comando direto para as posições Auto ou Normal.
RCO Variável de comando de rota em chamada. Está associada a cada rota e 1
seu estado normal é desativada. É ativada através de um comando de
rota em Chamada e mantida assim por um período de 1 segundo, quando
então, retorna ao estado desativada.
RPB Variável de comando de rota. Está associada a qualquer rota e seu 1
estado normal é desativada. É ativada através de um comando de
requisição de rota. Após ativada é mantida assim por um período de 1
segundo, quando então, retorna ao estado desativada.

RPE Variável de comando de rota em Traçado Permanente. Está associada a 1

cada rota PE e seu estado normal é desativada. É ativada através de um
comando de requisição de rota por traçado permanente e mantida assim
por 1 segundo.
RTE Variável de controle de tempo de arrependimento de rota. É ativada após 1
o tempo de 5 segundos, contado a partir da ativação da variável booleana
(RTES) correspondente, e desativada com a desativação da mesma.
RWCK Variável de correspondência (do campo) de máquina de chave na 1
posição Reversa.
É controlada pelo módulo de leitura de entradas vitais. Quando ativada
indica que a máquina de chave correspondente está posicionada em
Reverso. Utilizada pela equação booleana para cálculo de
correspondência de chave em reverso.
RWTE Variável de controle de tempo para manter a indicação de posição normal 1
de uma máquina de chave, durante o comando de movimentação para
reverso mais 2 segundos. É ativada imediatamente a partir da ativação da
variável (RW) e desativada após o tempo de 2 segundos, contado a partir
da desativação da mesma variável (RW).
SRPVR/SR Variável indicativa de restrição de velocidade (VR=0km/h, VL=50km/h). 0
PVL Está associada a cada segmento de via entre estações, para cada via, e
a sala que emitiu o comando. Seu estado normal é ativada. É desativada
através de um comando de restrição de velocidade, e reativada somente
após um comando de remove restrição de velocidade. O comando
remove somente deve ser aceito pela sala que originou a restrição, ou no
caso desta estar desativa, pela sala que estiver ativa.
STATUS Variável de estado de operação normal do software, onde todas as 1
REGIME funções do Software Aplicativo e Equações Booleanas estão disponíveis
e todos os comandos recebidos das IHMs podem ser aceitos.
T Variável indicativa de circuito de via ocupado. É controlada pelo módulo 0
de leitura de entradas vitais. Quando desativada indica que o circuito de
via correspondente está ocupado.
TA, TB Variável indicativa de circuito de B´point ocupado. É controlada pelo 0
módulo de leitura de entradas vitais. Quando desativada indica que o
circuito de B´point correspondente está ocupado.
TE Variável de controle de tempo de cancelamento de rota. É utilizada na 1
equação booleana de travamento por aproximação (AS). É ativada após o
tempo de 90s contado a partir da ativação da variável booleana (TES)
correspondente, e desativada com a desativação desta.
TM-AUTO Variável indicativa TM em modo de despacho Automático. É utilizada, 1
pelo CMT, para requisição automática de rota de despacho na TM
associada. É ativada na iniciação assim permanece até que a TM
associada seja requisitada para os modos de controle Local ou Central.
Retorna ao estado ativo somente através dos comandos Desativa Local
ou Desativa Central ou, quando houver queda das IHMs.
TM-CDISP Variável de comando de cancelamento de despacho em zona terminal. É 1
ativada através de um comando de cancelamento de despacho, central
ou local, e processada pela equação booleana, desde que a respectiva
zona terminal não esteja no modo de controle automático. É mantida
ativada por 1 segundo quando então, retorna ao estado desativada. É
utilizada para indicação nas IHMs.

Zopazo
 8 / 10

TM-CCO Variável indicativa TM em modo de despacho Central. É ativada através 1

de um comando de modo de controle de despacho Central, que ao
mesmo tempo desativa a variável do modo de controle anterior (Local ou
Auto). É utilizada para consistência de comandos e indicação nas IHMs.
TM-DISPV Variável de habilitação de despacho. É utilizada na equação booleana de 1
habilitação de despacho (DISPS). É ativada pelo módulo de controle de
variáveis de interface utilizando-se a seguinte lógica:
DISPSV = DISPS_CPC * (DISPS_CPA + DISPS_CPB) + (DISPS_CPA *
DISPS_CPB);
A variável DISPS_CPC corresponde à variável booleana DISPS da
gaveta micro C, onde ocorre a votação. As variáveis DISPS_CPA e
DISPS_CPB correspondem às variáveis booleanas DISPS obtidas das
gavetas micro A e B, respectivamente.
TM-LOC Variável indicativa TM em modo de despacho Local. É ativada através de 1
um comando de modo de controle de despacho Local, desde que o modo
de controle anterior esteja em Auto. É utilizada para consistência de
comandos e indicação nas IHMs.
TM-ON Variável indicativa de TM ativa. É ativada através de um comando Ativa 1
TM. É utilizada para controlar alinhamento de rotas na TM e indicação
nas IHMs. É desativada através de um comando Desativa TM.
TM-RDISP Variável de comando de requisição despacho em zona terminal. É ativada 1
através de um comando de despacho, central ou local, e processada pela
equação booleana, desde que a respectiva zona terminal não esteja no
modo de controle automático. É mantida ativada por 1 segundo quando
então, retorna ao estado desativada. É utilizada para indicação nas IHMs.
TOCC Variável indicativa de circuito de via com ocupação simulada. Está 0
associada a cada circuito de via e seu estado normal é ativada. É
desativada através de um comando Ocupação Simulada e reativada
somente após um comando de Remove Ocupação Simulada.
TP Variável indicativa de circuito de via ocupado. É controlada pelo módulo 0
de temporização de variáveis vitais. É desativada imediatamente depois
da variável T correspondente ser desativada. É ativada 2s depois da
variável T correspondente ser ativada.
TP3 Variável indicativa de circuito de via ocupado. É controlada pelo módulo 0
de temporização de variáveis vitais. É desativada 2s depois da variável
TP2 correspondente ser desativada. É ativada imediatamente depois da
variável TP2 correspondente ser ativada.
TP4 Variável indicativa de circuito de via ocupado. É controlada pelo módulo 0
de temporização de variáveis vitais. É desativada 2 segundos depois da
variável TP correspondente ser desativada. É ativada imediatamente
depois da variável TP correspondente ser ativada.
TTE Temporizador de circuito de via desocupado. É ativada 10 segundos 1
depois da variável TP2 correspondente ser ativada.
WCTE Variável temporizada de falta de correspondência da MCH. É ativada a 0
partir da ativação da variável WCTES desativada em 10 segundos.
WI-SEE/ Variável indicativa de máquina de chave interditada. Está associada a 0
WI- cada máquina de chave e a sala que emitiu o comando. Seu estado
SSO/WI- normal é ativada. É desativada através de um comando de interdição de
CCO chave. O comando Remove Interdição de Máquina de Chave somente
deve ser aceito pela sala que originou a proibição ou, no caso desta estar
desativada, pela sala que estiver ativa.
WNTE Variável de controle de tempo de movimentação de máquina de chave 1
para a posição normal. É utilizada nas equações booleanas de
acionamento de MCH (NW). É ativada após o tempo de 7s contado a
partir da ativação da variável booleana (WN) correspondente, e
desativada com a desativação desta.
WRTE Variável de controle de tempo de movimentação de máquina de chave 1
para a posição reversa. É utilizada nas equações booleanas de
acionamento de MCH (RW). É ativada após o tempo de 7s contado a
partir da ativação da variável booleana (WR) correspondente, e
desativada com a desativação desta.

Zopazo
 9 / 10

XXX- Variável indicativa de trem não retorna. É ativada através de um comando 1

TBNOT Ativa Trem Não Retorna e permanece nesse estado até ser desativada
através de um comando Desativa Trem Não Retorna.
ZK Variável de comando de inversão de sentido de tráfego de domínio 1
adjacente. Está associada ao tráfego e seu estado normal é desativada.
É ativada através de um comando de inversão de tráfego e mantida
assim por um período de 3 segundos, quando então, retorna ao estado
desativada.
ZS Variável de comando de inversão de sentido de tráfego. Está associada 1
ao tráfego e seu estado normal é desativada. É ativada através de um
comando de inversão de tráfego e mantida assim por um período de 3
segundos, quando então, retorna ao estado desativada.

Zopazo
 10 / 10

Indicações Enviadas para a IHM

Zopazo