NDLI: Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample

Content Provider	Springer Nature Link
Author	Babamir, Seyed Morteza Borhani, Mehdi
Copyright Year	2011
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.
Starting Page	2633
Ending Page	2648
Page Count	16
File Format	PDF
ISSN	01485598
Journal	Journal of Medical Systems
Volume Number	36
Issue Number	4
e-ISSN	1573689X
Language	English
Publisher	Springer US
Publisher Date	2011-06-17
Publisher Place	Boston
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Monitoring devices Insulin pump Formal language Verification Statistics for Life Sciences, Medicine, Health Sciences Health Informatics
Content Type	Text
Resource Type	Article
Subject	Health Information Management Information Systems Health Informatics

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Constructing a Model-Based Software Monitor for the Insulin Pump Behavior

Software Development for Medical Instrumentation

An Evaluation of the State of Neuromuscular Blockade Monitoring Devices

A Proposed Approach for Safety Management in Medical Software Design

Multi-Platforms Medical Computer Systems Integration

LEMMA: A Language for Easy Medical Models Analysis

Monitoring of Physiological Parameters from Multiple Patients Using Wireless Sensor Network

Medical Markup Language (MML) for XML-based Hospital Information Interchange

A Review of Simulators with Haptic Devices for Medical Training

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample

Similar Documents

Constructing a Model-Based Software Monitor for the Insulin Pump Behavior

Software Development for Medical Instrumentation

An Evaluation of the State of Neuromuscular Blockade Monitoring Devices

A Proposed Approach for Safety Management in Medical Software Design

Multi-Platforms Medical Computer Systems Integration

LEMMA: A Language for Easy Medical Models Analysis

Monitoring of Physiological Parameters from Multiple Patients Using Wireless Sensor Network

Medical Markup Language (MML) for XML-based Hospital Information Interchange

A Review of Simulators with Haptic Devices for Medical Training

Formal Verification of Medical Monitoring Software Using Z Language: A Representative Sample