Qualify code generation and verification tools for ISO 26262 and IEC 61508 certification

IEC Certification Kit provides tool qualification artifacts, certificates, and test suites, and generates traceability matrices. The kit helps you qualify code generation and verification products and streamline certification of your embedded systems to ISO 26262, IEC 61508, EN 50128, and related functional safety standards such as IEC 62304. Certificates and assessment reports from the certification authority TÜV SÜD are included in the kit for the supported products and standards.

IEC Certification Kit provides ISO 26262 tool qualification and classification work products, together with test suites. It includes templates that let you adapt the work products to meet specific project needs. You can generate project-specific artifacts, including traceability matrices covering requirements, models, and generated code. Project- and product-specific artifacts can be combined to produce a complete ISO 26262 tool qualification package for embedded system certification.

Note: ISO26262:2018 states that Simulink and Stateflow are suitable for Software Architecture and Software Unit Design Notations and as a basis for automatic code generation

Key Features

TÜV SÜD certificates and reports for supported Simulink products
TÜV SÜD certificates and reports for supported Polyspace products
ISO 26262 tool classification and qualification work products and test suites
Traceability matrix generation covering requirements, models, and generated code
Customizable templates for delivering documentation to certification authorities
Artifacts explorer for navigating and viewing artifacts for each supported product and standard
Checks for tool-associated bug reports