A reliable architectural style for designing pervasive healthcare systems.

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.