This class models the pacemaker systemand will contain the components of it as staticvariables the first ones are the atrial and ventricular leads responsibles for discharge and sense electrical pulses.
\begin{vdm_al} class Pacemaker
instancevariables
publicstatic
atriaLead : Lead := new Lead(<ATRIA>, 5, true);
publicstatic
ventricleLead : Lead := new Lead(<VENTRICLE>, 5, true);
\end{vdm_al}
The accelerometer component and the RateContoller.
\begin{vdm_al}
instancevariables
publicstatic
accelerometer : Accelerometer := new Accelerometer();
publicstatic
rateController : RateController := new RateController(1, true);
\end{vdm_al}
\begin{vdm_al} instancevariables
publicstatic
heartController : HeartController := new HeartController(1000, true);
end Pacemaker
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.12 Sekunden
(vorverarbeitet)
¤
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.