Biomedical Engineering Reference
In-Depth Information
The event (
Sensor_OFF_V
) is used to set the pacemaker's sensor (
PM_Sensor_V
)
of ventricular in OFF state. The guards
(grd
1
, grd
2
)
of this event represent that the
pacemaker's sensor (
PM_Sensor_V
) of ventricular is ON, and the clock counter
(sp)
is greater than or equal to the VRP and PVARP. The next guard
(grd
3
)
represents
that the clock counter
sp
is less than the ventriculoatrial (VA) interval, or greater
than or equal to the ventriculoatrial (VA) interval and less than the pace interval
(
Pace_Int
). The last two guards
(grd
4
, grd
5
)
state that the pacemaker's actuators
(
PM_Actuator_V
,
PM_Actuator_A
) of the ventricular and atrial are OFF. The ac-
tions (
act
1-
act
6) of this event state that the pacemaker's sensor (
PM_Sensor_V
)of
ventricular is OFF, assigns the value of variable (
AV_count
) as 0, the atrioventricular
(AV) counter state (
AV_Count_STATE
) sets FALSE, assigns the value of the clock
counter
(sp)
to new variable (
last_sp
), assigns the value of the clock counter
(sp)
as
1 and sets OFF state of the pacemaker's actuator (
PM_Actuator_A
) of atrial.
EVENT Sensor
_
ON
_
A
WHEN
grd1
:
PM
_
Sensor
_
A
=
OFF
grd2
:
sp < Pace
_
Int
−
FixedAV
∧
sp
≥
VRP
∧
sp
≥
PVARP
grd3
:
PM
_
Sensor
_
V
=
OFF
THEN
act1
:
PM
_
Sensor
_
A
:=
ON
END
The events (
Sensor_ON_A
and
Sensor_OFF_A
) are used to control the sens-
ing activities of the atrial chamber. The pacemaker's sensor (
PM_Sensor_A
)ofthe
atrial chamber synchronises ON and OFF states under the real time constraints.
A guard
(grd
1
)
of the event (
Sensor_ON_A
) represents that if the pacemaker's sen-
sor (
PM_Sensor_A
) of atrial is OFF and the second guard
(grd
2
)
represents that the
clock counter
(sp)
is less than the ventriculoatrial (VA) interval and greater than or
equal to the VRP and PVARP. The last guard
(grd
3
)
represents that the pacemaker's
sensor (
PM_Sensor_V
) of ventricular is OFF. If all guards are true, then in action
part of this event the pacemaker's sensor (
PM_Sensor_A
) of atrial sets ON.
EVENT Sensor
_
OFF
_
A
WHEN
grd1
:
PM
_
Sensor
_
A
=
ON
grd2
:
sp < Pace
_
Int
−
FixedAV
∧
sp
≥
VRP
∧
sp
≥
PVARP
THEN
act1
:
PM
_
Sensor
_
A
:=
OFF
act2
:
AV
_
Count
_
STATE
:=
TRUE
END
The event (
Sensor_OFF_A
) is used to set the pacemaker's sensor (
PM_Sensor_A
)
of atrial in OFF state. The guards of this event represent that the pacemaker's sensor
Search WWH ::
Custom Search