Background

. Behavior Engineering

. Software Change

. Software Tools

. Microwave Oven Case Study

. Satellite Control System

Mircowave Oven Case Study

Version 1

. Requirements and RBT

. The DBT

. Other Design Diagrams

Version 2 and 3

. Version 2

. Version 3

Evolutionary Diagrams

. EVDBT for version 1,2 and 3

. Other Evolutionary Diagrams

Satellite Control System

Requirements and RBTs

. Requirement 2.1

. Requirement 2.2

. Requirement 2.2.1

. Requirement 2.2.2

. Requirement 2.2.3

. Requirement 2.3

. Requirement 2.3.1

. Requirement 2.3.2

. Requirement 2.3.3

. Requirement 2.3.4

. Requirement 2.3.5

. Design Behavior Tree

Other Versions

. Version 2 Requirement 2.2.3

. DBT for Version 2

. Version 3 Requirement 2.1

. DBT for Version 3

. Version 4 Requirement 2.2.2

. DBT for Version 4

. Version 5 Requirement 2.3.4

. DBT for Version 5

. The Evolutionary DBT

2.3.5 Terminating a Current Customer Time Slot

The GCS may terminate the current "Transmit Data" transaction at any time, by sending the SCS a TE (customer time slot expired) command message. When the SCS receives the TE command message, it ends the current "Transmit Data" transaction.

TE1) The SCS shall receive a TE (time slot expired) command message from the GCS when a customer data transmission time slot has expired.

TE2) Upon receipt of a TE command message, the SCS shall forward it to the GCS.

TE3) A TE command message may be received only during a valid "Transmit Data" transaction.

The corresponding Requirement Behavior Tree is as below: