Nr |
Label |
Behaviour Description |
Constraint Ref |
Verdict |
Comments |
|---|
1 |
|
TCI_HCI ? HCI_CONNECTION_REQUEST_EVENT (TCV_bd_addr := HCI_CONNECTION_REQUEST_EVENT.bd_addr) START T_guard_df (5) |
Hci_connection_request_event (COMPLEMENT (TSPX_bd_addr_iut), ?, ?) |
|
A new connection is trying to be established from any bluetooth device. Start local timer to handle Hci_connection_request_event |
2 |
|
[TCV_num_hci_command_packets <> '00'O] |
|
|
If (TCV_num_hci_command_packets <> '00'O) the HCI command can be sent |
3 |
|
TCI_HCI ! HCI_REJECT_CONNECTION_REQUEST |
Hci_reject_connection_request (TCV_bd_addr, '0F'O) |
|
reject reason: Host rejected due to remote device is only a personal device |
4 |
|
(TCV_flag_steps_tci.connection_request_step_2:=TRUE) |
|
|
|
5 |
|
RETURN |
|
|
|
6 |
|
[TCV_num_hci_command_packets = '00'O] |
|
|
If (TCV_num_hci_command_packets = '00'O), it is expected the reception of Hci_command_complete_event / Hci_command_status_event with opcode='0000' that indicates the HCI command can be sent |
7 |
|
(TCV_flag_steps_tci.connection_request_step_1:=TRUE) |
|
|
|
8 |
|
RETURN |
|
|
|
9 |
|
TCI_HCI ? HCI_COMMAND_STATUS_EVENT [TCV_flag_steps_tci.connection_request_step_1] (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, Hci_opcode ('0000000000'B,'000000'B)) |
|
This event with 'Status'=OK and 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
10 |
|
TCI_HCI ! HCI_REJECT_CONNECTION_REQUEST |
Hci_reject_connection_request (TCV_bd_addr, '0F'O) |
|
reject reason: Host rejected due to remote device is only a personal device |
11 |
|
(TCV_flag_steps_tci.connection_request_step_1:=FALSE, TCV_flag_steps_tci.connection_request_step_2:=TRUE) |
|
|
|
12 |
|
RETURN |
|
|
|
13 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT [TCV_flag_steps_tci.connection_request_step_1] (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (?,?,Hci_opcode ('0000000000'B,'000000'B), Return_any_parameters) |
|
This event with 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
14 |
|
TCI_HCI ! HCI_REJECT_CONNECTION_REQUEST |
Hci_reject_connection_request (TCV_bd_addr, '0F'O) |
|
reject reason: Host rejected due to remote device is only a personal device |
15 |
|
(TCV_flag_steps_tci.connection_request_step_1:=FALSE, TCV_flag_steps_tci.connection_request_step_2:=TRUE) |
|
|
|
16 |
|
RETURN |
|
|
|
17 |
|
TCI_HCI ? HCI_COMMAND_STATUS_EVENT [TCV_flag_steps_tci.connection_request_step_2] (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, TSC_command_opcode_hci_reject_connection_request) |
|
|
18 |
|
(TCV_flag_steps_tci.connection_request_step_2:=FALSE, TCV_flag_steps_tci.connection_request_step_3:=TRUE) |
|
|
|
19 |
|
RETURN |
|
|
|
20 |
|
TCI_HCI ? HCI_CONNECTION_COMPLETE_EVENT [TCV_flag_steps_tci.connection_request_step_3] |
Hci_connection_complete_event ('0F'O, ?, TCV_bd_addr, ?, ?) |
|
|
21 |
|
CANCEL T_guard_df |
|
|
|
22 |
|
(TCV_flag_steps_tci.connection_request_step_3:=FALSE) |
|
|
|
23 |
|
RETURN |
|
|
|
24 |
|
TCI_HCI ? HCI_LINK_KEY_REQUEST_EVENT |
Hci_link_key_request_event (TSPX_bd_addr_tester) |
|
Link_Key_Request_Event will be answered with... |
25 |
|
[TCV_num_hci_command_packets <> '00'O] |
|
|
If (TCV_num_hci_command_packets <> '00'O) the HCI command can be sent |
26 |
|
TCI_HCI ! HCI_LINK_KEY_REQUEST_NEGATIVE_REPLY |
Hci_link_key_request_negative_reply (TSPX_bd_addr_tester) |
|
... negative reply |
27 |
|
(TCV_flag_steps_tci.link_key_request_step_2:=TRUE) |
|
|
|
28 |
|
RETURN |
|
|
|
29 |
|
[TCV_num_hci_command_packets = '00'O] |
|
|
If (TCV_num_hci_command_packets = '00'O), it is expected the reception of Hci_command_complete_event / Hci_command_status_event with opcode='0000' that indicates the HCI command can be sent |
30 |
|
(TCV_flag_steps_tci.link_key_request_step_1:=TRUE) |
|
|
|
31 |
|
RETURN |
|
|
|
32 |
|
TCI_HCI ? HCI_COMMAND_STATUS_EVENT [TCV_flag_steps_tci.link_key_request_step_1] (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, Hci_opcode ('0000000000'B,'000000'B)) |
|
This event with 'Status'=OK and 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
33 |
|
TCI_HCI ! HCI_LINK_KEY_REQUEST_NEGATIVE_REPLY |
Hci_link_key_request_negative_reply (TSPX_bd_addr_tester) |
|
... negative reply |
34 |
|
(TCV_flag_steps_tci.link_key_request_step_1:=FALSE, TCV_flag_steps_tci.link_key_request_step_2:=TRUE) |
|
|
|
35 |
|
RETURN |
|
|
|
36 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT [TCV_flag_steps_tci.link_key_request_step_1] (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (?,?,Hci_opcode ('0000000000'B,'000000'B), Return_any_parameters) |
|
This event with 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
37 |
|
TCI_HCI ! HCI_LINK_KEY_REQUEST_NEGATIVE_REPLY |
Hci_link_key_request_negative_reply (TSPX_bd_addr_tester) |
|
... negative reply |
38 |
|
(TCV_flag_steps_tci.link_key_request_step_1:=FALSE, TCV_flag_steps_tci.link_key_request_step_2:=TRUE) |
|
|
|
39 |
|
RETURN |
|
|
|
40 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT [TCV_flag_steps_tci.link_key_request_step_2] (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (TSC_event_status_ok, ?, TSC_command_opcode_hci_link_key_request_negative_reply, Return_parameters_status_bd_addr_tester_only) |
|
command complete event |
41 |
|
(TCV_flag_steps_tci.link_key_request_step_2:=FALSE) |
|
|
|
42 |
|
RETURN |
|
|
|
43 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT [TCV_flag_steps_tci.link_key_request_step_2] (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (?, ?, ?, Return_any_parameters) |
|
wrong command complete event |
44 |
|
(TCV_flag_steps_tci.link_key_request_step_2:=FALSE) |
|
|
|
45 |
|
RETURN |
|
|
|
46 |
|
TCI_HCI ? HCI_PIN_CODE_REQUEST_EVENT |
Hci_pin_code_request_event (TSPX_bd_addr_tester) |
|
Pin_Code_Request_Event must be answered ... |
47 |
|
[TCV_num_hci_command_packets <> '00'O] |
|
|
If (TCV_num_hci_command_packets <> '00'O) the HCI command can be sent |
48 |
|
TCI_HCI ! HCI_PIN_CODE_REQUEST_REPLY |
Hci_pin_code_request_reply (TSPX_bd_addr_tester,TSPX_pin_code_length, TSO_make_pin_full_size (TSPX_pin_code, TSPX_pin_code_length)) |
|
...with the PIN code |
49 |
|
(TCV_flag_steps_tci.pin_code_request_step_2:=TRUE) |
|
|
|
50 |
|
RETURN |
|
|
|
51 |
|
[TCV_num_hci_command_packets = '00'O] |
|
|
If (TCV_num_hci_command_packets = '00'O), it is expected the reception of Hci_command_complete_event / Hci_command_status_event with opcode='0000' that indicates the HCI command can be sent |
52 |
|
(TCV_flag_steps_tci.pin_code_request_step_1:=TRUE) |
|
|
|
53 |
|
RETURN |
|
|
|
54 |
|
TCI_HCI ? HCI_COMMAND_STATUS_EVENT [TCV_flag_steps_tci.pin_code_request_step_1] (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, Hci_opcode ('0000000000'B,'000000'B)) |
|
This event with 'Status'=OK and 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
55 |
|
TCI_HCI ! HCI_PIN_CODE_REQUEST_REPLY |
Hci_pin_code_request_reply (TSPX_bd_addr_tester,TSPX_pin_code_length, TSO_make_pin_full_size (TSPX_pin_code, TSPX_pin_code_length)) |
|
...with the PIN code |
56 |
|
(TCV_flag_steps_tci.pin_code_request_step_1:=FALSE, TCV_flag_steps_tci.pin_code_request_step_2:=TRUE) |
|
|
|
57 |
|
RETURN |
|
|
|
58 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT [TCV_flag_steps_tci.pin_code_request_step_1] (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (?,?,Hci_opcode ('0000000000'B,'000000'B), Return_any_parameters) |
|
This event with 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
59 |
|
TCI_HCI ! HCI_PIN_CODE_REQUEST_REPLY |
Hci_pin_code_request_reply (TSPX_bd_addr_tester,TSPX_pin_code_length, TSO_make_pin_full_size (TSPX_pin_code, TSPX_pin_code_length)) |
|
...with the PIN code |
60 |
|
(TCV_flag_steps_tci.pin_code_request_step_1:=FALSE, TCV_flag_steps_tci.pin_code_request_step_2:=TRUE) |
|
|
|
61 |
|
RETURN |
|
|
|
62 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT [TCV_flag_steps_tci.pin_code_request_step_2] (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (TSC_event_status_ok, ?, TSC_command_opcode_hci_pin_code_request_reply, Return_parameters_status_bd_addr_tester_only) |
|
command complete event |
63 |
|
(TCV_flag_steps_tci.pin_code_request_step_2:=FALSE) |
|
|
|
64 |
|
RETURN |
|
|
|
65 |
|
TCI_HCI ?HCI_SCO_DATA_PACKETS |
Hci_sco_data_packets(TCV_connection_handle_iut,?, Hci_sco_data_packets(TCV_connection_handle_iut_sco,?, ?)
|
|
The tester sends SCO data. |
66 |
|
RETURN |
|
|
|
67 |
|
TCI_HCI ?HCI_ACL_DATA_PACKETS |
Hci_acl_data_packets (TCV_connection_handle_iut,?, ?, ?, ?) |
|
The tester sends ACL data. |
68 |
|
RETURN |
|
|
|
69 |
DF01 |
TCI_HCI ? HCI_HARDWARE_ERROR_EVENT |
Hci_hardware_error_event (?) |
(I) |
|
70 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of this PTC when a failure has occured on the host controler. |
71 |
|
+LTS_disconnect |
|
|
|
72 |
DF02 |
TCI_HCI ? HCI_DATA_BUFFER_OVERFLOW_EVENT |
Hci_data_buffer_overflow_event (?) |
(I) |
|
73 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of this PTC when a failure has occured on the host controler. |
74 |
|
+LTS_disconnect |
|
|
|
75 |
DF03 |
TCI_HCI ? HCI_DISCONNECTION_COMPLETE_EVENT |
Hci_disconnection_complete_event (?,TCV_connection_handle_iut,?) |
(I) |
|
76 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of this PTC when a failure has occured on the host controler. |
77 |
|
+LTS_disconnect |
|
|
|
78 |
|
TCI_HCI ? HCI_COMMAND_STATUS_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, Hci_opcode ('0000000000'B,'000000'B)) |
|
This event with 'Status'=OK and 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
79 |
|
RETURN |
|
|
|
80 |
DF04 |
TCI_HCI ? HCI_COMMAND_STATUS_EVENT |
Hci_command_status_event (COMPLEMENT (TSC_event_status_ok), ?, ?) |
(I) |
Status parameter of Hci_command_status_event is not OK |
81 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of all PTCs |
82 |
|
+LTS_disconnect |
|
|
Disconnect the established connection |
83 |
DF05 |
TCI_HCI ? HCI_MODE_CHANGE_EVENT |
Hci_mode_change_event (TSC_event_status_ok, TCV_connection_handle_iut,?, ?) |
(I) |
Successful Mode Change Event leads to an INCONCLUSIVE |
84 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of all PTCs |
85 |
|
+LTS_disconnect |
|
|
Disconnect the established connection |
86 |
DF06 |
TCI_HCI ? HCI_CONNECTION_COMPLETE_EVENT |
Hci_connection_complete_event (?,TCV_connection_handle_iut,TSPX_bd_addr_iut,?,?) |
(I) |
unexpected connection Complete Event leads to an INCONCLUSIVE |
87 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of all PTCs |
88 |
|
+LTS_disconnect |
|
|
Disconnect the established connection |
89 |
DF07 |
TCI_HCI ? HCI_LOOP_BACK_COMMAND_EVENT |
Hci_loop_back_command_event (?,?) |
(I) |
Loopback Command Event leads to an INCONCLUSIVE, because the Local Loopback mode is not enabled |
90 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of all PTCs |
91 |
|
+LTS_disconnect |
|
|
Disconnect the established connection |
92 |
|
TCI_HCI ? HCI_INQUIRY_COMPLETE_EVENT |
Hci_inquiry_complete_event (?) |
|
To indicate the completion of the inquiry process of the link manager |
93 |
|
RETURN |
|
|
|
94 |
|
TCI_HCI ? HCI_AUTHENTICATION_COMPLETE_EVENT |
Hci_authentication_complete_event (?, TCV_connection_handle_iut) |
|
To indicate the completion of the authentication process of the link manager. |
95 |
|
RETURN |
|
|
|
96 |
|
TCI_HCI ? HCI_ENCRYPTION_CHANGE_EVENT |
Hci_encryption_change_event (?,TCV_connection_handle_iut,?) |
|
To indicate the completion of the encryption process of the link manager |
97 |
|
RETURN |
|
|
|
98 |
|
TCI_HCI? HCI_CHANGE_CONNECTION_LINK_KEY_COMPLETE_EVENT |
Hci_change_connection_link_key_complete_event (?, TCV_connection_handle_iut) |
|
To indicate the completion of the process of the link manager obtainig the change of the link key |
99 |
|
RETURN |
|
|
|
100 |
|
TCI_HCI ? HCI_MASTER_LINK_KEY_COMPLETE_EVENT |
Hci_master_link_key_complete_event (?, TCV_connection_handle_iut, ?) |
|
The master link key complete event is used to indicate that the link key managed by the master of the piconet has been changed. |
101 |
|
RETURN |
|
|
|
102 |
|
TCI_HCI ? HCI_READ_REMOTE_SUPPORTED_FEATURES_COMPLETE_EVENT |
Hci_read_remote_supported_features_complete_event (?, TCV_connection_handle_iut, ?) |
|
To indicate the completion of the process of the link manager obtaining the supported features of the remote bluetooth device. |
103 |
|
RETURN |
|
|
|
104 |
|
TCI_HCI ? HCI_READ_REMOTE_VERSION_INFORMATION_COMPLETE_EVENT |
Hci_read_remote_version_information_complete_event (?, TCV_connection_handle_iut, ?, ?, ?) |
|
To indicate the completion of the process of the link manager obtainig the version information of the remote bluetooth device. |
105 |
|
RETURN |
|
|
|
106 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (?,?,Hci_opcode ('0000000000'B,'000000'B), Return_any_parameters) |
|
This event with 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
107 |
|
RETURN |
|
|
|
108 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (?,?,COMPLEMENT (Hci_opcode ('0000000000'B,'000000'B)), Return_any_parameters) |
|
All HCI opcodes are allowed, except opcode= '0x0000' that is handled previously |
109 |
|
RETURN |
|
|
|
110 |
|
TCI_HCI ? HCI_NUMBER_OF_COMPLETED_PACKETS_EVENT (TCV_hci_event_number_of_completed_packets_event:=HCI_NUMBER_OF_COMPLETED_PACKETS_EVENT) |
Hci_number_of_completed_packets_event (?, ?, {Parameter_connection_handle_and_hc_num_of_completed_packets (TCV_connection_handle_iut)}) |
|
This event indicates the number of positions in the Host Controller Buffer that increases the buffer space |
111 |
|
(TCV_total_num_acl_data_packets_available:=TCV_total_num_acl_data_packets_available + TSO_oct_to_int (TCV_hci_event_number_of_completed_packets_event.parameter_connection_handle_and_hc_num_of_completed_packets_list. [0].hc_num_of_completed_packets)) |
|
|
TCV_total_num_acl_data_packets_avalaible is updated with this information |
112 |
|
RETURN |
|
|
|
113 |
|
TCI_HCI ? HCI_NUMBER_OF_COMPLETED_PACKETS_EVENT |
Hci_number_of_completed_packets_event (?, ?, ?) |
|
The Hci_number_of_completed_packets_event of other connection is not used to update the free buffer space. |
114 |
|
RETURN |
|
|
|
115 |
|
TCI_HCI ? HCI_RETURN_LINK_KEYS_EVENT |
Hci_return_link_keys_event (?,?, ?) |
|
To indicate the completion of the process of the link manager obtaining the link key. |
116 |
|
RETURN |
|
|
|
117 |
|
TCI_HCI ? HCI_LINK_KEY_NOTIFICATION_EVENT |
Hci_link_key_notification_event (?,?, ?) |
|
|
118 |
|
RETURN |
|
|
|
119 |
|
TCI_HCI ? HCI_MAX_SLOTS_CHANGE_EVENT |
Hci_max_slots_change_event (TCV_connection_handle_iut, ?) |
|
To notify the tester about the LMP_Max_Slots parameter when the value of this parameter changes. |
120 |
|
RETURN |
|
|
|
121 |
|
TCI_HCI ? HCI_CONNECTION_PACKET_TYPE_CHANGED_EVENT |
Hci_connection_packet_type_changed_event (?, (TCV_connection_handle_iut, TCV_connection_handle_iut_sco), ?) |
|
To indicate the completion of the process of the link manager changing the connection packet type. |
122 |
|
RETURN |
|
|
|
123 |
|
TCI_HCI ? HCI_ROLE_CHANGE_EVENT |
Hci_role_change_event (?, TSPX_bd_addr_iut, ?) |
|
The tester receives a role change event |
124 |
|
RETURN |
|
|
|
125 |
|
TCI_HCI ? HCI_QOS_SETUP_COMPLETE_EVENT |
Hci_qos_setup_complete_event (?,TCV_connection_handle_iut,?,?,?,?,?,?) |
|
To indicate the completion of QoS setup procedure |
126 |
|
RETURN |
|
|
|
127 |
|
TCI_HCI ? HCI_INQUIRY_RESULT_EVENT |
Hci_inquiry_result_event ('01'O,?) |
|
The tester receives an inquiry response |
128 |
|
[TSO_oct_to_int(TSPX_num_responses)=0]
|
|
|
|
129 |
|
[(TSO_oct_to_int(TSPX_num_responses)=0) OR TCV_inquiry_with_unlimited_responses]
|
|
|
|
130 |
|
RETURN |
|
|
|
131 |
|
[TRUE] |
|
|
|
132 |
|
[TSO_oct_to_int (TSPX_num_responses)=TCV_num_inq_resp] |
|
(I) |
|
133 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
|
134 |
|
+LTS_disconnect |
|
|
|
135 |
|
[TRUE] |
|
|
|
136 |
|
(TCV_num_inq_resp:=TCV_num_inq_resp + 1) |
|
|
|
137 |
|
RETURN |
|
|
|
138 |
|
TCI_HCI ? HCI_PAGE_SCAN_MODE_CHANGE_EVENT
|
Hci_page_scan_mode_change_event(?,?)
|
|
|
139 |
|
RETURN
|
|
|
|
140 |
|
TCI_HCI ? HCI_PAGE_SCAN_REPETITION_MODE_CHANGE_EVENT
|
Hci_page_scan_repetition_mode_change_event(?,?)
|
|
|
141 |
|
RETURN
|
|
|
|
142 |
DF08 |
? TIMEOUT T_guard_df |
|
I |
|
143 |
DF09 |
TCI_HCI ? OTHERWISE |
|
(I) |
|
144 |
|
CP_TCI ! CM_CONTINUE |
Cm_terminate_other_ptc |
|
Termination of all PTCs |
145 |
|
+LTS_disconnect |
|
|
Disconnect the established connection |
LTS_disconnect |
146 |
|
[TCV_flag_connected] |
|
|
A connection has been established |
147 |
|
+LTS_send_hci_command |
|
|
The Hci command can not be sent until (TCV_num_hci_command_packets <> '00'O) |
148 |
|
TCI_HCI ! HCI_DISCONNECT START T_guard_df (60) |
Hci_disconnect (TCV_connection_handle_iut, '13'O) |
|
The established connection will be disconnected with the reason: Other End Terminated Connection, User Ended Connection. |
149 |
|
TCI_HCI ? HCI_COMMAND_STATUS_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, TSC_command_opcode_hci_disconnect) |
|
|
150 |
DF10 |
TCI_HCI ? HCI_DISCONNECTION_COMPLETE_EVENT CANCEL T_guard_df |
Hci_disconnection_complete_event (TSC_event_status_ok, TCV_connection_handle_iut, TSC_error_code_connection_terminated_by_local_host) |
R |
|
151 |
DF11 |
TCI_HCI ? OTHERWISE CANCEL T_guard_df |
|
R |
|
152 |
DF12 |
? TIMEOUT T_guard_df |
|
R |
|
153 |
DF13 |
CP_TCI ? CM_CONTINUE |
Cm_terminate_ptc |
R |
Termination of this PTC when the T_guard_var has expired on the MTC |
154 |
DF14 |
CP_TCI ? CM_CONTINUE |
Cm_terminate_other_ptc_failed |
R |
Termination of this PTC when a failure has occured on the MTC or on the other PTCs. |
155 |
DF15 |
? TIMEOUT T_guard_df |
|
R |
|
156 |
DF16 |
TCI_HCI ? OTHERWISE |
|
R |
|
157 |
DF17 |
CP_TCI ? CM_CONTINUE |
Cm_terminate_ptc |
R |
Termination of this PTC when the T_guard_var has expired on the MTC |
158 |
DF18 |
CP_TCI ? CM_CONTINUE |
Cm_terminate_other_ptc_failed |
R |
Termination of this PTC when a failure has occured on the MTC or on the other PTCs. |
159 |
DF19 |
[NOT TCV_flag_connected] |
|
R |
|
LTS_send_hci_command |
160 |
|
[TCV_num_hci_command_packets <> '00'O] |
|
|
If (TCV_num_hci_command_packets <> '00'O) the HCI command can be sent |
161 |
|
[TCV_num_hci_command_packets = '00'O] |
|
|
If (TCV_num_hci_command_packets = '00'O), it is expected the reception of Hci_command_complete_event / Hci_command_status_event with opcode='0000' that indicates the HCI command can be sent |
162 |
DF_RESUME_FLOW |
TCI_HCI ? HCI_COMMAND_STATUS_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_STATUS_EVENT.num_hci_command_packets) |
Hci_command_status_event (TSC_event_status_ok, ?, Hci_opcode ('0000000000'B,'000000'B)) |
|
This event with 'Status'=OK and 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
163 |
|
TCI_HCI ? HCI_COMMAND_COMPLETE_EVENT (TCV_num_hci_command_packets:=HCI_COMMAND_COMPLETE_EVENT.num_hci_command_packets) |
Hci_command_complete_event (?,?,Hci_opcode ('0000000000'B,'000000'B), Return_any_parameters) |
|
This event with 'Command_opcode'=0x0000 is used by Host Controller to indicate to the Host that it is ready to receive HCI command packets |
164 |
|
TCI_HCI ? OTHERWISE |
|
|
If any event is received when Hci_command_complete_event / Hci_command_status_event with opcode='0000' is expected in order to resume the transmission of HCI commands, it is assumed that this event can be allowed and it is not required any futher action. |
165 |
|
GOTO DF_RESUME_FLOW |
|
|
Again, the reception of Hci_command_complete_event / Hci_command_status_event with opcode='0000' from the IUT, is expected. |
166 |
DF20 |
CP_TCI ? CM_CONTINUE |
Cm_terminate_ptc |
R |
Termination of this PTC when the T_guard_var has expired on the MTC |
167 |
DF21 |
CP_TCI ? CM_CONTINUE |
Cm_terminate_other_ptc_failed |
R |
Termination of this PTC when a failure has occured on the MTC or on the other PTCs. |