C# (CSharp) SafetySharp.CaseStudies.HemodialysisMachine.Modeling Dialyzer Examples

Example #1

File: HemodialysisMachine.cs Project: isse-augsburg/ssharp

		public HdMachine()
		{
			Dialyzer = new Dialyzer();
			ExtracorporealBloodCircuit = new ExtracorporealBloodCircuit.ExtracorporealBloodCircuit();
			DialyzingFluidDeliverySystem = new DialyzingFluidDeliverySystem.DialyzingFluidDeliverySystem();
			ControlSystem = new ControlSystem(Dialyzer, ExtracorporealBloodCircuit, DialyzingFluidDeliverySystem);

			FromPatientArtery = new BloodFlowDelegate();
			ToPatientVein = new BloodFlowDelegate();
		}

Example #2

File: HemodialysisMachine.cs Project: cubeme/ssharp

        public HdMachine()
        {
            Dialyzer = new Dialyzer();
            ExtracorporealBloodCircuit   = new ExtracorporealBloodCircuit.ExtracorporealBloodCircuit();
            DialyzingFluidDeliverySystem = new DialyzingFluidDeliverySystem.DialyzingFluidDeliverySystem();
            ControlSystem = new ControlSystem(Dialyzer, ExtracorporealBloodCircuit, DialyzingFluidDeliverySystem);

            FromPatientArtery = new BloodFlowDelegate();
            ToPatientVein     = new BloodFlowDelegate();
        }

Example #3

File: ControlSystem.cs Project: cubeme/ssharp

 public ControlSystem(Dialyzer dialyzer, ExtracorporealBloodCircuit.ExtracorporealBloodCircuit extracorporealBloodCircuit, DialyzingFluidDeliverySystem.DialyzingFluidDeliverySystem dialyzingFluidDeliverySystem)
 {
     Dialyzer                  = dialyzer;
     WaterPreparation          = dialyzingFluidDeliverySystem.WaterPreparation;
     DialyzingFluidPreparation = dialyzingFluidDeliverySystem.DialyzingFluidPreparation;
     UltraFiltrationPump       = dialyzingFluidDeliverySystem.DialyzingUltraFiltrationPump;
     SafetyBypass              = dialyzingFluidDeliverySystem.SafetyBypass;
     PumpToBalanceChamber      = dialyzingFluidDeliverySystem.PumpToBalanceChamber;
     HeparinPump               = extracorporealBloodCircuit.HeparinPump;
     ArterialBloodPump         = extracorporealBloodCircuit.ArterialBloodPump;
     VenousPressureTransducer  = extracorporealBloodCircuit.VenousPressureTransducer;
     VenousSafetyDetector      = extracorporealBloodCircuit.VenousSafetyDetector;
     VenousTubingValve         = extracorporealBloodCircuit.VenousTubingValve;
 }

Example #4

File: ControlSystem.cs Project: isse-augsburg/ssharp

		public ControlSystem(Dialyzer dialyzer, ExtracorporealBloodCircuit.ExtracorporealBloodCircuit extracorporealBloodCircuit, DialyzingFluidDeliverySystem.DialyzingFluidDeliverySystem dialyzingFluidDeliverySystem)
		{
			Dialyzer = dialyzer;
			WaterPreparation = dialyzingFluidDeliverySystem.WaterPreparation;
			DialyzingFluidPreparation = dialyzingFluidDeliverySystem.DialyzingFluidPreparation;
			UltraFiltrationPump = dialyzingFluidDeliverySystem.DialyzingUltraFiltrationPump;
			SafetyBypass = dialyzingFluidDeliverySystem.SafetyBypass;
			PumpToBalanceChamber = dialyzingFluidDeliverySystem.PumpToBalanceChamber;
			HeparinPump = extracorporealBloodCircuit.HeparinPump;
			ArterialBloodPump = extracorporealBloodCircuit.ArterialBloodPump;
			VenousPressureTransducer = extracorporealBloodCircuit.VenousPressureTransducer;
			VenousSafetyDetector = extracorporealBloodCircuit.VenousSafetyDetector;
			VenousTubingValve = extracorporealBloodCircuit.VenousTubingValve;
		}