From 3d58a62727346b7ac1a6cb36fed1a06ed72228dd Mon Sep 17 00:00:00 2001 From: save Date: Mon, 7 Apr 2008 14:17:42 +0000 Subject: Moved the complete svn base into the cesar directory. git-svn-id: svn+ssh://pessac/svn/cesar/trunk@1769 017c9cb6-072f-447c-8318-d5b54f68fe89 --- cesar/VisualState/Test_ALL.vlg | 2230 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 2230 insertions(+) create mode 100644 cesar/VisualState/Test_ALL.vlg (limited to 'cesar/VisualState/Test_ALL.vlg') diff --git a/cesar/VisualState/Test_ALL.vlg b/cesar/VisualState/Test_ALL.vlg new file mode 100644 index 0000000000..ac2f871ebc --- /dev/null +++ b/cesar/VisualState/Test_ALL.vlg @@ -0,0 +1,2230 @@ +/***************************************************************************** +* visualSTATE Validator Test Sequence File, Format 2.2 +* Generated by visualSTATE Validator 5.4.0.1273 +* Trace: No +* Additional modules: visualSTATE VSLFx 5.4.0.1273 +* Time: 2007-11-19 10:17:34 +* visualSTATE Project File: +* visualSTATE Signature Generator: "50" +* Project Signature: "50f2 373c b093 6263 4482 fd46" +*****************************************************************************/ + +PROJECT INFORMATION + + Project Name: cesar_cp + + Explanation: + "" + +****************************************************************************** + +# SEQUENCE INFORMATION + + # Sequence Name: "Sequence 0" + + # Explanation: + "" + + # Created : 2007-11-14 14:45:24 + # Modified : 2007-11-19 10:17:07 + + +# STEPS + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_HANDOVER() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.HANDOVER, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: HANDOVER_DONE() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_HANDOVER_IN_PROGRESS() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.HANDOVER_IN_PROGRESS, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: HANDOVER_DONE() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + try_associate(0), + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + try_associate(0), + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BECOME_PCO() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: LEAVE_PCO() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BECOME_BACKUP_CCO() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.BACKUP_CCO, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: LEAVE_BACKUP_CCO() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SC_ADD() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_ADD; + # Actions: + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SC_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SC_JOIN() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_JOIN; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SC_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SC_JOIN() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_JOIN; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_CCO() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_ADD; + # Actions: + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_MAC_ADDRESS(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_mac_address(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_CCO_PREFERENCE_REQ(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_cco_preference(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_WAS_CCO(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_was_cco(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_NPW_REQ(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_npw(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_DPW_REQ(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_dpw_req(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_M_STA_HFID(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_m_sta_hfid(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_U_STA_HFID(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_u_sta_hfid(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_AVLN_HFID(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_avln_hfid(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_SL(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_sl(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_TONEMASK(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_tonemask(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_NID(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_nid(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_SET_SNID(0) + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_set_snid(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_STOP_IND() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: USTT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: USTT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BBT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + station_bbt_expires(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_CCO() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + try_associate(0), + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: POND_TO_UCCO() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_USTA() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_usta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: POND_TO_UCCO() + # HierarchicalStateVector: + Station.Station.ON.UCCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_ucco(), + send_discover_beacon_as_ucco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + try_associate(0), + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: USTT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(), + transmit_unassoc_sta_mme(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(1), + trace_sta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_CC_ASSOC_CNF(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_cc_assoc_cnf(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_USTA_MME(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + record_usta_mme(0); + # Signals: + # Variables: + + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_USTA() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_usta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: USTT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: USTT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + try_associate(0), + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: USTT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(), + transmit_unassoc_sta_mme(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: USTT_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(), + transmit_unassoc_sta_mme(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.UCCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_ucco(), + send_discover_beacon_as_ucco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + + # Send Event + # System: main_fsm + # Event: TO_USTA() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_usta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_USTA_MME(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_usta_mme(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_CCO() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_USTA() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_usta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(1), + trace_sta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_USTA() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_usta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_CC_ASSOC_CNF(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_cc_assoc_cnf(0); + # Signals: + # Variables: + + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: POND_TO_UCCO() + # HierarchicalStateVector: + Station.Station.ON.UCCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_ucco(), + send_discover_beacon_as_ucco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: UCCO_MAX_DISCOVER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.UCCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + send_discover_beacon_as_ucco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_ustt_timer(), + trace_usta(), + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: POND_TO_UCCO() + # HierarchicalStateVector: + Station.Station.ON.UCCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + trace_ucco(), + send_discover_beacon_as_ucco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_CC_ASSOC_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_cc_assoc_req(0), + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(1), + trace_sta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(1), + trace_sta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_USTA() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(0), + launch_ustt_timer(), + trace_usta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(1), + trace_sta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: AUTHENTIFIE_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.AUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_auth_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: UNAUTHENTIFIE_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_auth_status(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: AUTHENTIFIE_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.AUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_auth_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BECOME_BACKUP_CCO() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.AUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.BACKUP_CCO, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.AUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.BACKUP_CCO, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_auth_status(0), + cp_station_set_cco_status(1), + trace_cco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(1), + trace_sta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_HANDOVER() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.HANDOVER, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: HANDOVER_DONE() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(1), + trace_cco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_STA() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_assoc_status(1), + trace_sta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_CC_SET_TEI_MAP_IND(0) + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.UNAUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_cc_set_tei_map_ind(0), + trace_sta(); + # Signals: + # Variables: + + + # Send Event + # System: main_fsm + # Event: SE_RESET() + # HierarchicalStateVector: + Station.Station.INIT_SYSTEM, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + init_system(); + # Signals: + # Variables: + + # Send Event + # System: sta_connection[0] + # Event: SE_RESET() + # HierarchicalStateVector: + Topstate1.UNCONNECTED; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_DRV_MAC_START_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.POND, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_drv_start_mac_req(0), + launch_ustt_timer(), + launch_bbt_timer(), + trace_pond(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_CCO() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_HANDOVER() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.HANDOVER, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: HANDOVER_DONE() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.AUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(0), + trace_sta(), + cp_station_set_auth_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_HANDOVER() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.ASSOCIATED_STA.AUTHENTICATED, + Station.Small_FSMs.SMALL_FSM.Handover_Region.HANDOVER, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: HANDOVER_DONE() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_auth_status(0), + cp_station_set_cco_status(1), + trace_cco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: JOIN_WAIT_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.UCCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(0), + cp_station_set_assoc_status(0), + trace_ucco(), + send_discover_beacon_as_ucco(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_CC_ASSOC_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.NO_AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + process_cc_assoc_req(0), + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: BEACON_DETECTED(0) + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + launch_beacon_timer(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: JOIN_WAIT_TIMER_EXPIRES() + # HierarchicalStateVector: + Station.Station.ON.POND_OR_USTA.USTA, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(0), + cp_station_set_assoc_status(0), + launch_ustt_timer(), + trace_usta(); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: TO_CCO() + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(1), + trace_cco(), + cp_station_set_assoc_status(1); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_CC_ASSOC_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(0), + process_cc_assoc_req(0); + # Signals: + # Variables: + + # Send Event + # System: main_fsm + # Event: RECEIVE_CC_SET_TEI_MAP_REQ(0) + # HierarchicalStateVector: + Station.Station.ON.STA_OR_CCO.CCO, + Station.Small_FSMs.SMALL_FSM.Handover_Region.NORMAL, + Station.Small_FSMs.SMALL_FSM.AVLN_Tracking.AVLN_TO_TRACK, + Station.Small_FSMs.SMALL_FSM.Proxy_CCO.NOT_PCCO, + Station.Small_FSMs.SMALL_FSM.BackupCCO.NOT_BACKUP, + Station.Small_FSMs.SMALL_FSM.SC_Level.SC_NONE; + # Actions: + cp_station_set_cco_status(0), + process_cc_set_tei_map_req(0); + # Signals: + # Variables: + +****************************************************************************** -- cgit v1.2.3