Automotive and Transport

Safety and security-critical software for the automotive industry need to be developed with highest quality. The amount of code in automobiles increases each year and the risk of injury or death caused by software errors has raised the stakes for developers. Even without a catastrophic event, no developer or project manager wants to be at the origin of an expensive vehicle recall due to a software error.
The standards ISO 26262 and IEC 61508 have strict requirements concerning verification and validation for software development in the automotive and transport industries.
According to the Automotive Safety Integrity Level (for ISO 26262) and the Safety Integrity Level (for IEC 61508) specific Code Coverage levels up to Modified Condition Decision Coverage (MC/DC) are required by the safety standards.
Static code analysis helps to simplify and improve the design, implementation, and testing stages of software development. The MISRA (Motor Industry Software Reliability Association) standard was created to facilitate best practices for the development of safety-critical software in road vehicles.

Meet the Code Coverage Requirements of ISO 26262 and IEC 61508 with Testwell CTC++ Code Coverage Analyzer

In order to evaluate the completeness of test cases, ISO 26262 requires the measurement of structural coverage. Depending on the Automotive Safety Integrity Level statement coverage, branch coverage and/or MC/DC (Modified Condition/Decision Coverage) is required (see 8.4.5 of 26262-6).

Coverage Level	ASIL A	ASIL B	ASIL C	ASIL D
Statement Coverage	+ +	+ +	+	+
Branch Coverage	+	+ +	+ +	+ +
MC/DC (Modified Condition/Decision Coverage)	+	+	+	+ +

+ + stands for "highly recommended", + stands for "recommended"

If the achieved structural coverage is considered insufficient, additional test cases or a rationale shall be provided according 9.4.5 of ISO 26262-6.

Testwell CTC++ Code Coverage Analyzer can be used for analysing this coverage levels.
In 9.4.6 the standard requires that the test environment for software unit testing shall correspond as closely as possible to the target environment.
Testwell CTC++ is the ideal coverage tool to respond to this requirement, because it analyses for test coverage in any (even smallest) embedded targets.
Testwell CTC++ is certified by TÜV Süd. With the Safety-Package it can be used in safety-related software development according to IEC 61508, EN 50128 and ISO 26262 without any further tool qualification activities.

Static Analysis

CodeSonar is a Static Code Analysis Tool which is specifically designed for zero-tolerance defect environments.
CodeSonar can make a significant contribution to high code quality. Sophisticated analyses provide multiple points of leverage for verification and reverification.
With its advanced static analysis engine, CodeSonar is one of the most effective tools for eliminating the most costly and hard-to-find software defects early in the application development lifecycle.
CodeSonar performs whole-program, interprocedural analysis on C and C++ source code, identifying programming bugs that can result in system crashes, memory corruption, and other serious problems. CodeSonar finds bugs automatically.
For the development of high-quality code for security- and safety-critical systems, the automotive industry relies on coding standards such as the MISRA guidelines for C and C++. GrammaTech CodeSonar supports you with checks for MISRA and many other coding guidelines.
BMW, Continental, Daimler and many other companies and organizations rely on CodeSonar to perform static code analysis in ISO 26262 projects.
For further information, please read our whitepaper:   Simplifying ISO 26262 Compliance with CodeSecure

Imagix 4D is a tool to understand, document and improve complex, third party or legacy source code in C, C++ and Java. It automates the analysis of control flow and dependencies. Furthermore, Imagix 4D detects problems in data usage and task interactions.
With Imagix 4D you increase productivity, improve quality, and reduce risk.

One of the requirements of ISO 26262 is the enforcement of low code complexity for all Automotive Safety Integrity Levels (see 5.4.7 of 26262-6).
Testwell CMT++ Code Complexity Measurement Tool can be used in order to achieve this goal. The tool analyses for the most important metrics like Lines-of-code Metrics (LOC), Halstead-Metrics, McCabe Cyclomatic Number v(G), Maintainability Index and Max ND / Maximum Nesting Depth. Testwell CMT++ is very easy to use, extremely fast and analyses even very large code bases.

Seminars

Developers and managers of safety critical software need best knowledge in order to provide excellent software.
Verifysoft supports you with seminars and workshops.

Hundreds of Companies and Organisations enhance their Software Quality with Verifysoft's Testing Solutions

Verifysoft's Testing solutions have proven success in safety and security critical software development within the automotive industry. Our satisfied customers include:





Read here what Customers say about our tools: