| Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample. | |
| | |
MedLine Citation:
|
PMID: 21681513 Owner: NLM Status: Publisher |
Abstract/OtherAbstract:
|
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:
|
Seyed Morteza Babamir; Mehdi Borhani |
Related Documents
:
|
2622383 - Teaching medical informatics to biomedical engineering students: experiences over 15 ye... 8955583 - A systematic view on medical informatics. 18247493 - 2-position base-modified analogues of adenophostin a as high-affinity agonists of the d... |
Publication Detail:
|
Type: JOURNAL ARTICLE Date: 2011-6-17 |
Journal Detail:
|
Title: Journal of medical systems Volume: - ISSN: 0148-5598 ISO Abbreviation: - Publication Date: 2011 Jun |
Date Detail:
|
Created Date: 2011-6-17 Completed Date: - Revised Date: - |
Medline Journal Info:
|
Nlm Unique ID: 7806056 Medline TA: J Med Syst Country: - |
Other Details:
|
Languages: ENG Pagination: - Citation Subset: - |
Affiliation:
|
University of Kashan, Kashan, Iran, babamir@kashanu.ac.ir. |
Export Citation:
|
APA/MLA Format Download EndNote Download BibTex |
| MeSH Terms | |
Descriptor/Qualifier:
|
|
From MEDLINE®/PubMed®, a database of the U.S. National Library of Medicine
Previous Document: Classification of Juvenile Myoclonic Epilepsy Data Acquired Through Scanning Electromyography with M...
Next Document: Enabling Fast Brain-Computer Interaction by Single-Trial Extraction of Visual Evoked Potentials.