ID: 1

1 Introduction


ID: 2

The AquaLush Irrigation System must be a software-controlled irrigation system that automatically adjusts irrigation output based on user-supplied criteria and moisture sensor readings.


ID: 3

The software, as delivered, must consist of two parts:
- A Web-based simulation; and
- Software to control the hardware.


ID: 4

2 Functional Requirements


ID: 5

2.1 Setting Parameters


ID: 6

AquaLush must allow its mode (manual or automatic) to be set.

This object is linked to:
Basic Flow:
1. Operator sets the mode fro
(16)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
Extensions:
1a Operator sets the mode fr
(17)
(OUT)
Trigger: Operator sets the mode.
(15)
(OUT)
AquaLush must display the current mode t
(12)
(OUT)
The mode must be either manual or automa
(149)
(OUT)
Setting the mode to a different value mu
(11)
(OUT)
Setting the mode to its current value mu
(10)
(OUT)
The default mode must be automatic.
(183)
(OUT)
System parameters include the following
(145)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
The control panel must conform to the di
(238)
(OUT)
Users must be able to set the mode.
(9)
(OUT)
The Auto Main state must be the initial
(261)
(OUT)
The user may change to a menu screen wit
(234)
(OUT)


ID: 7

AquaLush must allow the current time to be set.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
Basic Flow:
1. Maintainer begins a repai
(41)
(OUT)
AquaLush must either not allow an invali
(15)
(OUT)
AquaLush must allow users to set the cur
(13)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
AquaLush must display a reset current ti
(17)
(OUT)
The Set Clock state must allow users to
(296)
(OUT)
If the current time is set so that an ir
(18)
(OUT)
If a new time setting fails validation,
(16)
(OUT)
The current time consists of the current
(14)
(OUT)
The current time is recorded in the syst
(154)
(OUT)
The control panel must conform to the di
(244)
(OUT)


ID: 8

AquaLush must allow the days and times during the day when irrigation occurs, called irrigation times, to be set.

This object is linked to:
Basic Flow:
1. Operator sets the irrigat
(25)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
System parameters include the following
(145)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
AquaLush must either not allow an invali
(20)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
AquaLush must display a reset irrigation
(23)
(OUT)
If a new irrigation time setting fails v
(21)
(OUT)
If the irrigation time is set when autom
(22)
(OUT)
The Set Up Auto Irrigation state must al
(330)
(OUT)
The Set Irrigation Times state must allo
(332)
(OUT)
The default irrigation day must be the s
(184)
(OUT)
The default irrigation time must be 0200
(185)
(OUT)
The irrigation time must specify both th
(150)
(OUT)
The simulated time consists of the simul
(177)
(OUT)
AquaLush must allow the days and time of
(19)
(OUT)
The control panel must conform to the di
(244)
(OUT)


ID: 9

AquaLush must allow moisture levels that control irrigation, called critical moisture levels, to be set.

This object is linked to:
Basic Flow:
1. Operator sets the irrigat
(25)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
The default zone critical moisture level
(187)
(OUT)
If a new critical moisture level setting
(26)
(OUT)
The Set Up Auto Irrigation state must al
(330)
(OUT)
AquaLush must allow moisture levels that
(24)
(OUT)
The control panel must conform to the di
(244)
(OUT)
The Set Moisture Levels state must allow
(358)
(OUT)
Sensors must be readable and provide dat
(210)
(OUT)
If the critical moisture level is set wh
(27)
(OUT)
AquaLush must display a reset critical m
(28)
(OUT)
AquaLush must either not allow an invali
(25)
(OUT)


ID: 10

AquaLush must allow the maximum amount of water used in irrigation, called the water allocation, to be set.

This object is linked to:
Basic Flow:
1. Operator sets the irrigat
(25)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
System parameters include the following
(145)
(OUT)
The Set Water Allocation state must allo
(378)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
The default water allocation must be 100
(186)
(OUT)
The Set Up Auto Irrigation state must al
(330)
(OUT)
The control panel must conform to the di
(244)
(OUT)
AquaLush must display a reset water allo
(33)
(OUT)
AquaLush must allow the maximum amount o
(29)
(OUT)
If the water allocation is set when auto
(32)
(OUT)
If a new water allocation setting fails
(31)
(OUT)
AquaLush must either not allow an invali
(30)
(OUT)


