RIPHAH INTERNATIONAL UNINERSITY

Requirement Behavior
Tree
Formal Methods in Software Engineering
AmNa Jahanzaib
Imama Jahanzaib
15078
15079
4/9/2018
Component Behavior Table:
Sr No. Component Behavior
1 AIP Turn On
Turn OFF
Single Beep
Beep three time
Inject 1ml Drug
Running
Show Volume Status
Send signals to beeper
2 Batteries Put in
Put Out
Battery low
Normal
3 Start/Stop Held Down
Button
4 Screen Display three Dots
Display Battery Low
Display Volume
Display Message Volume Low
Pump Status
Battery Status
Message Air in Line
5 Pump Activate
Stop
Inject
Deactivate
Pump Volume Empty
drug volume 5ml
drug volume 1ml
6 Beeper Beep 3 times
Receive Signals
Beep 1 time
Beep Continuously
7 Line Closed
Open
Kinked
Blocked
Air Detected

Defect/Error Table:-
Sr no Category Defect Description
R2 Incompleteness DI1 It is not clearly mention what is in the stopped state whether
it is pump or device
R2 Inconsistency DI2 Alias of AIP used
R2 Incompleteness DI3 It should Transform to the state of running after going to
state of Start
R3 Incompleteness DI4 It is not clearly mention Which device or AIP system should
be running
R5 Inconsistency DI5 It is not clearly mention that the alias of AIP is used
R7 Incomplete DI6 It is not clearly mention about the Volume will be calculated
for the patient given dosage
R7 Incomplete DI7 It is not mentioned to calculate the drug volume in the pump
R7 Inconsistency DI8 Alias of AIP used as system
R7 Incomplete DI9 Missing state of the pump that the pump is activated before
it injects the drug
R7 Incomplete DI10 Missing requirement of calculate the volume of drug after
the pump activate and inject 1 ml drug
R7 Incomplete DI11 Missing requirement of injecting 1 ml drug by the pump after
it activated
R8 Inconsistency DI12 Alias of AIP used as system
R8 Incomplete DI13 Missing state of the pump that the pump is activated before
it injects the drug
R8 Incomplete DI14 Missing requirement of injecting 1 ml drug by the pump after
it activated
R8 Incomplete DI15 Missing requirement of calculate the volume of drug after
the pump activate and inject 1 ml drug
R8 Incomplete DI16 Missing requirement of pump function aborted if the pump
is empty
R9 Ambiguity DI17 It is not clearly mention that whether the AIP system has to
be running or Pump
R9 Incomplete DI18 It is Missing that the AIP should stopped if there is a
blockage or kinked line
R9 Incomplete DI19 It is Missing that the AIP should activate beeper continuous
beeping if there is a blockage or kinked line
R9 Incomplete DI20 Missing requirement that Pump should be stopped pumping
drug if the line blocked/kinked
R9 Incomplete DI21 Missing requirement that the beeper should continuous the
beeping in blocked/kinked line state
R10 Incomplete DI22 Missing pre condition of AIP system Running state
R10 Incomplete DI23 It is Missing that the AIP should activate beeper continuous
beeping if there is air in line
R10 Incomplete DI24 Missing requirement that the beeper should continuous the
beeping if Air is in line
R10 Incomplete DI25 Missing requirement that Pump should be stopped pumping
drug if there is air in line
Requirement No 7:

R7 AIP
+ [Running]

R7 Pump
- [Activate]

R7 AIP
- [Inject-Drug[1ml]]

R7 AIP
[Vol:=Vol-VolumePumped[1ml]]
-

R7 Pump
?Vol<=5ml?

R7 AIP
[Status[Vol]]

R7 Screen
[Message[Volume Low]]

R7 Beeper
[3 Beeps]
Requirement No 8:

R8 AIP
+ [Running]

R8 Pump
- [Activate]

R8 AIP
- [Inject-Drug[1ml]]

R8 Pump
+ ?Drug-Volume=0ml?

R8 AIP
+ [Pump[Abort]]

R8 AIP
- [Drug[Stop Pumping]]

R8 Pump

[ Stopped]

Beeper
R8

[Continuous Beeping]
 Requirement No 9

R9 AIP
+ [Running]

R9 AIP R9 AIP R9 AIP

??AS-Line[Blocked]?? ??AS-Line[Closed]?? ??AS-Line[Kinked]??

R9 AIP R9 AIP
R9 AIP
- [Pump[Abort]] - [Pump[Abort]] - [Pump[Abort]]

R9 AIP R9 AIP R9 AIP

- [Drug[Stop Pumping]] - [Drug[Stop Pumping]]
- [Drug[Stop Pumping]]

R9 Pump
R9 Pump R9 Pump
-
- [ Stopped] -
[ Stopped] [ Stopped]

Beeper Beeper
R9
R9 Beeper
R9

[Continuous Beeping] [Continuous Beeping]

[Continuous Beeping]
Requirement No: 10

R10 AIP

- [Running]

AIP
R10
??AS-Line[Air]??

R10 AIP

- [Pump[Abort]]

R10 AIP

- [Drug[Stop Pumping]]

R10 Screen

- [Message[Air in Line]]

R10 Pump

[Stopped]

Beeper
R10

[Continuous Beeping]
Requirement No 11:

R11 AIP
+ [Running]

R11 Screen
+ [Status]

R11 Screen
[Pump Status]

R11 Screen
[Battery Status]

R11 Screen
[Drug Volume]