/***************************************************************************** * 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-16 14:16:43 * 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-16 14:10:47 # Modified : 2007-11-16 14:16:36 # 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: ******************************************************************************