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


The Third Version of the Microwave Oven System

In the Third Version, we have introduced a new component TIMER. The requirement 1, 2 and 7 have been modified. The modified requirements the associated RBTs are listed below.

Modified R1 : There is a single control button available for the user of the oven. If the oven is idle with the door is closed and you push the button, the timer will be set to one minute , and the oven will start cooking (that is, energize the power-tube)

Modified R2 : If the button is pushed while the oven is cooking it will cause the timer to add one extra minute

Modified R7 : If the timer times-out , the light and power-tube are turned off and then a beeper emits a sound to indicate that the cooking is finished.

 

Below is the DBT for the third verion of the Microwave Oven case study. Click the image to see the diagram in details.