|
چکیده
|
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.
|