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.2 Manage Satellites

The SCS is responsible for accepting and processing requests and commands from the GCS and returning acknowledgment messages so that the GCS can (1) understand the status of the SCS's satellites, (2) ensure that the SCS satellites maintain their proper orbit, (3) ensure that an SCS satellite is properly aligned (or pointed) to support bulk data transmission, and (4) ensure that customer satellite data communication sites are registered with the SCS in the bandwidth/location table so that an uplink/downlink site-SCS connection can be made.

MG1) The SCS shall process each MG (maintenance time slot go) command message received from the GCS. Receipt of an MG command message by the SCS signals the start of a "Manage Satellites" transaction for a specified maintenance time slot.

MG1.1) An MG command message shall specify the planned maintenance time slot duration.

MG1.2) An MG command message may be received only immediately after an IN command message or after the completion of a "Transmit Data" transaction.

The corresponding Requirement Behavior Tree is as below: