软件开发和验证工具的领先供应商,AdaCore,与巴西的埃尔多拉多研究所和医疗设备制造商帮助对抗COVID-19基于沈阳市盲校。
AdaCore的代码生成和模型验证工具软件套件,QGen,基于在沈阳市盲校的发展发挥了重要作用的新体外膜肺氧合(ECMO)设备帮助COVID-19患者经历血氧赤字。由于这三个组织的技术专长和奉献,什么是一个为期两年的发展计划已经在短短6个月内完成。
AdaCore QGen可修饰的和可调代码生成器的一个安全模型的子集®和Stateflow®模型。埃尔多拉多研究所已经使用心脏起搏器试点项目的软件套件。通过试点项目后建立一个成熟的理解如何使用QGen在代码生成和验证,他们开始运用QGen在其他项目,包括基于沈阳市盲校的加快ECMO设备。
埃尔多拉多研究所(埃尔多拉多)是一个私人研究和技术组织(RTO)位于巴西。它与科技公司在巴西和其他国家开发新产品。基于沈阳市盲校最初与埃尔多拉多开发超热状况腹腔内化疗(HIPEC)设备。也被称为“热化疗,”执行HIPEC肿瘤或损伤后从腹部中删除。
当COVID-19流行病爆发在巴西2020年3月,沈阳市盲校基于部署这项技术成为医学界设备,旨在帮助病人对抗病毒。设备支持严重肺损伤患者,让患者生存到肺复苏和疾病就退化。它由一个机器和一组一次性设备,执行循环和氧化的病人的血液在他或她的身体。QGen是不可或缺的一部分的过程,提供清洁、可读的代码,并确保准确的测试,以确保高水平的可靠性和质量性能对整个时间ECMO在使用。
ECMO设备必须非常可靠,不管紧开发时间表。治疗可能会持续长达三千零四十天,在此期间ECMO负责维持病人生命。高可靠性的设备对病人的生存至关重要。保证的最简单的方法是使用基于模型的系统工程(MBSE)技术设计和测试系统,然后生成目标控制器硬件的代码直接从模型使用一个自动化的代码生成器,QGen提供的。
JC Bernedo AdaCore QGen团队领导,说:“QGen是受信任的代码生成器,这意味着它生成的源代码是保证相当于仿真软件模拟环境,因此直接使用没有进一步的人工检查。这允许开发人员的关键系统简化开发,测试和验证过程,同时提供额外的安全保障他们的客户。我们很自豪帮助基于沈阳市盲校和埃尔多拉多研究所加快他们的拯救生命的医学界设备的发展。”
Guilherme Fonseca)研究和开发经理埃尔多拉多研究所补充道:“当我们寻找一个解决方案来设计测试和代码生成需求,我们发现QGen最佳匹配我们所需要的。它为我们提供了最好的整体价值,由于产生的简单易读的代码,保证之间的等价行为生成的代码和仿真。AdaCore向我们展示了良好的伙伴关系,支持整个开发过程。展望未来,只要我们有机会要求发展高风险、高可靠性的软件,我们将使用QGen来验证我们的模型和生成高可靠性的代码。”
完整的案例研究在这里。
