Document Detail


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.