LDRA与Green Hills软件的协作为验证高安全性嵌入式系统提供了全面的解决方案
LDRA是标准合规性,自动化软件验证,软件代码分析和测试工具的领导者,今天宣布LDRA工具套件现已与用于汽车,工业安全和医疗设备的Green Hills平台集成。这种集成为开发和验证高可靠性嵌入式应用程序提供了全面的解决方案。
在先前的LDRA工具套件与Green Hills MULTI集成开发环境(IDE)和RTOS平台在航空航天和国防应用之间成功集成的基础上,新平台集成通过加快嵌入式应用程序的验证和交付速度,节省了设计时间和成本。要求遵守安全标准。
具体而言,与LDRA工具套件的集成为开发人员带来了生命周期可追溯性。静态代码分析,包括MISRA,CERT和CWE中的最新安全性和安全性;动态覆盖率分析;以及对每个行业平台中Green Hills MULTI IDE中已经强大的工具集进行的单元/集成测试。这为开发人员提供了一个全面的解决方案-从需求到验证和部署-可以帮助他们在生产高安全性软件的同时降低成本并缩短产品上市时间。
“随着对医疗设备,工业安全和汽车市场的安全性和安全性的日益重视,以及在这些市场中Green Hills Software和LDRA客户的广泛基础,这种集成平台解决方案为嵌入式开发人员提供了全面的解决方案,以确保高可靠性应用”,Green Hills Software业务开发副总裁Dan Mender说。“我们决定通过与LDRA工具套件无缝集成来增强我们自己的产品,以向需要这些功能的市场提供经过验证的安全性和安全性验证功能。”
集成的Green Hills Software MULTI平台和LDRA工具套件环境可在主机开发平台和目标平台上进行测试和调试,从而加快了产品调试的速度,并通过ASIL D进行了IEC 62304下II类和III类医疗设备的开发。符合ISO 26262的汽车和符合IEC 61508的SIL 4的工业安全标准。示例应用程序包括:
汽车:仪表盘,ADAS和动力总成医疗设备:除纤颤器,患者监护仪以及成像,透析和输液设备工业:工厂车间机械,机器人,工业控制系统“在与我们共享的客户群以及我们在该领域的共同团队进行了多次交谈之后,与Green Hills Software平台的额外集成将明显为必须遵守工业安全标准的开发人员带来巨大收益,” Jim McElroy说, LDRA营销副总裁。LDRA工具套件与Green Hills Software平台的集成为重要的高增长市场提供了前所未有的软件安全性和安全性保证。我们对合作的结果以及客户的积极响应感到非常满意。