Library

3.1.9 Verifying Functionality Of Flowing Out Module

Like the Flowing In module, the Flowing Out module must also verified to determine that it performs to the requirements specified. To avoid drawing water from BATHTUB when stock of water becomes zero, the module is modified. Modification involves stopping Flowing Out and pausing the simulation at, say, 0.01 litres, just before BATHTUB becomes completely empty. Functional details are provided in Table 3-5 and Figure 3-35.

Table 3-5. Additional Functionality Defined for Flowing Out Module

Variable Name

Functional Definition

Flowing Out

(30*1<<l/min>>)

*IF(BATHTUB<=0.01<<l>>,0,1)

Pause When Empty

PAUSEIF(BATHTUB<=0.01<<l>>)

Sound When Paused

SOUND(IF(BATHTUB<=0.01<<l>>,1,0))

Figure 3-35. Module Modified to Stop Flowing Out and Pause Simulation Before BATHTUB is Empty