支架植入可恢复急性冠状动脉综合征患者的冠状动脉血流。然而,高达40%的使用支架的患者仍有血流受限,这可能导致更大的梗死,左心室功能差,最终心力衰竭。
的PiCSO®Impulse System是miracle Medical Systems开发的一种创新疗法,可改善微循环,减少支架植入后的梗死面积。PiCSO(压力控制间歇冠状窦闭塞)系统使插入冠状窦的小球囊膨胀,暂时阻断血液流出,提高冠状静脉压力,迫使血液回流到受病组织。PiCSO控制软件监测压力,并与患者的心电图同步气球充气和充气。
作为III类医疗器械,PiCSO系统必须坚持患者安全的最严格标准。为了确保其软件的安全性,Miracor使用了Polyspace Code Prover™来检测C代码中的错误,指导代码检查,并补充功能测试实践。
“Polyspace Code Prover为我们提供了一层安全保障,增加了我们对代码不受运行时错误影响的信心,并使我们能够加速代码审查和测试,”Miracor的首席技术官Lars Schiemanck说。