Related Experiment Video
Updated: May 2, 2026

Studying the Hypothalamic Insulin Signal to Peripheral Glucose Intolerance with a Continuous Drug Infusion System into the Mouse Brain
Published on: January 4, 2018
Specification and simulation of behavior of the Continuous Infusion Insulin Pump system
Seyed Morteza Babamir1, Mehdi Borhani Dehkordi2
1Department of Computer Engineering, University of Kashan, Kashan, Iran.
Abstract:
Continuous Infusion Insulin Pump (CIIP) system is responsible for monitoring diabetic blood sugar. In this paper, we aim to specify and simulate the CIIP software behavior. To this end, we first: (1) presented a model consisting of the CIIP system behavior in response to its environment (diabetic) behavior and (2) we formally defined the safety requirements of the system environment (diabetic) in the Z formal modeling language. Such requirements should be satisfied by the CIIP software. Finally, we programmed the model and requirements.
Related Concept Videos
One-Compartment Model: IV Infusion
The one-compartment model for IV infusion uses mathematical equations to describe the rate of change in drug quantity in the body. At steady-state or infusion equilibrium, the drug input...
Two-Compartment Open Model: IV Infusion
The model illustrates the decrease in plasma drug concentration from the central compartment with a specific equation. It shows that under steady-state conditions, the drug's input rate...
One-Compartment Open Model for IV Bolus Administration: General Considerations
The drug's presence in the body is defined by an equation representing the difference between the rates of drug entry and exit. Key parameters—elimination rate constant,...
Drug Accumulation During Multiple Dosing: Intermittent IV Infusions
Compartment Models: Single-Compartment Model
Two-Compartment Open Model: IV Bolus Administration
The disparity between drug input and the sum of drug transfer rates between...

