IEC Certification Kit 1.1

for IEC 61508 and ISO 26262

Working with IEC Certification Kit

IEC Certification Kit follows an in-context approach to IEC 61508 certification that is based on a specific workflow or set of workflows used when the applicant applies specific tools to develop or verify software for IEC 61508–compliant or IEC 61508–certified applications. The applicant must ensure that the tools are used within the referenced workflows and within the constraints specified in their respective certificates.

To use the IEC Certification Kit product, follow these steps:

1. Decide whether you will pursue a self-certification or an external certification.
2. Document compliance with relevant IEC 61508 requirements.
3. Propose initial certification package to certification authorities.
4. Provide completed certification package to certification authorities.

Although IEC Certification Kit provides guidance and information for all of the above steps, its main goal is to help you achieve step 4 with MathWorks tools. To that end, IEC Certification Kit includes the artifacts, templates, and documentation for MathWorks tools, as noted in the accompanying tables.

 

Kit Contents for Supported MathWorks Products

Real-Time Workshop Embedded Coder

Purpose	IEC 61508-3 Reference	Documents and Artifacts
Evidence for using certified translators	Measure/Technique 5a, "Certificated Translator," in Table A-3, in Clause 7.4.4.3a	Certificate for Real-Time Workshop Embedded Coder Certificate Report for Real-Time Workshop Embedded Coder
Evidence for IEC 61508-3–compliant verification and validation of models and generated code	Applicable requirements of overall software safety life cycle that relate to verification and validation of models and generated code	Workflow documentation describing the verification and validation of models and generated code Tailored and completed Conformance Demonstration Template

 

PolySpace Verifier for C

Purpose	IEC 61508-3 Reference	Documents and Artifacts
Evidence for using certified tools	Measure/Technique 4a, "Certificated Tool," in Table A-3, in Clause 7.4.4.3a	Certificate for PolySpace Verifier for C Certificate Report for PolySpace Verifier for C
Evidence for IEC 61508-3–compliant verification of C code	Applicable requirements of overall software safety life cycle that relate to static code inspection against formal criteria and software quality assurance	Workflow documentation describing the verification of C code using PolySpace products

 

Note: Real-Time Workshop Embedded Coder and PolySpace code verifiers were not developed using an IEC 61508–compliant process. Using certified tools does not ensure the safety of the software or the system under consideration.