Biomedical Engineering Reference
In-Depth Information
and the atrioventricular (AV) counter is greater than or equal to the atrioventricu-
lar (AV) interval (
FixedAV
). Third guard
(grd
3
)
states that the atrioventricular (AV)
counter state (
AV_Count_STATE
) is TRUE, and the last two guards represent that
the pacemaker's actuator and sensor (
PM_Actuator_A, PM_Sensor_A
) of atrial is
OFF. In action's part, sets OFF state of the pacemaker's actuator (
PM_Actuator_V
)
of ventricular, reassigns the value of variable (
AV_count
) as 0, sets FALSE state to
the AV counter state (
AV_Count_STATE
), sets OFF state to the pacemaker's Sensor
(
PM_Sensor_V
) of the ventricular chamber and finally assigns the value of the clock
counter
(sp)
as 1.
EVENT Actuator
_
ON
_
A
WHEN
grd1
:
PM
_
Sensor
_
V
=
ON
grd2
:
sp
≥
Pace
_
Int
−
FixedAV
∧
PVARP
grd3
:
PM
_
Actuator
_
A
=
OFF
grd4
:
PM
_
Sensor
_
A
=
ON
THEN
act1
:
PM
_
Actuator
_
A
:=
ON
act2
:
PM
_
Sensor
_
V
:=
OFF
act3
:
PM
_
Sensor
_
A
:=
OFF
END
sp
≥
VRP
∧
sp
≥
A set of new events
Actuator_ON_A
and
Actuator_OFF_A
are introduced to
start and stop the pacemaker's actuator in the atrial chamber. Actions (
act
1-
act
3) of
the event (
Actuator_ON_A
) state that the pacemaker's actuator (
PM_Actuator_A
)
of the atria sets ON and the pacemaker's sensors (
PM_Sensor_V, PM_Sensor_A
)
of the ventricular and atrial set OFF when all the guards satisfy. The first guard of
this event states that the pacemaker's sensor (
PM_Sensor_V
) of ventricular is ON,
the next guard
(grd
2
)
states that the clock counter
(sp)
is greater than or equal to
the ventriculoatrial (VA) interval, VRP and PVARP, the third guard shows that the
pacemaker's actuator (
PM_Actuator_A
) of atrial is OFF and last guard states that
the pacemaker's sensor (
PM_Sensor_A
) of atrial is ON.
EVENT Actuator
_
OFF
_
A
WHEN
grd1
:
PM
_
Actuator
_
A
=
ON
grd2
:
sp
≥
Pace
_
Int
−
FixedAV
∧
sp
≥
VRP
∧
sp
≥
PVARP
grd3
:
AV
_
Count
_
STATE
=
FA L S E
THEN
act1
:
PM
_
Actuator
_
A
:=
OFF
act2
:
AV
_
Count
_
STATE
:=
TRUE
END
First two actions
(act
1
, act
2
)
of the event (
Actuator_OFF_A
) state that the pace-
maker's actuator (
PM_Actuator_A
) of atria is OFF and the atrioventricular (AV)
Search WWH ::
Custom Search