Medical Software Assurance for Operational Performance Accuracy Using Software Agents

چکیده مقاله

This Nowadays, a new generation of Health Information systems (HIS) called e-health is under development. Health-related equipments are electronic devices that can be implanted in the patient's body to help his health state e.g. insulin pump and pacemaker. Most of the patients who use these devices do not have much technical knowledge therefore; these devices must be self-configuring and self-managing. More importantly, they should be resistible against error and be able to correct errors. Given that these equipments are often sensitive ones and linked to the life of human beings their software are called vital software, means that any slightest error in these vital software can endanger the life of human being. The runtime test of this software is needed. This article aims to provide solution to verifying these devices. Pacemaker was studied as a case study. The proposed strategy is to use reactive model-based software agents that are responsible for an oracle of software test. The knowledge base of this agent is obtained through Petri net drawn by the proper state of device implementation. Petri net though using linear algebra first turns into matrix and then the rules that agent uses them for making decisions. Agent detects error and leads to the safe mode by using its intelligence feature. This safe mode is the proper heart rate for the patient. Runtime checking by the use of agent in addition to the assurance about the accurate performance of device can cause quick decision makings at time of crisis in devices that the health of human beings are depended on them.