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