Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample |
| |
Authors: | Seyed Morteza Babamir Mehdi Borhani |
| |
Institution: | 1. University of Kashan, Kashan, Iran
|
| |
Abstract: | Medical monitoring systems are useful aids assisting physicians in keeping patients under constant surveillance; however, taking sound decision by the systems is a physician concern. As a result, verification of the systems behavior in monitoring patients is a matter of significant. The patient monitoring is undertaken by software in modern medical systems; so, software verification of modern medial systems have been noticed. Such verification can be achieved by the Formal Languages having mathematical foundations. Among others, the Z language is a suitable formal language has been used to formal verification of systems. This study aims to present a constructive method to verify a representative sample of a medical system by which the system is visually specified and formally verified against patient constraints stated in Z Language. Exploiting our past experience in formal modeling Continuous Infusion Insulin Pump (CIIP), we think of the CIIP system as a representative sample of medical systems in proposing our present study. The system is responsible for monitoring diabetic’s blood sugar. |
| |
Keywords: | |
本文献已被 PubMed SpringerLink 等数据库收录! |
|