Structuring Assurance Cases to Facilitate Effective Certification of Medical Devices

构建保证案例以促进医疗器械的有效认证

• 批准号: 293253-2012
• 负责人: Wassyng, Alan
• 金额: $ 1.6万
• 依托单位: McMaster University
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2015
• 资助国家: 加拿大
• 起止时间: 2015-01-01 至 2016-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=571421
• 关键词: Structuring; Assurance; Cases; Facilitate; Effective

Software is an enabling technology so good that there is now almost no new device/technology on the market that does not depend on software in some way. As software and devices become increasingly complex and safety features, relying more and more on software, get further intertwined with functional features, the chance of creating serious disasters also dramatically increases. This is especially true in the medical domain where there is tremendous pressure to get new devices onto the market in the hope of saving lives and/or improving quality of life, but where those same devices can cause immense harm if they are not safe for use. Regulatory regimes for software usually rely on checking that an approved development process was used, and then infer from that the software will not contribute to a device failure. Predictably this has not worked well. Safety Cases have been mandatory in several regulatory domains in the UK for many years. Safety cases force manufacturers to provide evidence related to the manufactured product. We are starting to see assurance/safety cases assuming a more prominent role in regulatory regimes in North America. This is especially true in the approach taken by the US FDA in the way they regulate medical devices. Assurance cases are predicated on assumptions that promote satisfactory confidence in the efficacy and safety of the device. These assumptions relate to fundamental issues that have not yet been addressed. I intend to reverse engineer standards to discover the implicit assurance cases embodied therein. I also plan to compare approaches to argumentation from philosophy and formal methods to help create a means by which supporting arguments can be evaluated. My research focuses on determining: i) how to construct and evaluate claims and sub-claims which contribute to the overall dependability and safety of the system; ii) how to evaluate the soundness of arguments in the context of satisfying claims; iii) how to combine evidence of different types to contribute to the confidence that a claim is satisfied; and iv) how to organize the assurance case using a prescribed structure, which will facilitate certifiers being able to build experience in evaluating assurance cases.

软件是一种使能技术如此之好，以至于现在市场上几乎没有不以某种方式依赖于软件的新设备/技术。随着软件和设备变得越来越复杂，越来越依赖软件的安全功能与功能功能进一步交织在一起，造成严重灾难的机会也急剧增加。在医疗领域尤其如此，在医疗领域，为了挽救生命和/或提高生活质量，将新设备推向市场面临巨大压力，但如果使用这些设备不安全，可能会造成巨大伤害。软件的监管制度通常依赖于检查是否使用了经批准的开发过程，然后根据软件不会导致设备故障的情况进行推断。可以预见的是，这并不奏效。多年来，在英国的几个监管领域，安全案例一直是强制性的。安全案例迫使制造商提供与制成品有关的证据。我们开始看到，保障/安全案例在北美的监管制度中扮演着更加重要的角色。在美国FDA监管医疗器械的方式上，这一点尤其正确。保证案例的前提假设是提高人们对该设备的有效性和安全性的满意信心。这些假设涉及尚未解决的根本问题。我打算对标准进行逆向工程，以发现其中隐含的保证案例。我还计划比较哲学和形式方法中的论证方法，以帮助创建一种可以评估支持论点的方法。我的研究集中于确定：i)如何构建和评估有助于系统整体可靠性和安全性的索赔和子索赔；ii)如何在满足索赔的背景下评估论点的合理性；iii)如何组合不同类型的证据以增强索赔得到满足的置信度；以及iv)如何使用规定的结构来组织担保案例，这将有助于认证者在评估担保案例时积累经验。