CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems

CPS：前沿：协作研究：医疗网络物理系统的组合、近似和定量推理

• 批准号: 1446664
• 负责人: Rahul Mangharam
• 金额: $ 94万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-05-01 至 2021-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1446664&HistoricalAwards=false
• 关键词: CPS; Frontier; Collaborative; Research; Compositional

This project represents a cross-disciplinary collaborative research effort on developing rigorous, closed-loop approaches for designing, simulating, and verifying medical devices. The work will open fundamental new approaches for radically accelerating the pace of medical device innovation, especially in the sphere of cardiac-device design. Specific attention will be devoted to developing advanced formal methods-based approaches for analyzing controller designs for safety and effectiveness; and devising methods for expediting regulatory and other third-party reviews of device designs. The project team includes members with research backgrounds in computer science, electrical engineering, biophysics, and cardiology; the PIs will use a coordinated approach that balances theoretical, experimental and practical concerns to yield results that are intended to transform the practice of device design while also facilitating the translation of new cardiac therapies into practice.The proposed effort will lead to significant advances in the state of the art for system verification and cardiac therapies based on the use of formal methods and closed-loop control and verification. The animating vision for the work is to enable the development of a true in silico design methodology for medical devices that can be used to speed the development of new devices and to provide greater assurance that their behaviors match designers' intentions, and to pass regulatory muster more quickly so that they can be used on patients needing their care. The scientific work being proposed will serve this vision by providing mathematically robust techniques for analyzing and verifying the behavior of medical devices, for modeling and simulating heart dynamics, and for conducting closed-loop verification of proposed therapeutic approaches. The acceleration in medical device innovation achievable as a result of the proposed research will also have long-term and sustained societal benefits, as better diagnostic and therapeutic technologies enter into the practice of medicine more quickly. It will also yield a collection of tools and techniques that will be applicable in the design of other types of devices. Finally, it will contribute to the development of human resources and the further inclusion of under-represented groups via its extensive education and outreach programs, including intensive workshop experiences for undergraduates.

该项目代表了一项跨学科的协作研究工作，旨在开发设计、模拟和验证医疗器械的严格、闭环方法。这项工作将为从根本上加快医疗器械创新的步伐开辟基本的新途径，特别是在心脏器械设计领域。将特别注意开发先进的、基于正式方法的方法，用于分析控制器设计的安全性和有效性；并设计方法，以加快对设备设计的监管和其他第三方审查。该项目团队包括具有计算机科学、电气工程、生物物理学和心脏病学研究背景的成员；PI将使用一种协调的方法，平衡理论、实验和实践方面的考虑，以产生旨在转变设备设计实践的结果，同时也促进将新的心脏疗法转化为实践。拟议的努力将导致系统验证和基于正式方法和闭环控制和验证的心脏疗法的最先进水平的显著进步。这项工作的生动愿景是为医疗设备开发一种真正的硅胶设计方法，该方法可用于加快新设备的开发，提供更好的保证，使其行为符合设计者的意图，并更快地通过监管，以便它们可以用于需要护理的患者。正在提出的科学工作将通过提供数学上可靠的技术来服务于这一愿景，这些技术用于分析和验证医疗设备的行为，用于建模和模拟心脏动力学，以及用于对建议的治疗方法进行闭环验证。随着更好的诊断和治疗技术更快地进入医学实践，拟议的研究可以加快医疗器械创新的速度，也将产生长期和持续的社会效益。它还将产生一系列适用于其他类型设备设计的工具和技术。最后，它将通过其广泛的教育和外联方案，包括为本科生提供密集的研讨会经验，促进人力资源的开发和进一步纳入代表性不足的群体。