This table maintains traceability between the requirements
behaviors and
the constraints given for each module.
You must provide a row in this table for every behavioral
requirement in the elevator control system, Sections 5 through 11. This
will
obviously involve adding rows to the table below. You do not need
to create
table rows for the environmental objects, Sections 1 through 4.
There constraints are already given in the columns.
If you modify the given behaviors for the DoorControl,
CarPositionControl and
Dispatcher, this traceability table
should
reflect what you hand in. So that might involve changing some of the
given
answers in the table. In other words, we want the table you hand in to
reflect
your project which will almost certainly involve you changing
what we've
given below. We've just seeded it with some answers that happen to
match the
examples we've provided in the assignment to get you going.
Behavioral
Requirements/Constraints for ButtonControl - completed by Justin Ray/justinr |
No Constraints |
|
R2.1. -> set mButtonState to
ButtonState |
~ |
|
R2.2. -> light off when empty | ~ |
|
R2.3. -> light on when non-empty and idle | ~ |
|
R2.4a. -> set button state during vend | ~ |
|
R2.4b. -> flash light during vend | ~ |
|
R2.5. -> set button state after
vend |
~ |
|
Behavioral
Requirements/Constraints for CoinControl - Completed by Justin Ray/justinr2 |
C3.1. retain no more than
SODACOST coins |
|
R3.1a. -> set ReceiveCoin
value |
~ |
|
R3.1b. -> increment CoinCount | ~ |
|
R3.2a. -> return extra coin | X |
|
R3.2b. -> decrement CoinCount | X |
|
R3.3. -> clear CoinCount on vend | ~ |
|
R3.4a. -> return coins | ~ |
|
R3.4b. -> clear coinCount on CoinReturn | ~ |
|
R3.5. -> set mCoinCount to CoinCount |
~ |
|
R3.6 -> reset ReceiveCoin |
~ |
|
Behavioral
Requirements/Constraints for CarPositionControl - Completed by Justin Ray/justinr2 |
C4.1 Vend only activated if
VendMotor STOP |
|
R4.3a. -> vend soda |
X |
|
R4.3a. -> vend soda |
X |
|
Behavioral
Requirements/Constraints for VendPositionControl - Completed by Justin Ray/justinr2 |
C5.1 VendMotor only activated if
mVend false |
C5.2 VendMotor stopped at terminal
positions |
R5.3 -> begin moving to target
chute |
X |
~ |
R5.4 -> stop at target chute |
~ |
~ |
R5.5 -> stop at teminal chutes |
~ |
X |
R5.6 -> set mVendMotor to
VendMotor |
~ |
~ |