An introduction to automated MISRA C:2012


This focuses on how an integrated and comprehensive set of tools such as the LDRA tool suite® can help ease the development path of AUTOSAR applications for the Classic and Adaptive Platforms

An Introduction to MISRA C:2012


A deeper analysis of the software development processes promoted by ISO 26262 “Road vehicles – Functional Safety”, and the benefits of automation to that process

Checking for MISRA C:2004 and MISRA C++:2008


AUTOSAR (Automotive Open System Architecture) is a standardization initiative of a group of leading automotive OEMs and suppliers, and was founded in autumn 2003.

1

Leveraging automated code review with C++ and C


The C++ language includes features that are prone to error. To counter that, "coding standards" or "language subsets" can be used to reduce the opportunity for mistakes by restricting the use of those features.

 Referencing the JSF ++ and MISRA C++:2008 subsets of the C++ language, this presentation gives a practical overview of how deviations from a standard can be identified and addressed using an automated code review process

2

IBM Rational DOORS: Automated traceability between requirements, source code, and tests


This overview presentation shows how the collation of that information can be automated, making for a more seamless and less error prone solution.

3

Coding standards (or “Language Subsets”)  aim to improve one or more of the portability, safety and security aspects of a program by restricting those aspects of the chosen programming language mostly likely to cause problems in those areas. 


An introduction to automated MISRA C:2012

Senior engineers at LDRA were part of the team responsible for MISRA C:2012, and this paper presents their perspective of its evolution


Leveraging automated code review with C++ 

This video references the JSF ++ and MISRA C++:2008 standards to give a practical overview of an automated code review process


Leveraging automated code review with C

This video references the MISRA C:2004 standard to give a practical overview of an automated code review process


Address your insecurities with CERT C

An introduction both to the CERT C standard, and the way in which automated tools can help achieve its objectives 


Customer stories

Akihito Iwai, DENSO

“The LDRA tool suite is used as a benchmark for other third-party and similar software platform products”

LDRA Is Here To Help


For more than 40 years, LDRA has developed and driven the market for software that automates code analysis and software testing for safety-, mission-, security-, and business-critical markets. Working with clients to achieve early error identification and elimination, and full compliance with industry standards, LDRA traces requirements through static and dynamic analysis to unit testing and verification for a wide variety of hardware and software platforms. Boasting a worldwide presence, LDRA has headquarters in the United Kingdom, United States, Germany, and India coupled with an extensive distributor network. For more information on the LDRA tool suite, please visit www.ldra.com.

ISO 9001 | TÜV Certification

The TÜV and ISO certificates each say something a little different about LDRA and its products. ISO 9001 certification demonstrates LDRA’s ability to consistently meet and exceed customer expectations. And TÜV approval of software test tools suggests something more specific about the capabilities of the products, and their capacity to meet the exacting demands of the world’s predominant functional safety standards.