资源

In this section you will find all of LDRA's product literature, white papers and a range of case studies for different industries.

产品资料

See our product literature to find a product best suited for your code.

白皮书

Authoritative reports on products and standards.

案例研究

Featured projects in different industries.

产品资料View All

MISRA Data Sheet

Just select the document you wish to download. You will be asked to login before downloading it.

LDRA Product Brochure v8.0

Just select the document you wish to download. You will be asked to login before downloading it.

LDRA Certification Services Brochure v2.3

Just select the document you wish to download. You will be asked to login before downloading it.

LDRA DO-178B TQSP v2.1

Just select the document you wish to download. You will be asked to login before downloading it.

LDRA Embed-X Leaflet v1.1

Just select the document you wish to download. You will be asked to login before downloading it.

白皮书View All

LDRA & National Instruments - Testing Safety Compliant Systems

White Paper: LDRA & National Instruments - Testing Safety Compliant Systems

Whether it is in an automobile, commercial airplane, medical device, or a number of other devices in a variety of industries, there has been a significant recent growth in electronic complexity and the amount of embedded software in products. Often, many of these control systems play a critical role in safety, thus placing an increased importance on the confidence of the embedded software to behave as desired without bugs and defects that could potentially be life-threatening. Several industries are addressing this concern through the use of functional safety standards, which introduce a process-oriented approach to developing electronic systems with safety in mind. These include: DO-178B/C for avionics, IEC 61508 for industrial safety, ISO 26262 for automotive, IEC 62304 for medical devices, and many more. However, the need to follow a process while the amount of software is experiencing exponential growth can be intimidating, especially when trying to test and validate the software and its abilities.

An Introduction to MISRA C:2012

White Paper: An Introduction to MISRA C:2012

The latest update, MISRA C:2012, is being released in early 2013 and will provide support for ISO 9899:1999 (C99)
while retaining support for C90. The new language subset will help mitigate software-related risks for safetycritical
applications, while allowing programmers to spend more time coding and less time on compliance efforts.
In the updated language subset, rules have been made more precise so that the language subset will not prevent
reasonable uses or behaviours that have no undesirable consequences. In addition developers will now have
better guidance on rules enforcement, such as whether a rule defines a general behaviour across the project or
only specific cases.

QNX and LDRA Dynamic Analysis

White Paper: Using Dynamic Software Analysis to Support Medical Device Approval

In this paper, we look at a) how dynamic code analysis can support demonstrations of compliance with safety requirements, and b) key capabilities we should look for in dynamic analysis tools. We then present in appendices, to help with tool selection, tables mapping development activities with requirements in the IEC 62304 standard: and, to help with OS selection, a short description of OS characteristics that can facilitate the design, development and approval of safety-related software.

Verification of Executable Object Code from a Model (Version 1.0)

The introduction of RTCA/DO-331 Model based Development and Verification Supplement to DO-178C and DO-278A offers new opportunities to leverage the strengths of model based development under RTCA/DO-178C.

LDRA MISRA-C:1998 Standard Compliance v9.1.1

The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the MISRA-C:1998 standard.

案例研究View All

HCC Raises the Bar on Quality and Reliability

As a developer of efficient high-quality software for the medical, transport, industrial and aerospace markets worldwide it is essential for HCC Embedded to hold a reputation for premium and reliable products. Following a vigorous and extensive competitive evaluation, HCC Embedded chose the LDRA tool suite to enforce the MISRA standard and to raise the bar on the software development processes applied to the file systems and TCP/IP products that they develop.

LDRA:符合Analox生命周期 & 测试生成

气体检测技术的领导者,在两个有苛刻安全要求的项目中选择LDRA工具套件。LDRA也是唯一能成功整合Analox工具链的产品,并使他们提高生产率和质量的同时降低成本。

Ultra Datel在安全-苛刻的航空电子软件升级中使用COTS

Ultra对已经存在的,未经认证的航空电子系统进行升级,由于DO-178B B级安全认证要求的引入,并且系统要移植到一个现有的商业(COTS)硬件平台上,所以将面临重大的挑战。Ultra关注使用的测试技术,特别是如何使用LDRA工具套件来克服现有的挑战以建立运行在VxWorks之上的安全认证平台。

LDRA为安全苛刻性软件开发加油

Fairchild Controls – EADS北美部门(Fairchild)选择LDRA工具套件集成到他们的开发环境中,并且利用其提供的测试功能达到DO-178B C级认证。LDRA工具套件帮助Fairchild自动化开发过程,显著提高1000%工作效率。

使用LDRA工具套件的飞跃

IHI,喷气发动机的日本制造商,为DO-178B认证选择LDRA工具套件来验证C和Ada源代码。IHI公司声称,使用LDRA工具套件比以前的覆盖率分析过程快14倍。IHI公司还表示,选择LRA工具套件是由于工具本身的深度和多样性。

投资回报率View All

LDRA Return on Investment v3.2 USA version

Just select the document you wish to download. You will be asked to login before downloading it.

LDRA Return on Investment v3.2

Just select the document you wish to download. You will be asked to login before downloading it.

最新新闻
    Show All
  • 14th May 2013
    With recent advances in automation, software is no longer a small part of electro-mechanical syste...
  • 9th May 2013
    Software analysis tool company, LDRA have announced that they will be giving away a copy of the MIS...
  • 6th May 2013
    Just after the creation of the MISRA C/C++ standard by the automotive industry as a guideline for ...
活动
21st May 2013 - 23rd May 2013
Certification Together International Conference
Toulouse, France
22nd May 2013
The Device Developers Conference
Stockport, UK
6th Jun 2013 - 8th Jun 2013
Automotive Engineering Show 2013
Chennai, India
联系方式
电子邮件: info@ldra.com
欧洲,中东,非洲电话: + 44 (0) 151 649 9300
美国电话: (650) 583 8880
印度电话: +91 80 4080 8707
Follow Us