æ–°é—»

事件

LDRA AlteraNiosII 310112 CN
LDRA工具套件和Altera Nios II集成，使得针对汽车，医疗或者航空领域基于FPAGs进行符合DO-178, MISRA, 和 IEC 61508等标准的认证成为可能。
LDRA National Instruments 211211 UK
Joint offering exposes system defects early in development life cycle to enhance product quality, tighten schedules and reduce risk
LDRA QNX Momentics Integration 301111 CN
为了减轻医疗行业，工业安全性行业和汽车行业的监管负担，LDRA工具套件提供对QNX Neutrino 和 Momentics的工业标准模板和需求追踪支持。
LDRA MISRA Autocode 311011 CN
LDRA能够使用MISRA Autocode对基于模型生成的代码进行独立验证。MISRA AC针对安全关键系统中采用自动代码生成建议了良好的建模实践。
LDRA Mathworks Integration 260911 CN
LDRA和MathWorks实现了LDRA工具套件和Simulink的集成，为基于模型生成的代码提供了独立研制方案。双向的可追踪性保证了需求到测试的覆盖。
LDRA v9 Tool Suite 260911 CN
使用最新版本的LDRA工具套件对静态分析和动态分析的认证进行了自动化改进。V9版本扩大了LDRA在提供低开发成本的软件测试和验证方案领域的优势。

Archive 2009

Archive 2008

Archive 2007

Archive 2006

Archive 2005 and before