LDRA & ENSCO, Inc. Partnership

LDRA和合作伙伴ENSCO公司

ENSCO在许多程序上成功使用了LDRA工具包。ENSCO提供给我们客户完全的单元测试解决方案，使用LDRA Testbed和TBrun，连同LDRA的汇编覆盖工具来验证飞行苛刻性软件满足DO-178B A级和B级标准，SEAl 1级标准。使用LDRA工具包验证应用软件的实例包括Trent 900 FADEC操作系统，联合战斗机多功能显示装置、激励系统和除冰系统。

为了提供给我们客户高质量的产品，性能和响应力，ENSCO已开发出详细的工作流程，工作指导和培训材料。有效的流程是ENSCO有能力做出响应，生产高质量的产品，满足紧密的计划表的关键因素。

除了提供单元测试解决方案以外，ENSCO还为LDRA工具包的配置，集成和资质提供咨询服务。ENSCO已发展与LDRA稳固的关系，这导致ENSCO可提供给美国基本公司在线的LDRA支持。

公司介绍

ENSCO公司为国防、安全、交通、环境、航空航天和智能自动控制行业提供工程、科学和先进技术的解决方案。ENSCO是一家成立于1969年，拥有1亿美元的资产，850位员工的私有企业。其总部位于Falls Church, Va., ENSCO主要的办事处位于Springfield, Va., Endicott, N.Y., Melbourne and Cocoa Beach, Fla., 以及遍布全美的地区办事处和中国北京的办事处。更多信息请登录ENSCO公司网站: www.ensco.com.

航空电子解决方案

2005年11月，ENSCO宣布与LDRA正式的合作伙伴关系，LDRA是航空电子自动化源代码分析和测试工具的领导者。这种合作关系带来了新的机遇，也为ENSCO带来了新的项目。

ENSCO在商业领域创新的系统解决方案，基于Endicott, NY在财政和策略上多年的日志记录。借助安全和任务苛刻性系统的工程学，ENSCO的技术专家支持航空电子客户多样的开发，验证，认证，过程咨询和培训活动。ENSCO的专有技术在商业和军用的航空航天领域已显示出强壮的生命力。通过在DO-178b，DO-254和Mil-Std方面连续的投资，ENSCO已经延伸到新的领域并且已打开新的通道。