Behavior Engineering Based Software Change Case Studies



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.3 Maintain B/L Table


The broadcast/location table must be maintained to ensure that customer data transmission site records are kept up to date.

MG6) The SCS shall process each BR (bandwidth/location (B/L) table update request) command message received from the GCS.

MG6.1) If a BR command message is received and there is already an entry in the B/L table, the current entry will be replaced.

MG6.2) After the SCS is initialized, table entries are made for all active communication sites. If the system is restarted, all B/L table entries must be re-entered.

MG6.3) The SCS has the ability to store 9,999 B/L table entries. Only one sender (uplink) and receiver (downlink) site pair may be specified for service during a "Transmit Data" transaction.

MG6.4) The SCS may receive a BR command message after an HR (satellite health request) command message has been received and processed. (Describes order during transaction.)

MG6.5) The SCS will only accept A BR command message SCS during an active "Manage Satellites" transaction. (Describes condition under which a BR may be received.)

MG7) The SCS shall prepare and send a BA (B/L table updated) acknowledgment message to the GCS indicating the status of the table update.

Each acknowledgment message shall contain a status code.

A status code of 1 shall indicate that the B/L table update command was successful.

A status code of 2 shall indicate that the B/L table is full and that the system should be restarted.

The corresponding Requirement Behavior Tree is as below: