// Clocks clock VVI_TIME; clock VVT_TIME; clock AVI_A_TIME; clock AVI_V_TIME; clock HEART_TIME; clock PROGRAMMER_TIME; // Channels encoding Events chan commandedOn; chan commandedOff; chan toIdle; chan toInhibited; chan toTriggered; chan toAVI; chan APace; chan VPace; chan AVI_Refractory_Done; chan AVI_APace; chan AVI_APace_Done; chan AVI_Sense_from_V; urgent chan VentricularChamberSense; //urgent chan AtrialChamberSense; // nobody is listening urgent chan EnablePaceElectronics; urgent chan DisablePaceElectronics; // user interactions: Heart urgent chan stopHeartBeat; urgent chan startHeartBeat; // diagnostic int[0,1] wasSwitchedOff; // ------------------------------ Auxiallry: // anybody listening to VentricularChamberSense? int[0,1] V_listening; int[0,1] A_LISTENING_TO_V; // -- Constant Parameters ------------------------------ const REFRACTORY_TIME 50; const SENSE_TIMEOUT 15; const HEART_DELAY_AFTER_V_CONTRACTION 50; const HEART_DELAY_AFTER_A_CONTRACTION 5; const HEART_ALLOWED_STOP_TIME 135; const MODE_SWITCH_DELAY 66; // ---------------------------------------------------------------------- const ALLOW_SWITCH_OFF 1; // ----- Translation Slack ----- chan xtSglNR4; chan HrtVCtrctENTRYtrhrtsm4; chan HrtACtrctENTRYtrhrtsm4; chan xtSglNR5; chan HrtDtlVCtrctENTRYtrhrtsm4Dtl5; chan HrtDtlACtrctENTRYtrhrtsm4Dtl5; chan xtSglNR3; chan PrgrmmrIdlENTRYtrprgrmmrsm3; chan PrgrmmrRdmENTRYtrprgrmmrsm3; chan PrgrmmrMdswtchENTRYtrprgrmmrsm3; chan xtSglNR2; chan PcAVIENTRYtrpcmkr2; chan PcVVIENTRYtrpcmkr2; chan PcVVTENTRYtrpcmkr2; chan PcIdlENTRYtrpcmkr2; chan PcOffENTRYtrpcmkr2; chan xtSglNR6; chan PcOdfltENTRYtrpcmkr2sbCmpt6; chan PcOIdlENTRYtrpcmkr2sbCmpt6; chan PcOVVIENTRYtrpcmkr2sbCmpt6; chan PcOVVTENTRYtrpcmkr2sbCmpt6; chan PcOAVIENTRYtrpcmkr2sbCmpt6; chan xtSglNR9; chan PcOAVIdfltENTRYtrpcmkr2sbCmpt6AVIMd9; chan PcOAVIdfltEITlvpcmkr2sbCmpt6AVIMd9; chan xtSglNR11; chan PcOAVIVPrtdfltENTRYtrpcmkr2sbCmpt6AVIMd9VPrt11; chan xtSglNR10; chan PcOAVIAPrtdfltENTRYtrpcmkr2sbCmpt6AVIMd9APrt10; chan xtSglNR8; chan PcOVVTdfltENTRYtrpcmkr2sbCmpt6VVTMd8; chan xtSglNR7; chan PcOVVIdfltENTRYtrpcmkr2sbCmpt6VVIMd7; int triggerVar1; int triggerVar2; int triggerVar3; int triggerVar4; int triggerVar5; int triggerVar7; heartsim4 := heartsim4(); heartsim4Detail5 := heartsim4Detail5(); programmersim3 := programmersim3(); pacemaker2 := pacemaker2(); pacemaker2subComponent6 := pacemaker2subComponent6(); pacemaker2subComponent6AVIMode9 := pacemaker2subComponent6AVIMode9(); pacemaker2subComponent6AVIMode9VPart11 := pacemaker2subComponent6AVIMode9VPart11(); pacemaker2subComponent6AVIMode9APart10 := pacemaker2subComponent6AVIMode9APart10(); pacemaker2subComponent6VVTMode8 := pacemaker2subComponent6VVTMode8(); pacemaker2subComponent6VVIMode7 := pacemaker2subComponent6VVIMode7(); globalKickoff12 := globalKickoff12(); system heartsim4, heartsim4Detail5, programmersim3, pacemaker2, pacemaker2subComponent6, pacemaker2subComponent6AVIMode9, pacemaker2subComponent6AVIMode9VPart11, pacemaker2subComponent6AVIMode9APart10, pacemaker2subComponent6VVTMode8, pacemaker2subComponent6VVIMode7, globalKickoff12;