Constructing a model-based software monitor for the insulin pump behavior.

Modern medical systems undertaking the task of surveillance of patients are safety-critical systems steered by software. Such systems will bring man's life into hazard if they fail to meet patients' requirements; so, adequate reliability of the algorithms and computations used by software of such systems is a matter of concern. The environment of a medical safety-critical system consisting of a patient has safety requirements that should be satisfied by the system. A safety requirement is the one that if it is violated, the system environment will be subject to severe risk. An effective method to verify the algorithms and computations used by software of such systems against safety requirements is to keep the software under surveillance at run-time. This paper aims to present a model-based method to construct a run-time monitor for a safety-critical medical system called Continuous Infusion Insulin Pump (CIIP).