Kuk Jin Jang, Y. Pant, Bo Zhang, James Weimer, R. Mangharam
{"title":"Robustness evaluation of computer-aided clinical trials for medical devices","authors":"Kuk Jin Jang, Y. Pant, Bo Zhang, James Weimer, R. Mangharam","doi":"10.1145/3302509.3311058","DOIUrl":null,"url":null,"abstract":"Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD), require evaluation of safety and efficacy in the context of a patient population in a clinical trial. Advances in computer modeling and simulation allow for generation of a simulated cohort or virtual cohort which mimics a patient population and can be used as a source of prior information. A major obstacle to acceptance of simulation results as a source of prior information is the lack of a framework for explicitly modeling sources of uncertainty in simulation results and quantifying the effect on trial outcomes. In this work, we formulate the Computer-Aided Clinical Trial (CACT) within a Bayesian statistical framework allowing explicit modeling of assumptions and utilization of simulation results at all stages of a clinical trial. To quantify the robustness of the CACT outcome with respect to a simulation assumption, we define δ-robustness as the minimum perturbation of the base prior distribution resulting in a change of the CACT outcome and provide a method to estimate the δ-robustness. We demonstrate the utility of the framework and how the results of δ-robustness evaluation can be utilized at various stages of a clinical trial through an application to the Rhythm ID Goes Head-to-head Trial (RIGHT), which was a comparative evaluation of the safety and efficacy of specific software algorithms across different implantable cardiac devices. Finally, we introduce a hardware interface that allows for direct interaction with the physical device in order to validate and confirm the results of a CACT for implantable cardiac devices.","PeriodicalId":413733,"journal":{"name":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","volume":"50 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-04-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3302509.3311058","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD), require evaluation of safety and efficacy in the context of a patient population in a clinical trial. Advances in computer modeling and simulation allow for generation of a simulated cohort or virtual cohort which mimics a patient population and can be used as a source of prior information. A major obstacle to acceptance of simulation results as a source of prior information is the lack of a framework for explicitly modeling sources of uncertainty in simulation results and quantifying the effect on trial outcomes. In this work, we formulate the Computer-Aided Clinical Trial (CACT) within a Bayesian statistical framework allowing explicit modeling of assumptions and utilization of simulation results at all stages of a clinical trial. To quantify the robustness of the CACT outcome with respect to a simulation assumption, we define δ-robustness as the minimum perturbation of the base prior distribution resulting in a change of the CACT outcome and provide a method to estimate the δ-robustness. We demonstrate the utility of the framework and how the results of δ-robustness evaluation can be utilized at various stages of a clinical trial through an application to the Rhythm ID Goes Head-to-head Trial (RIGHT), which was a comparative evaluation of the safety and efficacy of specific software algorithms across different implantable cardiac devices. Finally, we introduce a hardware interface that allows for direct interaction with the physical device in order to validate and confirm the results of a CACT for implantable cardiac devices.
医疗信息物理系统,如植入式心律转复除颤器(ICD),需要在临床试验中对患者群体进行安全性和有效性评估。计算机建模和仿真的进步允许生成模拟患者群体的模拟队列或虚拟队列,并可作为先验信息的来源。接受模拟结果作为先验信息来源的主要障碍是缺乏明确建模模拟结果不确定性来源和量化对试验结果影响的框架。在这项工作中,我们在贝叶斯统计框架内制定了计算机辅助临床试验(CACT),允许在临床试验的所有阶段对假设和模拟结果进行明确建模。为了量化相对于模拟假设的CACT结果的稳健性,我们将δ-鲁棒性定义为导致CACT结果变化的基本先验分布的最小扰动,并提供了一种估计δ-鲁棒性的方法。我们展示了该框架的实用性,以及δ-稳健性评估的结果如何通过应用于Rhythm ID Goes Head-to-head试验(右)在临床试验的各个阶段得到利用,该试验是对不同植入式心脏装置的特定软件算法的安全性和有效性的比较评估。最后,我们介绍了一个硬件接口,允许与物理设备直接交互,以验证和确认植入式心脏设备的CACT结果。