Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/PacemakerConcPP/   (Wiener Entwicklungsmethode ©)  Datei vom 13.4.2020 mit Größe 881 B image not shown  

Quelle  Pacemaker.vdmpp   Sprache: VDM

 
\section{Pacemaker class}

This class models the pacemaker system and will contain the components of it as 
static variables the first ones are the atrial and ventricular leads responsibles for discharge and sense electrical pulses.

\begin{vdm_al}
class Pacemaker 

 instance variables

 public static 
 atriaLead     : Lead      := new Lead(<ATRIA>, 5, true);

 public static 
 ventricleLead : Lead      := new Lead(<VENTRICLE>, 5, true);
\end{vdm_al}

The accelerometer component and the RateContoller.

\begin{vdm_al}

 instance variables

 public static 
 accelerometer       : Accelerometer   := new Accelerometer();

 public static 
 rateController      : RateController  := new RateController(1, true);
\end{vdm_al}

\begin{vdm_al}
 instance variables
 
 public static 
 heartController     : HeartController := new HeartController(1000, true);

end Pacemaker
\end{vdm_al}

96%


¤ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

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.