Today, by the advance of science and technology, safety-critical systems have further improved and are used in all the technical fields including medical systems. Because any error or bug in medical systems can cause inevitable vital risks, the use of formal methods with mathematical base and capability of automatic analysis is suggested in modelling these systems. Also since a great deal of medical systems and monitoring devices are real-time systems, in which the role of time is undeniable, it is desirable to use instruments and tools with the capability of applying time constraints in modelling. Furthermore, considering the system behavior in controlling of patients and automated verification of model in medical systems is very important for the special sensitivity of these systems. This article presents a useful method for modelling safety management systems in E-medicine system by applying conception of Timed Automata. We choose Continuous infusion insulin Pump (CIIP) as a representative model to show our approach.
