High-Confidence Medical Device Software Development

1. Auflage 2015
ISBN: 978-1-68083-068-2
Verlag: Now Publishers

Buch, Englisch, Band 30, 94 Seiten, Format (B × H): 156 mm x 234 mm

Reihe: Foundations and Trends® in Electronic Design Automation

The design of bug-free and safe medical device software is challenging, especially in complex implantable devices. This is due to the device's closed-loop interaction with the patient's organs, which are stochastic physical environments. The life-critical nature and the lack of existing industry standards to enforce software validation make this an ideal domain for exploring design automation challenges for integrated functional and formal modeling with closed-loop analysis. The primary goal of high-confidence medical device software is to guarantee that the device will never drive the patient into an unsafe condition, even though we do not have complete understanding of the physiological plant. To address the safety gap between ensuring the device satisfies its therapeutic requirements with the patient-in-the-loop and testing its software specifications, new approaches for closed-loop validation of the device software within the physiological context are needed - this is the primary focus of this monograph. In High-Confidence Medical Device Software Development, the authors use an implantable cardiac pacemaker as a working example to demonstrate how model-based design can help improve the safety and efficacy of medical device software. It demonstrates the application of model-based design in several design activities during the development process, from the perspective of the manufacturer's design validation team.

Autoren/Hrsg.

Jiang, Zhiaho

Mangharam, Rahul

Fachgebiete

• Medizin | Veterinärmedizin Medizin | Public Health | Pharmazie | Zahnmedizin Medizin, Gesundheitswesen Medizintechnik, Biomedizintechnik, Medizinische Werkstoffe
• Medizin | Veterinärmedizin Medizin | Public Health | Pharmazie | Zahnmedizin Medizin, Gesundheitswesen Medizinische Mathematik & Informatik
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Technische Wissenschaften Sonstige Technologien | Angewandte Technik Medizintechnik, Biomedizintechnik

Inhaltsverzeichnis

1: Medical Devices: Current State and Challenges 2: Understanding and Modeling the Physiological Environment 3: Identifying and Validating the Environment Model 4: A Dual Chamber Pacemaker Specification 5: Closed-loop Model Checking 6: Closed-loop Model Simulation and Testing 7: Discussion and Open Challenges. Acknowledgements. References