A Reliable Architectural Style for Designing Pervasive Healthcare Systems

Abstract

The evolution of wireless communication technologies opened the way to the definition of innovative e-Health systems aimed at providing a continuous and remote support to patients and new instruments to improve the workflow of the medical personnel. Nowadays, pervasive healthcare systems are a major step in this regard. The safety-critical systems on one hand and their failure in communication (i.e. sending and receiving messages) in other hand may lead to disaster results in the systems. Moreover, the need for high quality services in such systems, and the access to various types of Quality of Services such as reliability in software development has been increasing in the past years. In this paper, firstly we extend the core meta-model of the previously designed style for designing the structures of such systems in order to reach a high level of reliability in messaging. Secondly, their configuration mechanisms in controlling the communicative errors will be modeled using graph transformation rules. Finally, the correctness of the model is analyzed by model checking techniques. The results of the analysis show its high reliability.

An Agent-Based Fault Tolerance Mechanism for Dependable Medical Systems

“…Fault tolerance in a medical system is defined by Alahmadi and Ben Soh (Alahmadi & Ben Soh, 2014) as the ability to achieve the requirements of the system (which is considered sensitive), the patient, and the medical staff when faults occur in any of the three system components (hardware, network, or software). In other words, Rafe & Hajvali (Rafe & Hajvali, 2014) specify the dependability is insured if each component should send and receive the messages securely and precisely. As an example, a Sensor should always inform the User using an alarm and the User should in turn receive his/her treatment plan by a smart phone and must be able to make a contact with the emergency centers in critical or emergency situations.…”

“…The authors of this two works (Rafe & Hajvali, 2014;Mohammadi, Bajalan, & Fathi, 2015) are opted for a cloud solution to store information. In the first work, safety execution architec-ture is proposed including three-layered architecture: a cloud layer one, mobile and wearable computing layer.…”