This service verifies software tools such as compilers that are TCL2 to 3 in system development that is classified as ASIL C or higher in ISO26262. We will create a tool certification support report that includes not only the verification results but also documents to show the validity of the verification and data such as workarounds for defects.
Verification of software tools that will be TCL2 to 3 in system development classified as ASIL C or higher.
We support software tool certification work for applicable software required by ISO 26262: 2011.
Comprehensive software testing can be a huge amount of combinatorial testing. By creating effective and efficient test cases that assume operation from functional specifications, manuals, and use cases, we will provide verification data that is convincing to certification bodies, even if it is not a huge combination test, and workarounds. In addition, by narrowing down the test cases, quality verification can be performed in a short period of time, and it is possible to reduce the cost related to software verification.
|Test design policy||Compliance with ISO 26262: 2011 requirements|
|Creation of verification data
Derivation of workaround
|When a defect is detected, we analyze the importance and range of influence, share information, and consider and derive workarounds.|
We will prepare an English report including the following contents required by ISO 26262: 2011.
The numbers in parentheses are the chapter numbers required by ISO 26262: 2011.
We will reflect the points pointed out in the tool certification support report.