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
Considering Reliability in Designing Pervasive Healthcare System
Type
JournalPaper
Keywords
: FAULT TOLERANCE; PERVASIVE HEALTHCARE SYSTEMS; RELIABILITY
Year
2015
Journal Journal of Medical Imaging and Health Informatics
DOI
Researchers Masoumeh Hajvali ، Vahid Rafeh

Abstract

Designing a system for medical purposes and access to dynamic and distributed systems capable of monitoring and managing the healthcare program of patients has been of great concern during the past years. The safe behavior of a state of the art healthcare system in critical and urgency situations based on fundamental designing is considered a great challenge in this regard. For this reason, correct design of structure and behavior of these systems is important. In this paper, having some characteristic and components in mind a model based configuration was introduced to create reliability of the implementation of pervasive healthcare (PH) systems in critical situations. Then, the reconfiguration mechanisms are modeled enjoying graph transformation rules. Finally, the results are verified using by model checking tools. According to the results of the model checking, the modeled system can create an acceptable level of fault toleration in various situations.