使用动态软件分析为医疗设备通过审批提供支持(一)
Ø 要求跟踪矩阵,确保所有安全相关的要求都已得到满足
Ø 正规的设计方法和工具,可以为设计的正确性提供数学依据
Ø 使用贝叶斯置信网络方法的故障树分析
Ø 回顾性设计验证,基于已完成的工作来评估系统设计
Ø 静态分析,使用模型检测或者数据流分析等方法
Ø 使用直接故障检测技术进行测试,如动态分析,通过产生的误差和失效来识别故障
图1 IEC 62304标准涉及的不同分析方法和相关章节,表现为典型的“V”字形发展模型。图中显示的每一种方法都不依赖于进程。任何其他开发进程模型都可用类似的表述:瀑布式、迭代的、灵敏的等
助听器原理相关文章:助听器原理
评论