summaryrefslogtreecommitdiff
path: root/cesar/VisualState/Test_UCCO.vlg
diff options
context:
space:
mode:
Diffstat (limited to 'cesar/VisualState/Test_UCCO.vlg')
-rw-r--r--cesar/VisualState/Test_UCCO.vlg200
1 files changed, 200 insertions, 0 deletions
diff --git a/cesar/VisualState/Test_UCCO.vlg b/cesar/VisualState/Test_UCCO.vlg
new file mode 100644
index 0000000000..07b1b8ed84
--- /dev/null
+++ b/cesar/VisualState/Test_UCCO.vlg
@@ -0,0 +1,200 @@
+/*****************************************************************************
+* 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-15 10:53:59
+* visualSTATE Project File: <Project1.vsp>
+* visualSTATE Signature Generator: "50"
+* Project Signature: "9821 8391 4652 1438 eb8f 44c7"
+*****************************************************************************/
+
+PROJECT INFORMATION
+
+ Project Name: cesar_cp
+
+ Explanation:
+ ""
+
+******************************************************************************
+
+# SEQUENCE INFORMATION
+
+ # Sequence Name: "Sequence 0"
+
+ # Explanation:
+ ""
+
+ # Created : 2007-11-15 10:25:13
+ # Modified : 2007-11-15 10:52:56
+
+
+# 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: 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:
+
+******************************************************************************