summaryrefslogtreecommitdiff
path: root/cesar/VisualState/Test_ALL.vlg
diff options
context:
space:
mode:
authorsave2008-04-07 14:17:42 +0000
committersave2008-04-07 14:17:42 +0000
commit3d58a62727346b7ac1a6cb36fed1a06ed72228dd (patch)
treed7788c3cf9f76426aef0286d0202e2097f0fa0eb /cesar/VisualState/Test_ALL.vlg
parent095dca4b0a8d4924093bab424f71f588fdd84613 (diff)
Moved the complete svn base into the cesar directory.
git-svn-id: svn+ssh://pessac/svn/cesar/trunk@1769 017c9cb6-072f-447c-8318-d5b54f68fe89
Diffstat (limited to 'cesar/VisualState/Test_ALL.vlg')
-rw-r--r--cesar/VisualState/Test_ALL.vlg2230
1 files changed, 2230 insertions, 0 deletions
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: <Project1.vsp>
+* 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:
+
+******************************************************************************