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. |
Just select the document you wish to download. You will be asked to login before downloading it.
Just select the document you wish to download. You will be asked to login before downloading it.
Just select the document you wish to download. You will be asked to login before downloading it.
Just select the document you wish to download. You will be asked to login before downloading it.
Just select the document you wish to download. You will be asked to login before downloading it.
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.
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.
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.
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.
The LDRA tool suite is developed and certified to BS EN ISO 9001:2000. This comparison has used the MISRA-C:1998 standard.
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.
Ultra对已经存在的,未经认证的航空电子系统进行升级,由于DO-178B B级安全认证要求的引入,并且系统要移植到一个现有的商业(COTS)硬件平台上,所以将面临重大的挑战。Ultra关注使用的测试技术,特别是如何使用LDRA工具套件来克服现有的挑战以建立运行在VxWorks之上的安全认证平台。
Fairchild Controls – EADS北美部门(Fairchild)选择LDRA工具套件集成到他们的开发环境中,并且利用其提供的测试功能达到DO-178B C级认证。LDRA工具套件帮助Fairchild自动化开发过程,显著提高1000%工作效率。
IHI,喷气发动机的日本制造商,为DO-178B认证选择LDRA工具套件来验证C和Ada源代码。IHI公司声称,使用LDRA工具套件比以前的覆盖率分析过程快14倍。IHI公司还表示,选择LRA工具套件是由于工具本身的深度和多样性。
Just select the document you wish to download. You will be asked to login before downloading it.
Just select the document you wish to download. You will be asked to login before downloading it.
| 电子邮件: | info@ldra.com |
| 欧洲,中东,非洲电话: | + 44 (0) 151 649 9300 |
| 美国电话: | (650) 583 8880 |
| 印度电话: | +91 80 4080 8707 |