Biomedical Engineering Reference
In-Depth Information
counter state (
AV_Count_STATE
) is TRUE. The guards
(grd
1
, grd
2
)
of this event
state that the acemaker's actuator (
PM_Actuator_A
) of the atria is ON, the cur-
rent clock counter
(sp)
is greater than or equal to the ventriculoatrial (VA) interval,
VRP and PVARP. The last guard presents that the atrioventricular (AV) counter state
(
AV_Count_STATE
)isFALSE.
EVENT Sensor
_
ON
_
V
WHEN
grd1
:
PM
_
Sensor
_
V
=
OFF
grd2
:
(sp
≥
VRP
∧
sp < Pace
_
Int
−
FixedAV
∧
PM
_
Sensor
_
A
=
ON)
(sp
≥
Pace
_
Int
−
FixedAV
∧
AV
_
Count
_
STATE
=
TRUE)
grd3
:
PM
_
Actuator
_
A
=
OFF
THEN
act1
:
PM
_
Sensor
_
V
:=
ON
END
The events (
Sensor_ON_V
and
Sensor_OFF_V
) are used to control the sensing
activities from the ventricular chamber. The pacemaker's sensor (
PM_Sensor_V
)
of ventricular chamber synchronises ON and OFF states under the real-time con-
straints. The pacemaker's sensor (
PM_Sensor_V
) of the ventricular is ON when all
guards are satisfied. The event (
Sensor_OFF_V
) is used to set the pacemaker's sen-
sor (
PM_Sensor_V
) of the ventricular as OFF and resets all other variables in the
action part when all guards fulfil the required conditions. The guards represent the
different states of the pacemaker's actuators and sensors under the real-time con-
straints with various time interval parameters (i.e. VRP, PVARP,
Pace_Int
,etc.).
EVENT Sensor
_
OFF
_
V
WHEN
grd1
:
PM
_
Sensor
_
V
=
ON
grd2
:
sp
≥
VRP
∧
sp
≥
PVARP
grd3
:
(sp < Pace
_
Int
−
FixedAV)
(sp
≥
Pace
_
Int
−
FixedAV
∧
sp < Pace
_
Int)
:
PM
_
Actuator
_
V
=
OFF
grd4
grd5
:
PM
_
Actuator
_
A
=
OFF
THEN
act1
:
PM
_
Sensor
_
V
:=
OFF
act2
:
AV
_
Count
:=
0
act3
:
AV
_
Count
_
STATE
:=
FA L S E
act4
:
last
_
sp
:=
sp
act5
:
sp
:=
1
act6
:
PM
_
Sensor
_
A
:=
OFF
END
Search WWH ::
Custom Search