2024 : 12 : 14
Vahid Rafeh

Vahid Rafeh

Academic rank:
ORCID: https://orcid.org/0000-0002-2486-7384
Education: PhD.
ScopusId: 14054926800
HIndex:
Faculty:
Address: Arak University
Phone:

Research

Title
A Formal Approach to Secure Design of the Insulin Pump Behavior
Type
JournalPaper
Keywords
Safety, E-Medical Software, CIIP, Timed Automata.
Year
2014
Journal Journal of Medical Imaging and Health Informatics
DOI
Researchers Siamak Rasoolzadeh ، Maryam Monfaredzadeh ، Vahid Rafeh

Abstract

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.