Resources

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: 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.

Analox, is a leader in gas detection technology selected the LDRA tool suite Analox for two projects demanding a safety requirement. LDRA was also the only product able to integrate successfully with the Analox tool chain and enabled them to increase productivity and quality while reducing costs.

Ultra developed a midlife upgrade of a pre-existing, uncertified, avionics system and highlights the significant challenges faced due to the introduction of requirements for DO-178B Level B safety certification coupled with a migration to a commercial off-the-shelf (COTS) hardware platform. It focuses upon the test techniques that were applied and specifically how the LDRA tool suite was utilised to overcome the identified challenges to develop a safety-certifiable platform running on VxWorks.

Fairchild Controls - a division of EADS North America (Fairchild) selected the LDRA tool suite to integrate into their development environment and utilise the test facilities provided to achieve DO-178B Level C certification. The LDRA tool suite helped Fairchild to automate the development processes and dramatically increased efficiency by 1000%.