title: Formal verification of medical monitoring software using Z language: a representative sample.
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.
authors.affiliation: University of Kashan, Kashan, Iran. babamir@kashanu.ac.ir
authors.forename: Seyed Morteza
authors.initials: SM
authors.lastname: Babamir
authors.forename: Mehdi
authors.initials: M
authors.lastname: Borhani
mesh_terms: D000465:Algorithms; D001786:Blood Glucose / Q000032:analysis; D003920:Diabetes Mellitus; D006801:Humans; D008991:Monitoring, Physiologic; D061214:Patient Safety; D011381:Programming Languages; D012985:Software Design; D014584:User-Computer Interface
chemical_list: D001786:Blood Glucose