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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 10,11 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoEUR 4,73 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoLibrería: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, Reino Unido
Condición: Very Good. Minor wear at edges/corners. Faint storage scratches to cover. Light marks to parts of text blocks. Text as new and unread. Nº de ref. del artículo: 038568-12
Cantidad disponible: 1 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9781680830682_new
Cantidad disponible: Más de 20 disponibles
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781680830682
Cantidad disponible: Más de 20 disponibles
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781680830682
Cantidad disponible: Más de 20 disponibles
Librería: California Books, Miami, FL, Estados Unidos de America
Condición: New. Nº de ref. del artículo: I-9781680830682
Cantidad disponible: Más de 20 disponibles
Librería: Chiron Media, Wallingford, Reino Unido
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9781680830682
Cantidad disponible: 10 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 184. Nº de ref. del artículo: C9781680830682
Cantidad disponible: Más de 20 disponibles
Librería: moluna, Greven, Alemania
Condición: New. KlappentextThe 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 en. Nº de ref. del artículo: 448249687
Cantidad disponible: Más de 20 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Paperback. Condición: Brand New. 94 pages. 9.21x6.14x0.21 inches. In Stock. Nº de ref. del artículo: x-1680830686
Cantidad disponible: 2 disponibles
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9781680830682
Cantidad disponible: 1 disponibles