t_monitora_w
Transition between states
From
J434FD5B1039A
To
J434FD5B40109
Transition code
// verificação de origem dos sinais e
// encaminha para seu destino correto
Kernel();
Triggers:
Signals
write
Ports
vbad_vcal
vbad_vcxp
vbad_vsel
Signals
toFlightControl
Ports
com_sup
Signals
value_power
Ports
bus_power_control