Document Detail

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample.
MedLine Citation:
PMID:  21681513     Owner:  NLM     Status:  Publisher    
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.
Seyed Morteza Babamir; Mehdi Borhani
Related Documents :
8988473 - Symbolic anatomic knowledge representation in the read codes version 3: structure and a...
11825293 - Structured data management--the design and implementation of a web-based video archive ...
18181423 - Principles in designing traditional medicine education programs.
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:  -    
University of Kashan, Kashan, Iran,
Export Citation:
APA/MLA Format     Download EndNote     Download BibTex
MeSH Terms

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.