ID: 11

2.2 General Operation


ID: 12

AquaLush must allow operation in either an automatic or a manual mode.

This object is linked to:
Basic Flow:
1. AquaLush reads each (work
(65)
(OUT)
Basic Flow:
1. Operator sets the mode fro
(16)
(OUT)
Basic Flow:
1. Operator selects a non-em
(33)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
Extensions:
1a Operator sets the mode fr
(17)
(OUT)
AquaLush must display the current mode t
(12)
(OUT)
The mode must be either manual or automa
(149)
(OUT)
Setting the mode to a different value mu
(11)
(OUT)
Setting the mode to its current value mu
(10)
(OUT)
The default mode must be automatic.
(183)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
The control panel must conform to the di
(238)
(OUT)
Users must be able to set the mode.
(9)
(OUT)
The Auto Main state must be the initial
(261)
(OUT)
The Manual Main state must be an alterna
(265)
(OUT)
The control panel must conduct a dialog
(233)
(OUT)
The user may change to a menu screen wit
(234)
(OUT)
AquaLush must run in one of two modes: m
(8)
(OUT)
AquaLush must allow operation in either
(36)
(OUT)


ID: 13

AquaLush must monitor the amount of water used in irrigation.

This object is linked to:
Basic Flow:
1. AquaLush reads each (work
(65)
(OUT)
Basic Flow:
1. Operator selects a non-em
(33)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
The Gallons Used display must work just
(295)
(OUT)
The amount of water used by the valve mu
(166)
(OUT)
The Manual Irrigation (Location) state m
(288)
(OUT)
The Gallons Used display in row eight mu
(286)
(OUT)
The Water Used field must show the number
(285)
(OUT)
The total water used during manual irrig
(168)
(OUT)
The following data must be displayed for
(158)
(OUT)
When no valve is open in manual irrigati
(49)
(OUT)
AquaLush must do the following during an
(53)
(OUT)
AquaLush must monitor the amount of wate
(37)
(OUT)
AquaLush must set the total water used i
(48)
(OUT)


ID: 42

AquaLush must detect valve and sensor failures.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
Extensions:
1a Operator sets the mode fr
(17)
(OUT)
Extensions:
2a,4a,6a,8a A Valve fails:
2
(34)
(OUT)
Extensions:
1a A Sensor fails:
1a1. Aqua
(66)
(OUT)
Extensions:
*a AquaLush cannot read its
(58)
(OUT)
Basic Flow:
1. Maintainer requests a fai
(49)
(OUT)
The Device Failure state must be entered
(385)
(OUT)
If the valve’s zone moisture sensor has
(283)
(OUT)
The Device Failure action must be a dete
(257)
(OUT)
The Fix Failures state must allow users
(314)
(OUT)
The control panel must conform to the di
(255)
(OUT)
Valve failures must be detectable when a
(213)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
If a sensor can be read within three tri
(66)
(OUT)
If a sensor cannot be read, then AquaLus
(65)
(OUT)
AquaLush must detect valve and sensor fa
(38)
(OUT)
If a sensor cannot be read after three t
(69)
(OUT)
AquaLush must provide reports of failed
(78)
(OUT)
If a sensor cannot be read after three t
(68)
(OUT)
If no valves have failed, then AquaLush
(79)
(OUT)
If a valve cannot be manipulated after t
(73)
(OUT)
If a valve cannot be manipulated after t
(72)
(OUT)
Each simulated irrigation zone must simu
(98)
(OUT)
If valves or sensors have failed, then A
(81)
(OUT)
Sensor failures must be detectable when
(211)
(OUT)
The default sensor and valve operational
(188)
(OUT)
The simulation must simulate valve and s
(104)
(OUT)
If no sensors have failed, then AquaLush
(80)
(OUT)
If a valve can be manipulated within thr
(71)
(OUT)
If a sensor cannot be read after three t
(67)
(OUT)
If a valve cannot be manipulated (opened
(70)
(OUT)


ID: 43

AquaLush must continue operating as normally as possible in the face of valve and sensor failures.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
Extensions:
1a Operator sets the mode fr
(17)
(OUT)
Extensions:
2a,4a,6a,8a A Valve fails:
2
(34)
(OUT)
Extensions:
1a A Sensor fails:
1a1. Aqua
(66)
(OUT)
Extensions:
*a AquaLush cannot read its
(58)
(OUT)
Basic Flow:
1. Maintainer requests a fai
(49)
(OUT)
AquaLush must detect valve and sensor fa
(38)
(OUT)
The simulation must simulate valve and s
(104)
(OUT)


ID: 44

AquaLush must report failed components, and their locations, when asked to do so.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
Basic Flow:
1. Maintainer begins a repai
(41)
(OUT)
Basic Flow:
1. Maintainer requests a fai
(49)
(OUT)
If AquaLush cannot write to its persiste
(74)
(OUT)
If AquaLush cannot read its persistent s
(75)
(OUT)
The failed sensor or valve location must
(175)
(OUT)
An irrigation zone identifier must consis
(111)
(OUT)
A sensor location must be a string of 0
(120)
(OUT)
The Device Failure state must be entered
(385)
(OUT)
Failure reports must display the followi
(171)
(OUT)
The operational status must be a Boolean
(133)
(OUT)
A configuration file must have the form (s
(136)
(OUT)
The Store Failure action must be an inab
(258)
(OUT)
The failed sensor or valve location
(173)
(OUT)
The failed sensor or valve identifier
(172)
(OUT)
If AquaLush cannot read its persistent s
(396)
(OUT)
The failed sensor or valve identifier mus
(174)
(OUT)
The Persistent Store Failure state must
(393)
(OUT)
A valve type must be a string of 0 to 16
(130)
(OUT)
A valve location must be a string of 0 t
(131)
(OUT)
A valve identifier must consist of the le
(129)
(OUT)
A flow rate must be an integer in the ran
(132)
(OUT)
The operational status must be a Boolean
(121)
(OUT)
If the valve’s zone moisture sensor has
(283)
(OUT)
The following data must be recorded for
(123)
(OUT)
A sensor identifier must consist of the l
(119)
(OUT)
The Fix Failures state must allow users
(314)
(OUT)
A configuration file that cannot be found,
(142)
(OUT)
If AquaLush cannot read its persistent s
(76)
(OUT)
If AquaLush cannot read its persistent s
(77)
(OUT)
The following data must be recorded for
(115)
(OUT)
An irrigation zone location must be a st
(112)
(OUT)
The control panel must conform to the di
(255)
(OUT)
Valve failures must be detectable when a
(213)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
AquaLush must detect valve and sensor fa
(38)
(OUT)
AquaLush must provide reports of failed
(78)
(OUT)
If a sensor cannot be read after three t
(68)
(OUT)
If no valves have failed, then AquaLush
(79)
(OUT)
If a valve cannot be manipulated after t
(73)
(OUT)
If a valve cannot be manipulated after t
(72)
(OUT)
The control panel must conform to the di
(244)
(OUT)
If valves or sensors have failed, then A
(81)
(OUT)
Sensor failures must be detectable when
(211)
(OUT)
The simulation must simulate valve and s
(104)
(OUT)
If no sensors have failed, then AquaLush
(80)
(OUT)
If a sensor cannot be read after three t
(67)
(OUT)


ID: 45

2.3 Manual-Mode Operation


ID: 46

AquaLush must allow individual valves to be opened or closed.

This object is linked to:
Basic Flow:
1. Operator selects a non-em
(33)
(OUT)
The screen buttons must work just as in
(291)
(OUT)
If the user presses the “Propagate to Zo
(277)
(OUT)
Valves must be openable and closable.
(212)
(OUT)
If the user presses the “Open/Close Valv
(276)
(OUT)
The Manual Irrigation (Data) state must
(268)
(OUT)
An irrigation zone identifier must consis
(111)
(OUT)
AquaLush must display the following data
(41)
(OUT)
The manual mode menu must have an extra
(237)
(OUT)
Each displayed value must be updated eve
(169)
(OUT)
The length of time the valve has been op
(165)
(OUT)
In manual-mode operation, AquaLush must
(40)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The control panel must conform to the di
(238)
(OUT)
The Manual Irrigation (Location) state m
(288)
(OUT)
The following data must be displayed for
(158)
(OUT)
Each simulated irrigation zone must simu
(98)
(OUT)


ID: 47

AquaLush must provide data about manual irrigation.

This object is linked to:
Basic Flow:
1. Operator selects a non-em
(33)
(OUT)
The Valve field must display data just as
(292)
(OUT)
The Zone field must display data just as
(293)
(OUT)
The Zone field must display the zone iden
(281)
(OUT)
The associated sensor moisture level mus
(167)
(OUT)
The Manual Irrigation (Data) state must
(268)
(OUT)
The Wet% field must display the percent s
(282)
(OUT)
The valve identifier and location must be
(164)
(OUT)
The zone’s critical moisture level must
(113)
(OUT)
The Location field must display the valve
(294)
(OUT)
The Time field must display the time that
(284)
(OUT)
The Valve field must show the identifier a
(278)
(OUT)
AquaLush must display the following data
(41)
(OUT)
The operational status must be a Boolean
(133)
(OUT)
AquaLush must display the total water us
(47)
(OUT)
Each displayed value must be updated eve
(169)
(OUT)
The length of time the valve has been op
(165)
(OUT)
A flow rate must be an integer in the ran
(132)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The control panel must conform to the di
(238)
(OUT)
The Gallons Used display must work just
(295)
(OUT)
The amount of water used by the valve mu
(166)
(OUT)
The Gallons Used display in row eight mu
(286)
(OUT)
The Water Used field must show the number
(285)
(OUT)
The total water used during manual irrig
(168)
(OUT)
The following data must be displayed for
(158)
(OUT)
Each simulated irrigation zone must simu
(98)
(OUT)
When no valve is open in manual irrigati
(49)
(OUT)
AquaLush must set the total water used i
(48)
(OUT)


ID: 48

2.4 Automatic-Mode Operation


ID: 49

AquaLush must irrigate only during irrigation times.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
Trigger: The current time is the irrigat
(64)
(OUT)
Valves must be openable and closable.
(212)
(OUT)
In automatic-mode operation, AquaLush mu
(51)
(OUT)
The simulation must display the simulate
(100)
(OUT)
After starting, AquaLush must close all
(91)
(OUT)
AquaLush must make no attempt to resume
(92)
(OUT)
If the current time is set so that an ir
(18)
(OUT)
The current time is recorded in the syst
(154)
(OUT)
The default irrigation day must be the s
(184)
(OUT)
The default irrigation time must be 0200
(185)
(OUT)
The irrigation time must specify both th
(150)
(OUT)


ID: 50

AquaLush must irrigate only until the set critical moisture level is achieved.

This object is linked to:
Basic Flow:
1. AquaLush reads each (work
(65)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
The simulated water evaporation rate mus
(181)
(OUT)
Valves must be openable and closable.
(212)
(OUT)
After starting, AquaLush must close all
(91)
(OUT)
The simulation must provide controls to
(103)
(OUT)
The default simulated rate of water evap
(190)
(OUT)
The simulation must simulate water evapo
(102)
(OUT)
Each simulated irrigation zone must simu
(97)
(OUT)
The default zone critical moisture level
(187)
(OUT)
AquaLush must do the following during an
(53)
(OUT)
Sensors must be readable and provide dat
(210)
(OUT)
If the critical moisture level is set wh
(27)
(OUT)


ID: 51

AquaLush must irrigate only until the water allocation is reached.

This object is linked to:
Basic Flow:
1. AquaLush reads each (work
(65)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
Valves must be openable and closable.
(212)
(OUT)
After starting, AquaLush must close all
(91)
(OUT)
The default water allocation must be 100
(186)
(OUT)
Each simulated irrigation zone must simu
(98)
(OUT)
AquaLush must do the following during an
(53)
(OUT)
If the water allocation is set when auto
(32)
(OUT)


ID: 52

2.5 Simulation


ID: 53

The Web-based AquaLush simulation must represent all operational and maintenance features of the delivered product.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
The simulated water evaporation rate mus
(181)
(OUT)
The left-hand side of the user interface
(401)
(OUT)
The simulation must display the simulate
(100)
(OUT)
The simulation must provide controls to
(103)
(OUT)
The default simulated rate of water evap
(190)
(OUT)
The simulation must provide means for co
(99)
(OUT)
The simulation must simulate water evapo
(102)
(OUT)
At least 70% of users must agree that th
(203)
(OUT)
The simulation must provide a realistic
(95)
(OUT)
Each simulated irrigation zone must simu
(97)
(OUT)
The evaporation controls must behave as
(406)
(OUT)
The irrigation site display must behave
(404)
(OUT)
The simulated time controls must behave
(405)
(OUT)
The right-hand side of the user interfac
(400)
(OUT)
The failed devices controls must behave
(403)
(OUT)
The simulation user interface must appea
(399)
(OUT)
The Web-based AquaLush simulation must r
(94)
(OUT)
The simulation must provide controls to
(105)
(OUT)
The simulation must provide a representa
(96)
(OUT)
The simulated time consists of the simul
(177)
(OUT)
Each simulated irrigation zone must simu
(98)
(OUT)
The simulation must simulate valve and s
(104)
(OUT)


ID: 54

The Web-based AquaLush simulation must provide means to control the simulation itself.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
The simulated water evaporation rate mus
(181)
(OUT)
The left-hand side of the user interface
(401)
(OUT)
The simulation must display the simulate
(100)
(OUT)
The simulation must provide controls to
(103)
(OUT)
The default simulated rate of water evap
(190)
(OUT)
The simulation must provide means for co
(99)
(OUT)
The simulation must simulate water evapo
(102)
(OUT)
The default simulation speed must be 1 (
(189)
(OUT)
The simulation speed must be a multiple
(180)
(OUT)
The simulation must provide controls to
(101)
(OUT)
The evaporation controls must behave as
(406)
(OUT)
The irrigation site display must behave
(404)
(OUT)
The simulated time controls must behave
(405)
(OUT)
The right-hand side of the user interfac
(400)
(OUT)
The failed devices controls must behave
(403)
(OUT)
The simulation user interface must appea
(399)
(OUT)
The simulation must provide controls to
(105)
(OUT)
The simulated time consists of the simul
(177)
(OUT)
The simulation must simulate valve and s
(104)
(OUT)


ID: 55

3 Non-Functional Requirements


ID: 56

3.1 Installation


ID: 57

AquaLush must support enough sensors and valves to irrigate up to five acres.

This object is linked to:
Each irrigation zone must have exactly o
(109)
(OUT)
The irrigated site must be divided into
(108)
(OUT)
Each irrigation zone must have 1 to 32 i
(110)
(OUT)


ID: 58

AquaLush software must be configurable using standard tools (such as a text editor).

This object is linked to:
Each elementary data item must be separa
(137)
(OUT)
All characters between angle brackets mu
(139)
(OUT)
A configuration file must have the form (s
(136)
(OUT)
The configuration file must be a text file
(135)
(OUT)
The configuration file must be named “confi
(141)
(OUT)
The zone, sensor, and valve letters must
(138)
(OUT)
The curly braces and semicolon do not ne
(140)
(OUT)
A configuration file that cannot be found,
(142)
(OUT)


ID: 59

Once configured, AquaLush must not require reconfiguration unless the installed hardware changes.

This object is linked to:
When it starts, AquaLush must first read
(89)
(OUT)
After establishing its configuration, Aqu
(90)
(OUT)
AquaLush must record its system paramete
(144)
(OUT)
When power is applied to the system, the
(88)
(OUT)
All parameters set by users must remain
(7)
(OUT)


ID: 60

AquaLush software must be configurable in no more than 1 minute per irrigation valve after no more than 30 minutes of reading the instruction manual.

This object is linked to:
A configuration file must be prepared at i
(35)
(OUT)
AquaLush software must be configurable in
(193)
(OUT)


ID: 61

3.2 Operation


ID: 62

AquaLush must have an interface that allows irrigation to be set up or altered in less than five minutes without consulting a manual.

This object is linked to:
The screen buttons must work just as in
(291)
(OUT)
If the user presses the “Propagate to Zo
(277)
(OUT)
If the user presses the “Open/Close Valv
(276)
(OUT)
The Manual Irrigation (Data) state must
(268)
(OUT)
AquaLush must have an interface that all
(195)
(OUT)
The Set Water Allocation state must allo
(378)
(OUT)
The Manual Main state must display the m
(266)
(OUT)
The Auto Main state must display the mai
(262)
(OUT)
The Set Up Auto Irrigation state must al
(330)
(OUT)
The Set Irrigation Times state must allo
(332)
(OUT)
The control panel must conform to the di
(244)
(OUT)
The Set Moisture Levels state must allow
(358)
(OUT)


ID: 63

AquaLush must be operated from a single central control panel.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
AquaLush must be operated from a single
(196)
(OUT)
The simulation must provide a realistic
(95)
(OUT)


ID: 64

3.3 Failure


ID: 65

AquaLush must recover from power failures without human intervention.

This object is linked to:
AquaLush must recover from power failure
(198)
(OUT)
AquaLush must make no attempt to resume
(92)
(OUT)
When it starts, AquaLush must first read
(89)
(OUT)
After establishing its configuration, Aqu
(90)
(OUT)
AquaLush must record its system paramete
(144)
(OUT)
When power is applied to the system, the
(88)
(OUT)
All parameters set by users must remain
(7)
(OUT)


ID: 66

AquaLush must not fail when a sensor or valve fails.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
Extensions:
1a Operator sets the mode fr
(17)
(OUT)
Extensions:
2a,4a,6a,8a A Valve fails:
2
(34)
(OUT)
Extensions:
1a A Sensor fails:
1a1. Aqua
(66)
(OUT)
Extensions:
*a AquaLush cannot read its
(58)
(OUT)
If a sensor can be read within three tri
(66)
(OUT)
If a sensor cannot be read, then AquaLus
(65)
(OUT)
If a sensor cannot be read after three t
(69)
(OUT)
If a sensor cannot be read after three t
(68)
(OUT)
If a valve cannot be manipulated after t
(73)
(OUT)
If a valve cannot be manipulated after t
(72)
(OUT)
The simulation must simulate valve and s
(104)
(OUT)
If a valve can be manipulated within thr
(71)
(OUT)
If a sensor cannot be read after three t
(67)
(OUT)
If a valve cannot be manipulated (opened
(70)
(OUT)


ID: 67

AquaLush software must fail no more than once per month of normal operation.

This object is linked to:
AquaLush software must fail no more than
(199)
(OUT)


ID: 68

3.4 Simulation


ID: 69

The AquaLush simulation must be installable on a Web site in no more than one hour.

This object is linked to:
The AquaLush simulation must be installa
(201)
(OUT)


ID: 70

The AquaLush simulation must require no more than one hour per month of maintenance.

This object is linked to:
The AquaLush simulation must require no
(202)
(OUT)


ID: 71

At least 70% of users must agree that the AquaLush Web-based simulation provides an accurate representation of the actual product and its use.

This object is linked to:
Basic Flow:
Any of the following Simula
(73)
(OUT)
The simulated water evaporation rate mus
(181)
(OUT)
The left-hand side of the user interface
(401)
(OUT)
The simulation must display the simulate
(100)
(OUT)
The simulation must provide controls to
(103)
(OUT)
The default simulated rate of water evap
(190)
(OUT)
The simulation must simulate water evapo
(102)
(OUT)
At least 70% of users must agree that th
(203)
(OUT)
The simulation must provide a realistic
(95)
(OUT)
Each simulated irrigation zone must simu
(97)
(OUT)
The evaporation controls must behave as
(406)
(OUT)
The irrigation site display must behave
(404)
(OUT)
The simulated time controls must behave
(405)
(OUT)
The right-hand side of the user interfac
(400)
(OUT)
The failed devices controls must behave
(403)
(OUT)
The simulation user interface must appea
(399)
(OUT)
The Web-based AquaLush simulation must r
(94)
(OUT)
The simulation must provide controls to
(105)
(OUT)
The simulation must provide a representa
(96)
(OUT)
The simulated time consists of the simul
(177)
(OUT)
Each simulated irrigation zone must simu
(98)
(OUT)
The simulation must simulate valve and s
(104)
(OUT)


ID: 72

3.5 Evolution


ID: 73

The main AquaLush irrigation software components must be reusable in later products.

This object is linked to:
The main AquaLush irrigation software co
(205)
(OUT)


ID: 74

AquaLush must eventually control a variety of irrigation valves.

This object is linked to:
AquaLush must eventually control a varie
(206)
(OUT)


ID: 75

AquaLush must accommodate implementation of traditional timer-controlled irrigation.

This object is linked to:
AquaLush must accommodate implementation
(207)
(OUT)


ID: 76

4 Data Requirements


ID: 77

AquaLush must record the following data in a persistent store:

This object is linked to:
Basic Flow:
1. Operator sets the mode fro
(16)
(OUT)
Basic Flow:
1. Operator sets the irrigat
(25)
(OUT)
Basic Flow:
Any of the following Simula
(73)
(OUT)
Extensions:
1a Operator sets the mode fr
(17)
(OUT)
Basic Flow:
1. Maintainer begins a repai
(41)
(OUT)
Extensions:
2a A setting is invalid:
2a1
(26)
(OUT)
Extensions:
2a,4a,6a,8a A Valve fails:
2
(34)
(OUT)
Extensions:
1a A Sensor fails:
1a1. Aqua
(66)
(OUT)
Extensions:
*a AquaLush cannot read its
(58)
(OUT)
Basic Flow:
1. AquaLush reads its persis
(57)
(OUT)
If AquaLush cannot write to its persiste
(74)
(OUT)
If AquaLush cannot read its persistent s
(75)
(OUT)
An irrigation zone identifier must consis
(111)
(OUT)
A sensor location must be a string of 0
(120)
(OUT)
The zone’s critical moisture level must
(113)
(OUT)
The operational status must be a Boolean
(133)
(OUT)
A configuration file must have the form (s
(136)
(OUT)
If AquaLush cannot read its persistent s
(396)
(OUT)
The Persistent Store Failure state must
(393)
(OUT)
A valve type must be a string of 0 to 16
(130)
(OUT)
A valve location must be a string of 0 t
(131)
(OUT)
A valve identifier must consist of the le
(129)
(OUT)
A flow rate must be an integer in the ran
(132)
(OUT)
The operational status must be a Boolean
(121)
(OUT)
The following data must be recorded for
(123)
(OUT)
A sensor identifier must consist of the l
(119)
(OUT)
If AquaLush cannot read its persistent s
(76)
(OUT)
If AquaLush cannot read its persistent s
(77)
(OUT)
The following data must be recorded for
(115)
(OUT)
An irrigation zone location must be a st
(112)
(OUT)
The default mode must be automatic.
(183)
(OUT)
System parameters include the following
(145)
(OUT)
The default water allocation must be 100
(186)
(OUT)
The default zone critical moisture level
(187)
(OUT)
The default irrigation day must be the s
(184)
(OUT)
The default irrigation time must be 0200
(185)
(OUT)
The default sensor and valve operational
(188)
(OUT)

Type of each irrigation valve
Location of each irrigation valve
Flow rate of each irrigation valve
Status of each irrigation valve
Location of each moisture sensor
Status of each moisture sensor
Association between valves and sensors
Current mode of operation
Irrigation times
Critical moisture levels
Water allocation

Produced by DOORS 9.3.0.2