Learn more about IEC Certification Kit

Certification Process Using the IEC Certification Kit Product

On this page…
Defining Certification Objectives and Requirements Certifying or Qualifying Software Tools

Defining Certification Objectives and Requirements

Before using the IEC Certification Kit product, define your certification objectives and requirements.

• Identify the scope of your certification activities, such as the applicant and the application to certify.

• Decide on the applicable safety standards and the required Safety Integrity Level (SIL) or Automotive Safety Integrity Level (ASIL).

• Determine the software development processes and software tool chain to use.

• Define tool certification or qualification requirements. For example, the tools and versions to certify or qualify.

Back to Top

Certifying or Qualifying Software Tools

The IEC 61508 and ISO 26262 standards include requirements or recommendations to use certified or qualified tools. You can use tool certification evidence from the IEC Certification Kit product to document compliance with the requirements or recommendations concerning tool certification or qualification.

Note   Using certified or qualified tools does not ensure the safety of the application under development.

The IEC Certification Kit product provides tool certification and qualification evidence for the following MathWorks products:

• Real-Time Workshop Embedded Coder

• PolySpace Client for C/C++; PolySpace Server for C/C++

The IEC Certification Kit product follows an in-context approach to tool certification and qualification. This approach is based on specific workflows to be used when applying the certified and qualified tools to develop or verify software for IEC 61508 and ISO 26262 applications. The applicant must ensure that the tools are used within the referenced workflows and constraints specified in the certificates.

The IEC Certification Kit product provides support for creating the following artifacts related to tool certification and qualification.

Tool Certification Artifacts for IEC 61508 Applications

Products	Purpose	References	Artifacts and Documents1
Real-Time Workshop Embedded Coder	Tool Certification Evidence for code generator	IEC 61508-3 Clause 7.4.4.3a IEC 61508-3 Table A-3 Technique/Measure 5a "Certificated Translator"	Certificate Z10 09 06 67052 002 Certification report MN72051C
	Documentation of Translation validation workflow	N/A	Application-Specific Verification and Validation of Models and Generated Code
	Evidence for using the code generator within the referenced workflows and within the constraints specified in its certificate	N/A	Customized and completed Conformance Demonstration Template
PolySpace Client for C/C++; PolySpace Server for C/C++	Tool Certification Evidence for code verification tool	IEC 61508-3, Table A-3, Technique/Measure 4a "Certificated Tool"	Certificate Z10 09 07 67052 003 Certificate Report MN74651C
	Documentation of Code verification workflow	N/A	Verification of C and C++ Code Using PolySpace Products
1For file names and locations, see IEC Certification Kit Components.

Tool Qualification Artifacts for ISO 26262 Applications

Products	Purpose	References	Artifacts and Documents1
Real-Time Workshop Embedded Coder	Software Tool Qualification Plan	ISO 26262-8, 11.4.2 ISO 26262-8, 11.4.4	Customized and completed Chapter 2, Software Tool Qualification Plan of the ISO 26262 Real-Time Workshop Embedded Coder Qualification Package template
	Software Tool Documentation	ISO 26262-8, 11.4.2.2	Customized and completed Chapter 3, Software Tool Documentation of the ISO 26262 Real-Time Workshop Embedded Coder Qualification Package template Documentation set for the Real-Time Workshop Embedded Coder product Installation Guide
	Software Tool Classification Analysis	ISO 26262-8, 11.4.2, 11.4.3	Customized and completed Chapter 4, Tool Classification of the ISO 26262 Real-Time Workshop Embedded Coder Qualification Package template
Real-Time Workshop Embedded Coder	Software Tool Qualification Report	ISO 26262-8, 11.4.3, 11.4.4, 11.4.5, 11.4.6, 11.4.7, 11.4.8	Customized and completed Chapter 5, Tool Qualification Documentation of the ISO 26262 Real-Time Workshop Embedded Coder Qualification Package template Certificate Z10 09 06 67052 002 Certification report MN72051C
	Documentation of Translation validation workflow	N/A	Application-Specific Verification and Validation of Models and Generated Code
	Evidence for using the code generator within the referenced workflows and within the constraints specified in its certificate	N/A	Customized and completed Conformance Demonstration Template
PolySpace Client for C/C++; PolySpace Server for C/C++	Software Tool Qualification Report	ISO 26262-8, 11	Certificate Z10 09 07 67052 003 Certificate Report MN74651C
	Documentation of Code verification workflow documentation	N/A	Verification of C and C++ Code Using PolySpace Products
1For file names and locations, see IEC Certification Kit Components.

Note   Some safety standards, including IEC 61508, do not have a formal concept of certification credits. The amount of credit for the use of certified or qualified tools is dependent on the applicant's development, verification and validation processes, and how the applicant uses the tools within those processes. The applicant should propose and discuss an initial version of the compliance package, including tool qualification data, to the certification authority or internal assessor early in the development lifecycle.

Back to Top

Certification Process

Supporting Certification-Related Development Activities

© 1984-2009- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS