IEC Certification Kit (for ISO 26262 and IEC 61508) Release Notes

IEC Certification Kit (for ISO 26262 and IEC 61508)Release Notes

How to Contact MathWorks

Latest news: www.mathworks.com

Sales and services: www.mathworks.com/sales_and_services

User community: www.mathworks.com/matlabcentral

Technical support: www.mathworks.com/support/contact_us

Phone: 508-647-7000

The MathWorks, Inc.1 Apple Hill DriveNatick, MA 01760-2098

IEC Certification Kit (for ISO 26262 and IEC 61508) Release Notes© COPYRIGHT 2009–2021 by The MathWorks, Inc.The software described in this document is furnished under a license agreement. The software may be used or copiedonly under the terms of the license agreement. No part of this manual may be photocopied or reproduced in any formwithout prior written consent from The MathWorks, Inc.FEDERAL ACQUISITION: This provision applies to all acquisitions of the Program and Documentation by, for, or throughthe federal government of the United States. By accepting delivery of the Program or Documentation, the governmenthereby agrees that this software or documentation qualifies as commercial computer software or commercial computersoftware documentation as such terms are used or defined in FAR 12.212, DFARS Part 227.72, and DFARS 252.227-7014.Accordingly, the terms and conditions of this Agreement and only those rights specified in this Agreement, shall pertainto and govern the use, modification, reproduction, release, performance, display, and disclosure of the Program andDocumentation by the federal government (or other entity acquiring for or through the federal government) and shallsupersede any conflicting contractual terms or conditions. If this License fails to meet the government's needs or isinconsistent in any respect with federal procurement law, the government agrees to return the Program andDocumentation, unused, to The MathWorks, Inc.

TrademarksMATLAB and Simulink are registered trademarks of The MathWorks, Inc. Seewww.mathworks.com/trademarks for a list of additional trademarks. Other product or brand names may betrademarks or registered trademarks of their respective holders.PatentsMathWorks products are protected by one or more U.S. patents. Please see www.mathworks.com/patents formore information.

https://www.mathworks.com

https://www.mathworks.com/sales_and_services

https://www.mathworks.com/matlabcentral

https://www.mathworks.com/support/contact_us

https://www.mathworks.com/trademarks

https://www.mathworks.com/patents

R2021a

Qualification and Certification Artifacts for R2021a . . . . . . . . . . . . . . . . . 1-2

Qualification of aggregate coverage reports for Simulink Test . . . . . . . . . 1-3

Qualification of additional Model Advisor checks for verifying compliancewith MAB and high-integrity systems modeling guidelines . . . . . . . . . . 1-3

Automated verification of Simulink Check tool validation reports . . . . . . 1-4

Example ISO 26262 Simulink project demonstrates developmentactivities according to ISO 26262:2018 . . . . . . . . . . . . . . . . . . . . . . . . . . 1-4

Enhanced ISO modeling guidelines for compliance with ISO 26262:2018. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-5

Enhanced Simulink Coverage test suites . . . . . . . . . . . . . . . . . . . . . . . . . . 1-7

Enhanced Polyspace test suites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1-8

Artifacts restructured to consolidate content and improve usability . . . . 1-9

R2020b

Qualification and Certification Artifacts for R2020b . . . . . . . . . . . . . . . . . 2-2

Use ISO modeling guidelines to improve compliance with ISO 26262:2018. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-3

Qualification of Model Advisor checks for improving MISRA C:2012compliance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-4

Automated verification of Simulink Coverage tool qualification results. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-5

Integration of ISO/PAS 21448:2019 in the Model-Based Design workflow. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-5

Qualification of IEC Certification Kit tools for use with EN 50657:2017. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2-6

iii

Contents

Enhanced Polyspace test suites for CERT C: 2016, C++:2017, and C++exceptions checks, and support for macOS . . . . . . . . . . . . . . . . . . . . . . . 2-6

R2020a

Qualification and Certification Artifacts for R2020a . . . . . . . . . . . . . . . . . 3-2ISO 26262 tool prequalification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-2IEC 61508 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-2EN 50128 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-3ISO 25119 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-3IEC 61511 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-3

Qualification of IEC Certification Kit tools for use with ISO 25119:2018. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-4

Qualification of HDL Coder for use with ISO 26262, IEC 61508, EN 50128,IEC 62304, and ISO 25119 standards . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-4

Qualify Simulink Coverage for function and function call code coveragetypes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3-4

R2019b

Qualification and Certification Artifacts for R2019b . . . . . . . . . . . . . . . . . 4-2ISO 26262 tool prequalification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-2IEC 61508 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-2EN 50128 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-2IEC 61511 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-3

Qualification of Simulink Test Custom Criteria . . . . . . . . . . . . . . . . . . . . . 4-3

Qualify High-Integrity Model Advisor check "Check type and size ofconditional expressions" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-4

Enhanced test suite for Polyspace Code Prover and Polyspace Code ProverServer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-4

System Composer tool added to IEC Certification Kit Reference Workflow. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4-4

Access IEC Certification Kit capabilities from Simulink toolstrip . . . . . . 4-5

iv Contents

R2019a

Qualification and Certification Artifacts for R2019a . . . . . . . . . . . . . . . . . 5-2ISO 26262 tool prequalification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-2IEC 61508 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-2EN 50128 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-2IEC 61511 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-3

Artifacts updated for ISO 26262: 2018 functional safety standards anddraft of the ISO/PAS 21448 Safety of the intended functionality (SOTIF)standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-3

Qualification of Polyspace Bug Finder Server and Polyspace Code ProverServer for use with ISO 26262, IEC 61508, EN 50128, and IEC 62304standards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-4

Test Suites and Output Reports . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-4

Qualification of Simulink Requirements for use with ISO 26262, IEC61508, EN 50128, and IEC 62304 standards . . . . . . . . . . . . . . . . . . . . . . 5-6

Qualification of AUTOSAR Blockset with Embedded Coder for use withthe ISO 26262 standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-7

IEC Certification Kit contextual tab in the Simulink Toolstrip TechPreview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5-7

R2018b

Qualification and Certification Artifacts: Qualify R2018b versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-2

ISO 26262 tool prequalification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-2IEC 61508 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-2EN 50128 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-2IEC 61511 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-3

IEC Certification Kit Checks: Qualify additional High-Integrity ModelAdvisor checks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-3

Simulink PLC Coder Qualification: Qualify Simulink PLC Coder for usewith ISO 26262 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6-3

v

R2018a

Qualification and Certification Artifacts: Qualify R2018a versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7-2


IEC Certification Kit Reference Workflow: Introduce an integratedworkflow document to cover the full Model-Based Design lifecycle forISO 26262, IEC 61508, EN 50128, and IEC 62304 standards . . . . . . . . 7-3

R2017b

Qualification and Certification Artifacts: Qualify R2017b versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-2


Simulink Verification and Validation Packaging: Qualified features for ISOand IEC compliance are included in Simulink Check and SimulinkCoverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-3

Certification Artifacts Explorer: Access artifacts through Simulink menubar or MATLAB Toolstrip app . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-3

IEC Certification Kit Checks: Qualify additional Model Advisor checks. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-4

Simulink PLC Coder Qualification: Qualify Simulink PLC Coder for usewith EN 50128 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8-4

R2017a

Qualification and Certification Artifacts: Qualify R2017a versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9-2


vi Contents

Design Error Detection Qualification: Qualify Simulink Design Verifier fordesign error detection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9-3

Polyspace Report Qualification: Qualify Polyspace Bug Finder andPolyspace Code Prover verification reports . . . . . . . . . . . . . . . . . . . . . . . 9-3

Model Coverage Qualification: Qualify Simulink Verification andValidation for execution coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9-3

R2016b

Qualification and Certification Artifacts: Use artifacts to qualify andcertify R2016b versions of supported products . . . . . . . . . . . . . . . . . . 10-2

ISO 26262 tool prequalification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-2IEC 61508 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-2EN 50128 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-2IEC 61511 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-3

Code Coverage Qualification: Qualify Simulink Verification and Validationfor generated code coverage during SIL execution . . . . . . . . . . . . . . . 10-3

Model Coverage Qualification: Qualify Simulink Verification andValidation for legacy code coverage in S-functions during modelsimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-3

Simulink Test Function Qualification: Qualify verify functions in TestSequence blocks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10-3

Polyspace Bug Finder Qualification: Security defect detection . . . . . . . . 10-3

R2016a

IEC 62304 Medical Standard Support: Generate artifacts to comply withmedical device standards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-4

Qualification and Certification Artifacts: Qualify and certify R2016aversions of supported products by using artifacts . . . . . . . . . . . . . . . . 11-2

ISO 26262 tool prequalification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-2IEC 61508 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-2EN 50128 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-3IEC 61511 tool certification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11-3

vii

R2015b

Certification and qualification artifacts for Simulink Test . . . . . . . . . . . 12-2

Qualification and certification artifacts for R2015b . . . . . . . . . . . . . . . . . 12-2ISO 26262 tool prequalification of R2015b versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12-2IEC 61508 tool certification of R2015b versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12-2EN 50128 tool certification of R2015b versions of supported products . . 12-2IEC 61511 tool certification of R2015b versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12-3

R2015a

Qualification and certification artifacts for R2015a . . . . . . . . . . . . . . . . . 13-2ISO 26262 tool prequalification of R2015a versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-2IEC 61508 tool certification of R2015a versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-2EN 50128 tool certification of R2015a versions of supported products . . 13-2IEC 61511 tool certification of R2015a versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-2

Enhanced tool validation tests for Simulink Verification and Validationmodel coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-3

Qualification of Polyspace Bug Finder and Polyspace Code Prover MISRAC:2012 coding rules . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13-3

R2014b

Qualification and certification artifacts for supported products in R2014b. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-2

ISO 26262 tool prequalification of R2014b versions of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-2

IEC 61508 tool certification of R2014b versions of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-2

EN 50128 tool certification of R2014b versions of supported products . . 14-2IEC 61511 tool certification of R2014b versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-2

ISO 26262 qualification of Embedded Coder Support Package forAUTOSAR Standard . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-3

viii Contents

Enhanced tool validation tests for Simulink Verification and Validationmodel coverage . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14-3

Enhanced getting started with IEC Certification Kit documentation . . . 14-3

R2014a

Qualification and certification artifacts for supported products in R2014a. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15-2

ISO 26262 tool prequalification of R2014a versions of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15-2

IEC 61508 tool certification of R2014a versions of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15-2

EN 50128 tool certification of R2014a versions of supported products . . 15-2IEC 61511 tool certification of R2014a versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15-2

R2013b

Qualification and certification artifacts for R2013b of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-2

ISO 26262 tool prequalification of R2013b versions of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-2

IEC 61508 tool certification of R2013b versions of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-2

EN 50128 tool certification of R2013b versions of supported products . . 16-2IEC 61511 tool certification of R2013b versions of supported products

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-2

Support for Polyspace Bug Finder and Polyspace Code Prover . . . . . . . . 16-3

Certification Artifacts Explorer support on Linux and Mac platforms. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16-3

R2013a

Qualification and certification artifacts for R2013a of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17-2

ISO 26262 tool prequalification of R2013a versions of supported products. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17-2


EN 50128 tool certification of R2013a versions of supported products . . 17-2

ix


Model-Based Design for IEC 61508 document . . . . . . . . . . . . . . . . . . . . . 17-3

Enhanced software tool validation tests for Simulink Verification andValidation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17-3

R2012b

ISO 26262:2011 tool prequalification by TÜV SÜD of R2012b versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-2

IEC 61508:2010 tool certification by TÜV SÜD of R2012b versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-2

EN 50128:2011 tool certification by TÜV SÜD of R2012b versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-2

IEC 61511:2003 tool certification by TÜV SÜD of R2012b versions ofsupported products . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-2

Model Advisor checks for bug reports . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-3

New EN 50128 certification artifact . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-3

Microsoft Word docx files for certification artifacts . . . . . . . . . . . . . . . . . 18-3

New Simulink default file format . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18-3

R2012a

ISO 26262 Tool Qualification of New Releases . . . . . . . . . . . . . . . . . . . . . 19-2

IEC 61508 Tool Certification of New Releases . . . . . . . . . . . . . . . . . . . . . 19-2

Software Tool Validation Tests for Polyspace . . . . . . . . . . . . . . . . . . . . . . 19-2

New ISO 26262 Certification Artifacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19-2

x Contents

R2011b


IEC 61508 Tool Certification of New Releases . . . . . . . . . . . . . . . . . . . . . 20-2

Simulink Verification and Validation Certification Artifacts and SoftwareTool Validation Tests . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20-2

Certification Artifacts Explorer Display Enhancements . . . . . . . . . . . . . . 20-2

R2011a

Certification of Simulink Design Verifier and Simulink Verification andValidation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-2

Software Tool Validation Tests for Embedded Coder . . . . . . . . . . . . . . . . 21-2

Enhanced Dialog for Generating Traceability Matrices . . . . . . . . . . . . . . 21-2

IEC Certification of New Releases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21-3


R2010bSP1

Using Version 1.3 of the IEC Certification Kit Software with R2010bSP1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22-2

R2010b

IEC Certification of Simulink PLC Coder . . . . . . . . . . . . . . . . . . . . . . . . . . 23-2

Traceability Matrix Enhancements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-2Ability to Export a Traceability Matrix Directly From a Generated HTML

Traceability Report . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-2New Code Interface Worksheet . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23-2


xi


R2010a



Access and Manage Certification Artifacts Using Certification ArtifactsExplorer . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24-2

R2009b+

IEC 61508 Certification of New Versions . . . . . . . . . . . . . . . . . . . . . . . . . . 25-2

ISO 26262 Tool Qualification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25-2

ISO 26262 Support . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25-2

Traceability Among Model Objects, Generated Code, and ModelRequirements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25-2

Limitations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25-2

R2009a+

Version 1.0 of the IEC Certification Kit . . . . . . . . . . . . . . . . . . . . . . . . . . . 26-2

xii Contents

R2021a

Version: 3.17

New Features

Bug Fixes

Compatibility Considerations

1

Qualification and Certification Artifacts for R2021aIn R2021a, the TÜV SÜD has performed a qualification assessment of the IEC Certification Kit. Thistable identifies the MathWorks® products that are prequalified for the functional safety standards.

For more information, see Certification Artifacts.

Product IEC61508:2010

ISO26262:2018

EN 50128:2011

EN 50657:2017

IEC62304:2015

ISO 25119:2018

IEC61511:2016

EmbeddedCoder®

Version 7.6

✔ ✔ ✔ ✔ ✔ ✔ N/A

AUTOSARBlocksetVersion 2.4

✔ ✔ ✔ ✔ ✔ ✔ N/A

Simulink®

Check™Version 5.1

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkCoverage™Version 5.2

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkDesignVerifier™Version 4.5

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkRequirements™ Version1.7

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkTest™Version 3.4

✔ ✔ ✔ ✔ ✔ ✔ N/A

Polyspace®

BugFinder™Version 3.4

✔ ✔ ✔ ✔ ✔ ✔ N/A

PolyspaceBug FinderServer™Version 3.4

✔ ✔ ✔ ✔ ✔ ✔ N/A

PolyspaceCodeProver™Version10.4

✔ ✔ ✔ ✔ ✔ ✔ N/A

R2021a

1-2

https://www.tuvsud.com/en

https://www.mathworks.com/help/releases/R2020b/certkitiec/iec-certification-kit-components.html


ISO26262:2018

EN 50128:2011

EN 50657:2017

IEC62304:2015

ISO 25119:2018

IEC61511:2016

PolyspaceCodeProverServerVersion10.4

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkPLCCoder™Version 3.4

✔ ✔ ✔ ✔ ✔ ✔ ✔

HDLCoder™Version3.18

✔ ✔ ✔ ✔ ✔ ✔ N/A

Qualification of aggregate coverage reports for Simulink TestThe TÜV SÜD has certified the aggregated coverage results in the Simulink Test test report for use indevelopment processes that must comply with IEC 61508, ISO 26262, EN 50128, ISO 25119, orderivative standards.

Before R2021a, you had to review coverage results in the test reports for both Simulink Test andSimulink Coverage. Now, you can configure the Simulink Test test report to include the aggregatedcoverage data from the Simulink Coverage tests results.

Note Test suites and test cases inherit the coverage metrics that are specified in Test Manager,rather than the coverage metrics specified in the model being tested. For more information aboutusing the Test Manager to generate aggregated coverage data, see “Collect Coverage in Tests”(Simulink Test).

For information about IEC Certification Kit support for Simulink Test, see “Tool CertificationArtifacts”.

Qualification of additional Model Advisor checks for verifyingcompliance with MAB and high-integrity systems modeling guidelinesThe TÜV SÜD has certified these High-Integrity System Modeling and MathWorks Advisory Board(MAB) checks for use in development processes that must comply with IEC 61508, ISO 26262, EN50128, EN 50657, ISO 25119, or derivative standards.

Check Title Check ID“Check safety-related settings for hardwareimplementation” (Simulink Check)

mathworks.hism.hisl_0071

1-3



Check Title Check ID“Check for divide-by-zero calculations” (SimulinkCheck)


“Check usage of recursions” (Simulink Check) mathworks.hism.hisf_0004“Check usage of restricted variable names”(Simulink Check)

mathworks.maab.na_0019

“Check usage of floating-point expressions inStateflow charts” (Simulink Check)

mathworks.maab.jc_0481

“Check usage of numeric literals in Stateflow”(Simulink Check)

mathworks.jmaab.jc_0702

“Check default/else case in Switch Case blocksand If blocks” (Simulink Check)


“Comparing floating point types in Simulink”(Simulink Check)


“Check for cascaded Unit Delay blocks” (SimulinkCheck)


For more information about IEC Certification Kit support for the Simulink Check Model Advisorchecks, see “Tool Certification Artifacts”.

Compatibility ConsiderationsModel Advisor check Check safety-related optimization settings for Loop unrolling threshold(check ID mathworks.hism.hisl_0051) is qualified for use in development processes that mustcomply with IEC 61508, ISO 26262, EN 50128, EN 50657, ISO 25119, or derivative standards. InR2021a, the check is removed from the Model Advisor because corresponding modeling guidelinehisl_0051 is removed. For more information, see release note “Enhanced ISO modeling guidelines forcompliance with ISO 26262:2018” on page 1-5.

Automated verification of Simulink Check tool validation reportsThe TÜV SÜD has certified the autocomparison of Simulink Check tool validation reports indevelopment processes that must comply with ISO 26262 or derivative standards. Theautocomparison compares expected results (provided in the IEC Certification Kit) against the actualresults to determine the PASS or FAIL status.

For more information about IEC Certification Kit support for Simulink Check, see “Tool CertificationArtifacts”.

Example ISO 26262 Simulink project demonstrates developmentactivities according to ISO 26262:2018The IEC Certification Kit includes the Highway Lane Following Case Study, which demonstrates howyou can streamline the adoption of a Model-Based Design workflow for an ISO 26262:2018 ASIL Dproject. The example addresses many of the development and verification lifecycle stages called outin these ISO 26262:2018 normative clauses:

R2021a

1-4


• Clause 5 : General topics for the product development at the software level• Clause 6 : Specification of software safety requirements• Clause 7 : Software architectural design• Clause 8 : Software unit design and implementation• Clause 9 : Software unit verification• Clause 10 : Software integration and verification• Clause 11 : Testing of the embedded software• Annex C : Software configuration

The key advantages of applying Model-Based Design using Simulink include:

• Complete traceability and improved consistency among requirements, architecture, design, sourcecode, and test cases.

• Continuous and uninterrupted refinement of system and software requirements and architecturaldesigns.

• Consistency of data throughout the development lifecycle.• Improved software quality through automatic code generation (reduced risk of coding errors).• Continuous and early validation of requirements as soon as the design process begins.• Continuous verification of static aspects of architectures, e.g., through simulation and automatic

consistency checks.• Continuous and early verification of designs (efficient elimination of errors at early stages and

before hardware becomes available).• Integrated workflow for scenario testing of ADAS applications through sensor, environment, and

plant modeling and simulations.• Easy modification, refactoring, and maintenance of development artifacts and automatically

generated work products.• Confidence of use in qualified software tools throughout the safety/development lifecycle.

To open the case study, on the MATLAB command line, enter iso26262CaseStudyStart.

For more information, see “Using Model-Based Design in the ISO 26262:2018 Case Study”.

Enhanced ISO modeling guidelines for compliance with ISO26262:2018In R2021a, these high-integrity modeling guidelines are added to the ISO 26262 modeling guidelines:

• “hisl_0067: Protect against divide-by-zero calculations”• “hisl_0071: Configuration Parameters > Hardware Implementation >Inconsistent hardware

implementation settings”

This table identifies modeling guidelines that were modified in R2021a.

1-5

Modeling Guideline Rationale“hisf_0004: Protect against recursive functioncalls to improve code compliance”

The title of the guideline is updated from "Usageof recursive behavior" to "Protect againstrecursive function calls to improve codecompliance".

The description is updated to instruct you not tocall functions recursively. Further explanation isprovided in the guideline Notes.

The guideline now specifies prerequisiteshisf_0011, hisl_0311, and hisl_0060.

“hisl_0311: Configuration Parameters >Diagnostics > Stateflow”

Added these configuration parameters, which areto be set to error:

• “Read-before-write to output in Moore chart”(Simulink)

• “Absolute time temporal value shorter thansampling period” (Simulink)

• “Self transition on leaf state” (Simulink)• “Execute-at-Initialization disabled in presence

of input events” (Simulink)• “Use of machine-parented data instead of

Data Store Memory” (Simulink)“hisl_0016: Usage of blocks that computerelational operators”

Sign block is added to the list of blocks for whichyou must avoid comparisons by using the == or~= operator on floating-point data types.

na_0010: Usage of vector and bus signals Removed NA-MAAB recommendations forapplication of sub IDs to your model. The workinggroup voted to remove or not recommend theMAB v5.0 version of the guideline.

For information about using the ISO 26262 modeling guidelines as part of the reference workflow, seeModeling Guidelines for ISO 26262-6: 2018. The guidelines are available in the Artifacts Explorer,see iso26262_guidelines.docx/pdf.

Compatibility ConsiderationsThis table identifies changes to the modeling guidelines that might impact compatibility, includingremoved guidelines or conditions.

R2021a

1-6

https://www.mathworks.com/help/releases/R2020b/certkitiec/ug/modeling-guidelines-iso-26262-6.html

matlab:certkitiec

Modeling Guideline Corresponding Model AdvisorCheck

Rationale

hisl_0051: ConfigurationParameters > Code Generation> Optimization > Loop unrollingthreshold

Check safety-relatedoptimization settings for Loopunrolling threshold

Removed guideline hisl_0051.The guideline suggests settingthe loop rolling threshold to 2 orhigher. A loop cannot existunless the data type isnonscalar. Nonscalar types havea dimension of 2 or higher,therefore, the rule is irrelevant.

hisf_0213: Protect againstdivide-by-zero calculations inStateflow® charts to improveMISRA C:2012 compliance

N/A Removed guideline hisf_0213.The guideline is replaced by“hisl_0067: Protect againstdivide-by-zero calculations”.

“hisl_0005: Usage of Productblocks”

N/A Removed condition A from theguideline because divide-by-zerois covered by “hisl_0067:Protect against divide-by-zerocalculations”.

Enhanced Simulink Coverage test suitesIn R2021a, the Simulink Coverage test suites include:

Model Coverage

• Additional model coverage types• Blocks in the Simulink library (see library model simulink.slx)• Decisions and conditions of code in MATLAB Function blocks• Objective and constraint blocks in the Simulink Design Verifier library (see library model

sldvlib.slx)• Performance constraints

Code Coverage

• Software limitations to the length of source code constructs for MCDC coverage types

The TÜV SÜD has certified these new Simulink Coverage test suites for use in development processesthat must comply with ISO 26262 or derivative standards.

To provide bi-directional traceability between the model constructs, test models, and test cases, thesematrices are added to the IEC Certification Kit in R2021a:

• certkitiec_slcov_eml.xlsx• certkitiec_slcov_lim.xlsx

For more information about executing the test cases, see “Software Tool Validation”.

1-7


Compatibility ConsiderationsIn R2021a, test cases in certkitiec_slcov_lut.m and certkitiec_slcov_lut.m are moved totest suite certkitiec_slcov_sl.m. Bi-directional traceability matrixcertkitiec_slcov_sl.xlsx is updated to reflect this change.

These files are removed from the IEC Certification Kit:

• Test suites certkitiec_slcov_lut.m and certkitiec_slcov_sr.m• Traceability matrices certkitiec_slcov_lut.xlsx and certkitiec_slcov_sr.xlsx

Enhanced Polyspace test suitesThe TÜV SÜD has certified these Polyspace test suites for use in development processes that mustcomply with ISO 26262 or derivative standards:

• Software Complexity — New test suite for the checkers that check for violations of coding bestpractices. For more information, see “Reduce Software Complexity by Using Polyspace Checkers”(Polyspace Bug Finder).

• AUTOSAR Check — The rte-checks test suite now includes checks for AUTOSAR compliance.For more information, see “Using Polyspace in AUTOSAR Software Development” (Polyspace CodeProver).

• Call Graph — The call hierarchy test suite now includes PASSED tests.

This table identifies the functionality of the test suite, applicable Polyspace products, and file name ofthe summary reports (expected results).

Test Suite Product Summary QualificationReport

Software Complexity Polyspace Bug Finder certkitiec-bugfinder-qualificationreport-guidelines.txt

Polyspace Bug Finder Server certkitiec-bugfinder-server-qualificationreport-guidelines.txt

AUTOSAR Check Polyspace Code Prover certkitiec-codeprover-qualificationreport-checks.txt

Polyspace Code Prover Server certkitiec-codeprover-server-qualificationreport-checks.txt

Call Graph Polyspace Code Prover certkitiec-codeprover-qualificationreport-reporting.txt

R2021a

1-8



Polyspace Code Prover Server certkitiec-codeprover-server-qualificationreport-reporting.txt

For more information about running the test cases, see “Execute Tool Test Cases and Procedures”.

Artifacts restructured to consolidate content and improve usabilityIn R2021a, the IEC Certification Kit artifacts have been restructured to reduce redundancy andstreamline usability.

ISO 26262 Tool Qualification Package and Reference Workflow artifacts are now reference documentsthat specify tool classification as prequalified by MathWorks. Information in these artifacts include:

• Software tool identification• Tool-specific reference workflow• Software tool criteria evaluation report• Software tool qualification report

Conformance Demonstration Template artifacts are templates that you can use to confirm the validityof the tool usage for your application under consideration. You can use the template to documentcustom, application-specific use cases and error prevention and detection measures for the tool.Information in these templates includes:

• Application and software tool identification• Confirmation review of tool classification and qualification

These reference workflows provide detailed information about the software development andverification and validation activities for each application type:

• IEC Certification Kit Reference Workflow for Embedded C/C++ Applications(certkitiec_wf_embeddedccpp.docx/pdf)

• IEC Certification Kit Reference Workflow for HDL Applications(certkitiec_wf_hdl_app.docx/pdf)

• IEC Certification Kit Reference Workflow for PLC Applications(certkitiec_wf_plc_app.docx/pdf)

To reduce redundancy, the information in these artifacts is incorporated into the ISO 26262 ToolQualification Package and Reference Workflow, Conformance Demonstration Template , andapplication-specific reference workflow artifacts. As a result, these artifacts are no longer available inthe Artifacts Explore:

• IEC Certification Kit Reference Workflow (certkitiec_workflow.pdf)• Embedded Coder Reference Workflow (certkitiec_ecoder_workflow.pdf)• HDL Coder Reference Workflow (certkitiec_hdlcoder_workflow.pdf)• Simulink PLC Coder Reference Workflow (certkitiec_plccoder_workflow.pdf)

1-9

• Polyspace Bug Finder and Polyspace Bug Finder Server Reference Workflow(certkitiec_bugfinder_workflow.pdf)

• Polyspace Code Prover and Polyspace Code Prover Server Reference Workflow(certkitiec_codeprover_workflow.pdf)

• Simulink Check Reference Workflow (certkitiec_slchk_workflow.pdf)• Simulink Coverage Reference Workflow (certkitiec_slcov_workflow.pdf)• Simulink Design Verifier Reference Workflow (certkitiec_sldv_workflow.pdf)• Simulink Test Reference Workflow (certkitiec_sltest_workflow.pdf)• Simulink Requirements Reference Workflow (certkitiec_slreq_workflow.pdf)

For more information about tool-specific artifacts and the reference workflow, see “Tool CertificationArtifacts” and “Support Artifacts for Standards”.

R2021a

1-10

R2020b

Version: 3.16

New Features

Bug Fixes

Compatibility Considerations

2

Qualification and Certification Artifacts for R2020bIn R2020b, the TÜV SÜD has performed a qualification assessment of the IEC Certification Kit. Thistable identifies the MathWorks products that are prequalified for the functional safety standards.

For more information, see Certification Artifacts.


ISO26262:2018

EN 50128:2011

EN 50657:2017

IEC62304:2015

ISO 25119:2018

IEC61511:2016

EmbeddedCoderVersion 7.5(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

AUTOSARBlocksetVersion 2.3(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkCheckVersion 5.0(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkCoverageVersion 5.1(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkDesignVerifierVersion 4.4(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkRequirements Version1.6(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkTest Version3.3(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

PolyspaceBug FinderVersion 3.3(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

R2020b

2-2


https://www.mathworks.com/help/releases/R2020b/certkitiec/iec-certification-kit-components.html


ISO26262:2018

EN 50128:2011

EN 50657:2017

IEC62304:2015

ISO 25119:2018

IEC61511:2016

PolyspaceBug FinderServerVersion 3.3(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

PolyspaceCodeProverVersion10.3(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

PolyspaceCodeProverServerVersion10.3(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

SimulinkPLC CoderVersion 3.3(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ ✔

HDL CoderVersion3.17(R2020b)

✔ ✔ ✔ ✔ ✔ ✔ N/A

Use ISO modeling guidelines to improve compliance with ISO26262:2018In R2020b, the IEC Certification Kit includes modeling guidelines that you can use to improvecompliance of your models and generated code with ISO 26262 industry standards. These guidelinesprovide recommendations for creating Simulink models that are complete, unambiguous, staticallydeterministic, robust, and verifiable. The guidelines also identify Model Advisor checks that you canuse in your verification process.

The ISO 26262 modeling guidelines are comprised of High-Integrity System Modeling guidelines andMathWorks Advisory Board (MAB) guidelines that you can use to improve compliance with ISO26262-6:2018, Road vehicles — Functional safety — Part 6: Product development at the softwarelevel.

For information about using the ISO 26262 modeling guidelines as part of the reference workflow, seeModeling Guidelines for ISO 26262-6: 2018. The guidelines are available in the Artifacts Explorer,see iso26262_guidelines.docx/pdf.

2-3

https://www.mathworks.com/help/releases/R2020b/certkitiec/ug/modeling-guidelines-iso-26262-6.html

matlab:certkitiec

Qualification of Model Advisor checks for improving MISRA C:2012complianceThe TÜV SÜD has certified High-Integrity System Modeling and MISRA checks for use indevelopment processes that must comply with IEC 61508, ISO 26262, EN 50128, EN 50657, ISO25119, or derivative standards.

This table identifies the MISRA checks that you can use to improve compliance with MISRA C®:2012coding standards. To access these checks, open the Model Advisor and browse to the By Task >Modeling Standards for MISRA C:2012 folder.

Check Title Check IDCheck usage of Assignment blocks (SimulinkCheck)

mathworks.misra.AssignmentBlocks

Check for missing error ports for AUTOSARreceiver interfaces (Simulink Check)

mathworks.misra.AutosarReceiverInterface

Check for unsupported block names (SimulinkCheck)

mathworks.misra.BlockNames

Check bus object names that are used as buselement names (Simulink Check)

mathworks.misra.BusElementNames

Check for equality and inequality operations onfloating-point values (Simulink Check)

mathworks.misra.CompareFloatEquality

Check for bitwise operations on signed integers(Simulink Check)

mathworks.misra.CompliantCGIRConstructions

Check integer word length (Simulink Check) mathworks.misra.IntegerWordLengthsCheck for missing const qualifiers in modelfunctions (Simulink Check)

mathworks.misra.ModelFunctionInterface

Check for recursive function calls (SimulinkCheck)

mathworks.misra.RecursionCompliance

Check for switch case expressions without adefault case (Simulink Check)

mathworks.misra.SwitchDefault

This table identifies the High-Integrity System Modeling checks that are qualified for use. To executethese checks, open the Model Advisor and browse to the following By Task folders:

• Modeling Standards for IEC 61508 > High-Integrity Systems > Simulink• Modeling Standards for IEC 62304 > High-Integrity Systems > Simulink• Modeling Standards for ISO 26262 > High-Integrity Systems > Simulink• Modeling Standards for ISO 25119 > High-Integrity Systems > Simulink• Modeling Standards for EN 50128/EN 50657 > High-Integrity Systems > Simulink

Model Advisor Check Check IDCheck usage of Sqrt blocks (Simulink Check) mathworks.hism.hisl_0003Check usage of Reciprocal Sqrt blocks (SimulinkCheck)


R2020b

2-4


https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bvegf3a_sep_bu20rna-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#mw_de730875-cf58-488c-a2f9-4d5dcdfb8014

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#mw_de730875-cf58-488c-a2f9-4d5dcdfb8014

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bu20qj1-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#mw_ff8c9295-42f5-418b-84f5-3a76fa98050b

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#mw_ff8c9295-42f5-418b-84f5-3a76fa98050b

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bvegf3a_sep_buui66n-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bvegf3a_sep_buui66n-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bvegf3a_sep_bumt5qx-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bvegf3a_sep_mw_ba52639e-d660-4cfe-952e-b065664e28bd

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#mw_ce185f98-4fff-49c3-8815-ff284d772cc7

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#mw_ce185f98-4fff-49c3-8815-ff284d772cc7

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#buui7lc-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bvegf3a_sep_buui7dv-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/misra-c2012-checks.html#bvegf3a_sep_buui7dv-1

https://www.mathworks.com/help/releases/R2020b/slcheck/ref/hism-checks_hism_checks.html#hisl_0003


Model Advisor Check Check IDCheck usage of Math Function blocks (rem andreciprocal functions) (Simulink Check)

mathworks.sldv.hism.hisl_0002

Check usage of Math Function blocks (log andlog10 functions) (Simulink Check)

mathworks.sldv.hism.hisl_0004

For more information about IEC Certification Kit support for the Simulink Check Model Advisorchecks, see Tool Certification Artifacts.

Automated verification of Simulink Coverage tool qualification resultsThe TÜV SÜD has certified the autocomparison of Simulink Coverage model and code coverage testresults in development processes that must comply with ISO 26262 or derivative standards. Theautocomparison evaluates expected test results (provided in the IEC Certification Kit) against theactual test results to determine the PASS or FAIL status.

For more information about IEC Certification Kit support for Simulink Coverage, see ToolCertification Artifacts.

Compatibility ConsiderationsThe coverage test procedure certkitiec_slcov_run.mlx has been split into:

• Execute Validation Tests and Review Test Results for Simulink Coverage - Model Coverage(certkitiec_slcov_mc_run.mlx)

• Execute Validation Tests and Review Test Results for Simulink Coverage - Code Coverage(certkitiec_slcov_cc_run.mlx)

Integration of ISO/PAS 21448:2019 in the Model-Based DesignworkflowFor complex systems, such as Advanced Driver Assistance Systems (ADAS), limitations of theintended function can cause potentially hazardous behavior. Under guidance from the ISO/PAS 21448Road vehicles — Safety of the intended functionality (SOTIF) standard, you can use additionalverification and validation activities to address risks of such hazards.

To review the integration of SOTIF-related verification and validation activities in your Model-BasedDesign workflow, open the Artifacts Explorer and review these IEC Certification Kit artifacts:

• IEC Certification Kit Reference Workflow (certkitiec_workflow_pdf)• Model Based Design for ISO/PAS 21448: 2019 (certkitiec_mbd_iso_21448.docx/pdf)

Note Model Based Design for ISO/PAS 21448: 2019 is not included in the scope of TÜV SÜDcertification since there are no requirements for tool qualification in ISO/PAS 21448:2019.

2-5





https://www.mathworks.com/help/releases/R2020b/certkitiec/ug/tool-certification-artifacts.html




matlab:certkitiec

Qualification of IEC Certification Kit tools for use with EN 50657:2017The TÜV SÜD has certified the use of these MathWorks products for development processes thatcomply with the EN 50657:2017, Railways Applications. Rolling stock applications. Software onBoard Rolling Stock standard:

• Embedded Coder• AUTOSAR Blockset• Simulink Check• Simulink Coverage• Simulink Design Verifier• Simulink Requirements• Simulink Test• Polyspace Bug Finder• Polyspace Bug Finder Server• Polyspace Code Prover• Polyspace Code Prover Server• Simulink PLC Coder• HDL Coder

For more information, see Model-Based Design for EN 50128:2011 and EN 50657:2017(certkitiec_mbd_en50128.docx/pdf) . This artifact, which is available in the Artifacts Explorer,provides suggestions for leveraging MathWorks tools and workflows for Model-Based Design whenapplying the EN 50657 standard.

Enhanced Polyspace test suites for CERT C: 2016, C++:2017, and C++exceptions checks, and support for macOSThe TÜV SÜD has certified these Polyspace test suites for use in development processes that mustcomply with ISO 26262 or derivative standards:

• CERT C: 2016 coding standard• C++:2017 programming language• C++ exceptions

In R2020b, you can also execute the test suite for Polyspace Bug Finder, Polyspace Bug FinderServer, Polyspace Code Prover, and Polyspace Code Prover Server in environments that use macOS.

This table identifies the functionality of the test suite, applicable Polyspace products, and file name ofthe summary reports (expected results).


CERT C: 2016 CodingStandard

Polyspace Bug Finder certkitiec-bugfinder-qualificationreport-certc-2016.txt

R2020b

2-6


matlab:certkitiec



Polyspace Bug Finder Server certkitiec-bugfinder-server-qualificationreport-certc-2016.txt

C++:2017 ProgrammingLanguage

Polyspace Bug Finder certkitiec-bugfinder-qualificationreport-programming-languages.txt

Polyspace Bug Finder Server certkitiec-bugfinder-server-qualificationreport-programming-languages.txt

Polyspace Code Prover certkitiec-codeprover-qualificationreport-programming-languages.txt

Polyspace Code Prover Server certkitiec-codeprover-server-qualificationreport-programming-languages.txt

C++ Exception Checks Polyspace Bug Finder certkitiec-bugfinder-qualificationreport-checks.txt

Polyspace Bug Finder Server certkitiec-bugfinder-server-qualificationreport-checks.txt

For more information about executing the test cases, see Software Tool Validation.

2-7

https://www.mathworks.com/help/releases/R2020b/certkitiec/ug/about-software-tool-validation.html

R2020a

Version: 3.15

New Features

Bug Fixes

3

Qualification and Certification Artifacts for R2020aISO 26262 tool prequalification

These versions of MathWorks products are qualified with the TÜV SÜD qualification assessmentaccording to ISO 26262:

• Embedded Coder Version 7.4 (R2020a)• AUTOSAR Blockset Version 2.2 (R2020a)• Simulink Check Version 4.5 (R2020a)• Simulink Coverage Version 5.0 (R2020a)• Simulink Design Verifier Version 4.3 (R2020a)• Simulink Requirements Version 1.5 (R2020a)• Simulink Test Version 3.2 (R2020a)• Polyspace Bug Finder Version 3.2 (R2020a)• Polyspace Bug Finder Server Version 3.2 (R2020a)• Polyspace Code Prover Version 10.2 (R2020a)• Polyspace Code Prover Server Version 10.2 (R2020a)• Simulink PLC Coder Version 3.2 (R2020a)• HDL Coder Version 3.16 (R2020a)

For details, see Tool Certification Artifacts.

IEC 61508 tool certification

These versions of MathWorks products are qualified with the TÜV SÜD qualification assessmentaccording to IEC 61508:



R2020a

3-2


https://www.mathworks.com/help/releases/R2020a/certkitiec/iec-certification-kit-components.html



EN 50128 tool certification

These versions of MathWorks products are qualified with the TÜV SÜD qualification assessmentaccording to EN 50128:



ISO 25119 tool certification





This version of the MathWorks product is qualified with the TÜV SÜD qualification assessmentaccording to IEC 61511:

3-3






• Simulink PLC Coder Version 3.2 (R2020a)


Qualification of IEC Certification Kit tools for use with ISO 25119:2018The TÜV SÜD has certified the use of these MathWorks products for development processes thatmust comply with the ISO 25119-1:2018 and ISO 25119-3:2018 standards:

• Embedded Coder• AUTOSAR Blockset• Simulink Check• Simulink Coverage• Simulink Design Verifier• Simulink Requirements• Simulink Test• Polyspace Bug Finder• Polyspace Bug Finder Server• Polyspace Code Prover• Polyspace Code Prover Server• Simulink PLC Coder• HDL Coder

The Model-Based Design for ISO 25119 document provides suggestions for leveraging MathWorkstools and workflows for Model-Based Design when applying the ISO 25119 standard.

For more information about the IEC Certification Kit support for ISO 25119, see:

• ISO 25119• Support Artifacts for ISO 25119

Qualification of HDL Coder for use with ISO 26262, IEC 61508, EN50128, IEC 62304, and ISO 25119 standardsThe TÜV SÜD has certified HDL Coder for use in development processes that must comply with ISO26262 or derivative standards. The Model-Based Design for ISO 26262 document providessuggestions for leveraging HDL Coder for Model-Based Design when applying the ISO 26262standard. For more information about the IEC Certification Kit support for ISO 26262, see:

• Support Artifacts for ISO 26262• Certification Artifacts for HDL Coder

Qualify Simulink Coverage for function and function call codecoverage typesThe TÜV SÜD has certified the use of Simulink Coverage to measure coverage for function andfunction call code.

R2020a

3-4



https://www.mathworks.com/help/releases/R2020a/certkitiec/ug/iso-25119.html

https://www.mathworks.com/help/releases/R2020a/certkitiec/ug/access-supporting-artifacts-for-iso-25119.html


https://www.mathworks.com/help/releases/R2020a/certkitiec/ug/supporting-artifacts-for-iso-26262.html

https://www.mathworks.com/help/releases/R2020a/certkitiec/ug/access-certification-artifacts-for-hdl-coder.html


Using these code coverage types help you determine whether:

• Function coverage — All the functions of your code have been called during software testing.• Function call coverage — All function call-sites in your code have been executed during software

testing

You can use Simulink Coverage artifacts and tests in development processes that must comply withIEC 61508, ISO 26262, EN 50128, ISO 25119, or derivative standards.

For more information about the IEC Certification Kit support for Simulink Coverage, see CertificationArtifacts for Simulink Coverage. For more information about Simulink Coverage code coverage, seeTypes of Code Coverage (Simulink Coverage).

3-5

https://www.mathworks.com/help/releases/R2020a/certkitiec/ug/certification-artifacts-for-simulink-coverage.html

https://www.mathworks.com/help/releases/R2020a/certkitiec/ug/certification-artifacts-for-simulink-coverage.html

https://www.mathworks.com/help/releases/R2020a/slcoverage/ug/types-of-code-coverage.html

R2019b

Version: 3.14

New Features

Bug Fixes

4

Qualification and Certification Artifacts for R2019bISO 26262 tool prequalification


• Embedded Coder Version 7.3 (R2019b)• AUTOSAR Blockset Version 2.1 (R2019b)• Simulink Check Version 4.4 (R2019b)• Simulink Coverage Version 4.4 (R2019b)• Simulink Design Verifier Version 4.2 (R2019b)• Simulink Requirements Version 1.4 (R2019b)• Simulink Test Version 3.1 (R2019b)• Polyspace Bug Finder Version 3.1 (R2019b)• Polyspace Bug Finder Server Version 3.1 (R2019b)• Polyspace Code Prover Version 10.1 (R2019b)• Polyspace Code Prover Server Version 10.1 (R2019b)• Simulink PLC Coder Version 3.1 (R2019b)

For details, see IEC Certification Kit Components.







R2019b

4-2

https://www.tuev-sued.de/company

https://www.mathworks.com/help/releases/R2019b/certkitiec/supporting-iec-certification-components.html








• Simulink PLC Coder Version 3.1 (R2019b)


Qualification of Simulink Test Custom CriteriaThe TÜV SÜD has certified the custom criteria feature in Simulink Test for use in developmentprocesses that must comply with ISO 26262 or derivative standards.

Testing your model often requires assessing conditions to ensure that a test is valid, in addition toverifying model behavior. MATLAB® Unit Test provides a framework for such assessments. InSimulink Test, you can use the test case custom criteria to author specific assessments and includeMATLAB Unit Test qualifications in your script. Custom criteria supports verification and assertiontype qualifications.

These MATLAB function-based unit test methods are qualified for custom criteria:

• assertTrue• assertFalse• assertEqual• assertNotEqual• assertGreaterThan• assertGreaterThanOrEqual• assertLessThan• assertLessThanOrEqual• verifyTrue

4-3





https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.asserttrue.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.assertfalse.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.assertequal.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.assertnotequal.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.assertgreaterthan.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.assertgreaterthanorequal.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.assertlessthan.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.assertable.assertlessthanorequal.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifytrue.html

• verifyFalse• verifyEqual• verifyNotEqual• verifyGreaterThan• verifyGreaterThanOrEqual• verifyLessThan• verifyLessThanOrEqual

For additional information about defining a custom criteria script, see Process Test Results withCustom Scripts (Simulink Test). For more information about the IEC Certification Kit support forSimulink Test, see Access Certification Artifacts for Simulink Test.

Qualify High-Integrity Model Advisor check "Check type and size ofconditional expressions"The TÜV SÜD has certified the Model Advisor check Check type and size of condition expressions forhigh-integrity system modeling. You can use this check in development processes that must complywith IEC 61508, ISO 26262, EN 50128, or derivative standards.

For more information about the IEC Certification Kit support for Model Advisor checks, see AccessCertification Artifacts for Simulink Check.

Enhanced test suite for Polyspace Code Prover and Polyspace CodeProver ServerThe Polyspace Code Prover and Polyspace Code Prover Server test suite in the IEC Certification Kitincludes test cases for:

• Shared Variables Mode (-shared-variables-mode), which runs a less extensive analysis on thecomplete application to compute only global variable sharing and usage. When using this mode,Code Prover run-time error checks are not produced. For more information, see “Shared VariablesMode: Run a less extensive Code Prover analysis on complete application to compute globalvariable sharing and usage only” (Polyspace Code Prover)

• Data dictionaries, which contain for each global variable:

• Source location of each read or write access• Shared or nonshared status• When scalar, the dynamic value range

For more information about the IEC Certification Kit support for Polyspace Code Prover andPolyspace Code Prover Server, see Access Certification Artifacts for Polyspace Code Prover andPolyspace Code Prover Server.

System Composer tool added to IEC Certification Kit ReferenceWorkflowIn R2019b, the System Composer™ tool is integrated into the IEC Certification Kit ReferenceWorkflow. You can use this tool in your software development process for embedded applications tomanage your model-based software architecture.

R2019b

4-4

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifyfalse.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifyequal.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifynotequal.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifygreaterthan.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifygreaterthanorequal.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifylessthan.html

https://www.mathworks.com/help/releases/R2019b/matlab/ref/matlab.unittest.qualifications.verifiable.verifylessthanorequal.html

https://www.mathworks.com/help/releases/R2019b/sltest/ug/define-custom-criteria-for-test-case-results.html

https://www.mathworks.com/help/releases/R2019b/sltest/ug/define-custom-criteria-for-test-case-results.html

https://www.mathworks.com/help/releases/R2019b/certkitiec/ug/access-certification-artifacts-for-simulink-test.html


https://www.mathworks.com/help/releases/R2019b/slcheck/ref/hism-checks.html#mw_93fccd23-bc02-4d73-8c1e-30218b0b888b

https://www.mathworks.com/help/releases/R2019b/certkitiec/ug/certification-artifacts-for-simulink-check.html

https://www.mathworks.com/help/releases/R2019b/certkitiec/ug/certification-artifacts-for-simulink-check.html

https://www.mathworks.com/help/releases/R2019b/certkitiec/ug/access-certification-artifacts-for-polyspace-code-prover.html

https://www.mathworks.com/help/releases/R2019b/certkitiec/ug/access-certification-artifacts-for-polyspace-code-prover.html

To review the IEC Certification Kit Reference Workflow, see Access Supporting Artifacts for ISO26262.

Access IEC Certification Kit capabilities from Simulink toolstripIn R2019b, the Simulink Toolstrip is turned on by default. See “Simulink Toolstrip: Access anddiscover Simulink capabilities when you need them” (Simulink).

To open the DO Qualification Kit app from the Simulink Toolstrip, on the Apps tab, click IECCertification Kit. For more information, see the IEC Certification Kit app documentation.

The Simulink Toolstrip contextual tabs for the IEC Certification Kit include:

• Artifacts Explorer• Bug Reports• Run Validation Tests• Traceability Matrix

4-5

https://www.mathworks.com/help/releases/R2019b/certkitiec/ug/supporting-artifacts-for-iso-26262.html


https://www.mathworks.com/help/releases/R2019b/certkitiec/ug/ieccertificationkit-app.html

R2019a

Version: 3.13

New Features

Bug Fixes

5

Qualification and Certification Artifacts for R2019aISO 26262 tool prequalification


• Embedded Coder Version 7.2 (R2019a)• AUTOSAR Blockset Version 2.0 (R2019a)• Simulink Check Version 4.3 (R2019a)• Simulink Coverage Version 4.3 (R2019a)• Simulink Design Verifier Version 4.1 (R2019a)• Simulink Requirements Version 1.3 (R2019a)• Simulink Test Version 3.0 (R2019a)• Polyspace Bug Finder Version 3.0 (R2019a)• Polyspace Bug Finder Server Version 3.0 (R2019a)• Polyspace Code Prover Version 10.0 (R2019a)• Polyspace Code Prover Server Version 10.0 (R2019a)• Simulink PLC Coder Version 3.0 (R2019a)








R2019a

5-2


https://www.mathworks.com/help/releases/R2019a/certkitiec/supporting-iec-certification-components.html










Artifacts updated for ISO 26262: 2018 functional safety standards anddraft of the ISO/PAS 21448 Safety of the intended functionality(SOTIF) standardThe TÜV SÜD has certified the IEC Certification Kit for use in development processes that mustcomply with the ISO 26262: 2018 Road vehicles -- Functional safety standards. For information aboutthe IEC Certification Kit support for ISO 26262, see Access Supporting Artifacts for ISO 26262.

Support for the draft of the ISO/PAS 21448 - Road vehicles -- Safety of the intended functionality(SOTIF) standard was added to the IEC Certification Kit Reference Workflow artifact.

Qualification of Polyspace Bug Finder Server and Polyspace CodeProver Server for use with ISO 26262, IEC 61508, EN 50128, and IEC62304 standardsThe TÜV SÜD has certified Polyspace Bug Finder Server and Polyspace Code Prover Server for use indevelopment processes that must comply with ISO 26262 or derivative standards.

The Model-Based Design for ISO 26262 document provides suggestions for leveraging Polyspace BugFinder Server and Polyspace Code Prover Server for Model-Based Design when applying the ISO26262 standard.


5-3







• Access Supporting Artifacts for ISO 26262• Access Certification Artifacts for Polyspace Bug Finder and Polyspace Bug Finder Server• Access Certification Artifacts for Polyspace Code Prover and Polyspace Code Prover Server

Test Suites and Output Reports

The following tables specify the R2019a IEC Certification Kit test suites and output reports forPolyspace Bug Finder, Polyspace Bug Finder Server, Polyspace Code Prover, and Polyspace CodeProver Server.

An asterisk (*) indicates a new item for R2019a.

R2019a

5-4


https://www.mathworks.com/help/releases/R2019a/certkitiec/ug/access-certification-artifacts-for-polyspace-bug-finder.html

https://www.mathworks.com/help/releases/R2019a/certkitiec/ug/access-certification-artifacts-for-polyspace-code-prover.html

Polyspace Bug Finder and Polyspace Bug Finder Server Test Suites and Output Reports

Test Suite Output ReportR2018b R2019a R2019achecks/ checks/ certkitiec_bugfinder_qualificationreport_c

hecks.txtcertkitiec_bugfinder_server_qualificationreport_checks.txt

code-metrics/ code-metrics/ certkitiec_bugfinder_qualificationreport_code_metrics.txtcertkitiec_bugfinder_server_qualificationreport_code_metrics.txt

jsf/ jsfcpp-2005/ certkitiec_bugfinder_qualificationreport_jsfcpp_2005.txtcertkitiec_bugfinder_server_qualificationreport_jsfcpp_2005.txt

misrac/ misrac-2004/ certkitiec_bugfinder_qualificationreport_misrac_2004.txtcertkitiec_bugfinder_server_qualificationreport_misrac_2004.txt

misrac-2012/ misrac-2012/ certkitiec_bugfinder_qualificationreport_misrac_2012.txtcertkitiec_bugfinder_server_qualificationreport_misrac_2012.txt

misracpp/ misracpp-2008/ certkitiec_bugfinder_qualificationreport_misracpp_2008.txtcertkitiec_bugfinder_server_qualificationreport_misracpp_2008.txt

report-generator/

reporting/ certkitiec_bugfinder_qualificationreport_reporting.txtcertkitiec_bugfinder_server_qualificationreport_reporting.txt

tor-checks/ options-api/ certkitiec_bugfinder_qualificationreport_options_api.txtcertkitiec_bugfinder_server_qualificationreport_options_api.txt

Not applicable *programming-languages/

certkitiec_bugfinder_qualificationreport_programming_languages.txtcertkitiec_bugfinder_server_qualificationreport_programming_languages.txt

Not applicable *certc-2016/ certkitiec_bugfinder_qualificationreport_certc_2016.txtcertkitiec_bugfinder_server_qualificationreport_certc_2016.txt

5-5

Polyspace Code Prover and Polyspace Code Prover Server Test Suites and Output Reports

Test Suite Output ReportR2018b R2019a R2019achecks/ checks/ certkitiec_codeprover_qualificationreport_

checks.txtcertkitiec_codeprover_server_qualificationreport_checks.txt

code-metrics/ code-metrics/ certkitiec_codeprover_qualificationreport_code_metrics.txtcertkitiec_codeprover_server_qualificationreport_code_metrics.txt

jsf/ jsfcpp-2005/ certkitiec_codeprover_qualificationreport_jsfcpp_2005.txtcertkitiec_codeprover_server_qualificationreport_jsfcpp_2005.txt

misrac/ misrac-2004/ certkitiec_codeprover_qualificationreport_misrac_2004.txtcertkitiec_codeprover_server_qualificationreport_misrac_2004.txt

misrac-2012/ misrac-2012/ certkitiec_codeprover_qualificationreport_misrac_2012.txtcertkitiec_codeprover_server_qualificationreport_misrac_2012.txt

misracpp/ misracpp-2008/ certkitiec_codeprover_qualificationreport_misracpp_2008.txtcertkitiec_codeprover_server_qualificationreport_misracpp_2008.txt

report-generator/

reporting/ certkitiec_codeprover_qualificationreport_reporting.txtcertkitiec_codeprover_server_qualificationreport_reporting.txt

tor-checks/ options-api/ certkitiec_codeprover_qualificationreport_options_api.txtcertkitiec_codeprover_server_qualificationreport_options_api.txt

lsr programming-languages/

certkitiec_codeprover_qualificationreport_programming_languages.txtcertkitiec_codeprover_server_qualificationreport_programming_languages.txt

Qualification of Simulink Requirements for use with ISO 26262, IEC61508, EN 50128, and IEC 62304 standardsThe TÜV SÜD has certified Simulink Requirements for use in development processes that mustcomply with ISO 26262 or derivative standards.

R2019a

5-6


The Model-Based Design for ISO 26262 document provides suggestions for leveraging SimulinkRequirements for Model-Based Design when applying the ISO 26262 standard.


• Access Supporting Artifacts for ISO 26262• Access Certification Artifacts for Simulink Requirements

Qualification of AUTOSAR Blockset with Embedded Coder for use withthe ISO 26262 standardThe TÜV SÜD has certified AUTOSAR Blockset for use with Embedded Coder in developmentprocesses that must comply with ISO 26262 or derivative standards.

The Model-Based Design for ISO 26262 document provides suggestions for leveraging AUTOSARBlockset for Model-Based Design when applying the ISO 26262 standard.


• Access Supporting Artifacts for ISO 26262• Access Certification Artifacts for Embedded Coder

IEC Certification Kit contextual tab in the Simulink Toolstrip TechPreviewIn R2019a, you have the option to turn on the Simulink Toolstrip. See “Simulink Toolstrip TechPreview replaces menus and toolbars in the Simulink Desktop” (Simulink) for more details.

The Simulink Toolstrip includes contextual tabs — they appear only when you need them. The IECCertification Kit contextual tabs include options for:

• Opening the Artifacts Explorer• Opening bug report checks in the Model Advisor• Running validation tests• Generating a traceability matrix

Documentation does not reflect the addition of the IEC Certification Kit contextual tabs.

5-7


https://www.mathworks.com/help/releases/R2019a/certkitiec/ug/access-certification-artifacts-for-simulink-requirements.html



https://www.mathworks.com/help/releases/R2019a/certkitiec/ug/certification-artifacts-for-embedded-coder-.html

R2018b

Version: 3.12

New Features

Bug Fixes

6

Qualification and Certification Artifacts: Qualify R2018b versions ofsupported productsISO 26262 tool prequalification


• Embedded Coder Version 7.1 (R2018b)• Simulink Design Verifier Version 4.0 (R2018b)• Simulink Check Version 4.2 (R2018b)• Simulink Coverage Version 4.2 (R2018b)• Polyspace Bug Finder Version 2.6 (R2018b)• Polyspace Code Prover Version 9.10 (R2018b)• Simulink Test Version 2.5 (R2018b)• Simulink PLC Coder Version 2.6 (R2018b)




• Embedded Coder Version 7.1 (R2018b)• Simulink PLC Coder Version 2.6 (R2018a)• Simulink Design Verifier Version 4.0 (R2018b)• Simulink Check Version 4.2 (R2018b)• Simulink Coverage Version 4.2 (R2018b)• Polyspace Bug Finder Version 2.6 (R2018b)• Polyspace Code Prover Version 9.10 (R2018b)• Simulink Test Version 2.5 (R2018b)




• Embedded Coder Version 7.1 (R2018b)• Simulink Design Verifier Version 4.0 (R2018b)• Simulink Check Version 4.2 (R2018b)• Simulink Coverage Version 4.2 (R2018b)• Polyspace Bug Finder Version 2.6 (R2018b)• Polyspace Code Prover Version 9.10 (R2018b)• Simulink Test Version 2.5 (R2018b)

R2018b

6-2












IEC Certification Kit Checks: Qualify additional High-Integrity ModelAdvisor checksThe TÜV SÜD has certified the Model Advisor checks for high-integrity system modeling:

• By Task > Modeling Standards for EN 50128 > High-Integrity Systems• By Task > Modeling Standards for IEC 61508 > High-Integrity Systems• By Task > Modeling Standards for IEC 62304 > High-Integrity Systems• By Task > Modeling Standards for ISO 26262 > High-Integrity Systems

These checks can be used in development processes that must comply with IEC 61508, ISO 26262,EN 50128, or derivative standards.

Simulink PLC Coder Qualification: Qualify Simulink PLC Coder for usewith ISO 26262The TÜV SÜD has certified Simulink PLC Coder for use in development processes that must complywith ISO 26262 or derivative standards.

The Model-Based Design for ISO 26262 document provides suggestions for leveraging the SimulinkPLC Coder for Model-Based Design when applying the ISO 26262 standard.


• Access Supporting Artifacts for ISO 26262• Access Certification Artifacts for Simulink PLC Coder

6-3







https://www.mathworks.com/help/releases/R2018b/certkitiec/ug/certification-artifacts-for-simulink-plc-coder.html

R2018a

Version: 3.11

New Features

Bug Fixes

7

Qualification and Certification Artifacts: Qualify R2018a versions ofsupported productsISO 26262 tool prequalification


• Embedded Coder Version 7.0 (R2018a)• Simulink Design Verifier Version 3.5 (R2018a)• Simulink Check Version 4.1 (R2018a)• Simulink Coverage Version 4.1 (R2018a)• Polyspace Bug Finder Version 2.5 (R2018a)• Polyspace Code Prover Version 9.9 (R2018a)• Simulink Test Version 2.4 (R2018a)




• Embedded Coder Version 7.0 (R2018a)• Simulink PLC Coder Version 2.5 (R2018a)• Simulink Design Verifier Version 3.5 (R2018a)• Simulink Check Version 4.1 (R2018a)• Simulink Coverage Version 4.1 (R2018a)• Polyspace Bug Finder Version 2.5 (R2018a)• Polyspace Code Prover Version 9.9 (R2018a)• Simulink Test Version 2.4 (R2018a)




• Embedded Coder Version 7.0 (R2018a)• Simulink Design Verifier Version 3.5 (R2018a)• Simulink Check Version 4.1 (R2018a)• Simulink Coverage Version 4.1 (R2018a)• Polyspace Bug Finder Version 2.5 (R2018a)• Polyspace Code Prover Version 9.9 (R2018a)• Simulink Test Version 2.4 (R2018a)• Simulink PLC Coder Version 2.5 (R2018a)

R2018a

7-2











IEC Certification Kit Reference Workflow: Introduce an integratedworkflow document to cover the full Model-Based Design lifecycle forISO 26262, IEC 61508, EN 50128, and IEC 62304 standardsThe IEC Certification Kit Reference Workflow artifact contains an overview of the IEC CertificationKit Model-Based Design workflow. Specifically, the document describes:

• Software development and verification/validation activities in the IEC Certification Kit Model-Based Design workflow

• MathWorks products used to achieve these workflow activities

The IEC Certification Kit Reference Workflow is available in the Artifacts Explorer. For additionalinformation, see IEC Certification Kit Reference Workflow Overview.

7-3




https://www.mathworks.com/help/releases/R2018a/certkitiec/ug/iec-certification-kit-reference-workflow-overview.html

R2017b

Version: 3.10

New Features

Bug Fixes

8

Qualification and Certification Artifacts: Qualify R2017b versions ofsupported productsISO 26262 tool prequalification


• Embedded Coder Version 6.13 (R2017b)• Simulink Design Verifier Version 3.4 (R2017b)• Simulink Check Version 4.0 (R2017b)• Simulink Coverage Version 4.0 (R2017b)• Polyspace Bug Finder Version 2.4 (R2017b)• Polyspace Code Prover Version 9.8 (R2017b)• Simulink Test Version 2.3 (R2017b)




• Embedded Coder Version 6.13 (R2017b)• Simulink PLC Coder Version 2.4 (R2017b)• Simulink Design Verifier Version 3.4 (R2017b)• Simulink Check Version 4.0 (R2017b)• Simulink Coverage Version 4.0 (R2017b)• Polyspace Bug Finder Version 2.4 (R2017b)• Polyspace Code Prover Version 9.8 (R2017b)• Simulink Test Version 2.3 (R2017b)




• Embedded Coder Version 6.13 (R2017b)• Simulink Design Verifier Version 3.4 (R2017b)• Simulink Check Version 4.0 (R2017b)• Simulink Coverage Version 4.0 (R2017b)• Polyspace Bug Finder Version 2.4 (R2017b)• Polyspace Code Prover Version 9.8 (R2017b)• Simulink Test Version 2.3 (R2017b)• Simulink PLC Coder Version 2.4 (R2017b)

R2017b

8-2











Simulink Verification and Validation Packaging: Qualified features forISO and IEC compliance are included in Simulink Check and SimulinkCoverageThe features that were qualified for Simulink Verification and Validation™ are now available in thefollowing products:

• Simulink Check, Version 4.0 (R2017b) - Model compliance checking• Simulink Coverage, Version 4.0 (R2017b) - Model and code coverage analysis

The TÜV SÜD has certified these Simulink Check and Simulink Coverage features for use indevelopment processes that must comply with IEC 61508, ISO 26262, EN 50128, or derivativestandards.

The Simulink Check artifacts are available from Access Certification Artifacts for Simulink Check.The artifacts for Simulink Coverage are available from Access Certification Artifacts for SimulinkCoverage.

For additional information about the products, see:

• Simulink Check• Simulink Coverage

Certification Artifacts Explorer: Access artifacts through Simulinkmenu bar or MATLAB Toolstrip appYou can access the IEC Certification Kit artifacts from the Simulink menu bar and the MATLABToolstrip.

• On the Simulink menu bar, select Code > IEC Certification Kit• From the MATLAB® Toolstrip, click the Apps tab. Under the Code Verification category, select

IEC/ISO Artifacts Explorer

When you access the IEC Certification Kit from the Simulink menu bar, these options are available:

• Artifacts Explorer: Opens the Artifacts Explorer.• Bug Report Checks: Opens bug report checks in the Model Advisor.• Traceability Matrix: Opens the traceability matrix dialog box.

8-3





https://www.mathworks.com/help/releases/R2017b/slcheck/index.html

https://www.mathworks.com/help/releases/R2017b/slcoverage/index.html

• Validation Tests: Opens test procedure configuration and execution steps for each productsupported by the IEC Certification Kit.

IEC Certification Kit Checks: Qualify additional Model Advisor checksThe TÜV SÜD has certified the Model Advisor checks that are available in:

• By Task > Modeling Standards for EN 50128• By Task > Modeling Standards for IEC 61508• By Task > Modeling Standards for IEC 62304• By Task > Modeling Standards for ISO 26262

.

These checks can be used in development processes that must comply with IEC 61508, ISO 26262,EN 50128, or derivative standards.

Simulink PLC Coder Qualification: Qualify Simulink PLC Coder for usewith EN 50128The TÜV SÜD has certified Simulink PLC Coder for use in development processes that must complywith EN 50128 or derivative standards.

The Model-Based Design for EN 50128 document provides suggestions for leveraging the SimulinkPLC Coder for Model-Based Design when applying the EN 50128 standard.

For more information about the IEC Certification Kit support for EN 50128, see:

• EN 50128• Access Supporting Artifacts for EN 50128

R2017b

8-4



R2017a

Version: 3.9

New Features

Bug Fixes

9

Qualification and Certification Artifacts: Qualify R2017a versions ofsupported productsISO 26262 tool prequalification


• Embedded Coder Version 6.12 (R2017a)• Simulink Design Verifier Version 3.3 (R2017a)• Simulink Verification and Validation Version 3.13 (R2017a)• Polyspace Bug Finder Version 2.3 (R2017a)• Polyspace Code Prover Version 9.7 (R2017a)• Simulink Test Version 2.2 (R2017a)




• Embedded Coder Version 6.12 (R2017a)• Simulink PLC Coder Version 2.3 (R2017a)• Simulink Design Verifier Version 3.3 (R2017a)• Simulink Verification and Validation Version 3.13 (R2017a)• Polyspace Bug Finder Version 2.3 (R2017a)• Polyspace Code Prover Version 9.7 (R2017a)• Simulink Test Version 2.2 (R2017a)






R2017a

9-2











Design Error Detection Qualification: Qualify Simulink Design Verifierfor design error detectionThe TÜV SÜD has certified the use of Simulink Design Verifier design error detection. You can usedesign error detection to identify design errors, including dead logic, integer or fixed-point dataoverflow, out of bound array access, division by zero, and violations of specified intermediateminimum and maximum values.

Use the Simulink Design Verifier artifacts and tests in development processes that must comply withIEC 61508, ISO 26262, EN 50128, or derivative standards.

To access the artifacts, see Access Certification Artifacts for Simulink Design Verifier™ .

Polyspace Report Qualification: Qualify Polyspace Bug Finder andPolyspace Code Prover verification reportsThe TÜV SÜD has certified the use of Polyspace Bug Finder and Polyspace Code Prover verificationreports in development processes that must comply with IEC 61508, ISO 26262, EN 50128, orderivative standards. You can use the verification reports to automate the review and archiving ofanalysis results, including code metrics, defects, and software quality.

To access the artifacts, see:

Access Certification Artifacts for Polyspace Bug Finder™ .

Access Certification Artifacts for Polyspace Code Prover™ .

Model Coverage Qualification: Qualify Simulink Verification andValidation for execution coverageThe TÜV SÜD has certified the use of Simulink Verification and Validation to measure executioncoverage. You can use execution coverage to determine which model elements execute duringsimulation.

Use the model coverage artifacts and tests in development processes that must comply with IEC61508, ISO 26262, EN 50128, or derivative standards.

To access the artifacts, see Access Certification Artifacts for Simulink Verification and Validation™ .

9-3




https://www.mathworks.com/help/releases/R2017a/certkitiec/ug/certification-artifacts-for-simulink-design-verifier-.html


https://www.mathworks.com/help/releases/R2017a/certkitiec/ug/access-certification-artifacts-for-polyspace-bug-finder.html



https://www.mathworks.com/help/releases/R2017a/certkitiec/ug/certification-artifacts-for-simulink-verification-and-validation-.html

R2016b

Version: 3.8

New Features

Bug Fixes

10

Qualification and Certification Artifacts: Use artifacts to qualify andcertify R2016b versions of supported productsISO 26262 tool prequalification


• Embedded Coder Version 6.11 (R2016b)• Simulink Design Verifier Version 3.2 (R2016b)• Simulink Verification and Validation Version 3.12 (R2016b)• Polyspace Bug Finder Version 2.2 (R2016b)• Polyspace Code Prover Version 9.6 (R2016b)• Simulink Test Version 2.1 (R2016b)

For details, see IEC Certification Kit Components in the IEC Certification Kit documentation.



• Embedded Coder Version 6.11 (R2016b• Simulink PLC Coder Version 2.2 (R2016b)• Simulink Design Verifier Version 3.2 (R2016b)• Simulink Verification and Validation Version 3.12 (R2016b)• Polyspace Bug Finder Version 2.2 (R2016b)• Polyspace Code Prover Version 9.6 (R2016b)• Simulink Test Version 2.1 (R2016a)






R2016b

10-2











Code Coverage Qualification: Qualify Simulink Verification andValidation for generated code coverage during SIL executionThe TÜV SÜD has certified the use of Simulink Verification and Validation to measure the structuralcoverage of code generated from models in software-in-the-loop (SIL) mode. You can use the codecoverage artifacts and tests in development processes that must comply with IEC 61508, ISO 26262,EN 50128, or derivative standards.

To access the artifacts, see Access Certification Artifacts for Simulink Verification and Validation.

Model Coverage Qualification: Qualify Simulink Verification andValidation for legacy code coverage in S-functions during modelsimulationThe TÜV SÜD has certified the use of Simulink Verification and Validation to measure model coveragefor legacy code in S-functions during model simulation. You can use the model coverage artifacts andtests in development processes that must comply with IEC 61508, ISO 26262, EN 50128, orderivative standards.

To access the artifacts, see Access Certification Artifacts for Simulink Verification and Validation.

Simulink Test Function Qualification: Qualify verify functions in TestSequence blocksTo verify that conditions in Test Sequence blocks do not change during a simulation, the TÜV SÜDhas certified the use of the Simulink Test verify function. You can use the artifacts and tests toqualify the verify function in development processes that must comply with IEC 61508, ISO 26262,EN 50128, or derivative standards.

To access the artifacts, see Access Certification Artifacts for Simulink Test.

Polyspace Bug Finder Qualification: Security defect detectionThe TÜV SÜD has certified the use of Polyspace Bug Finder to detect security defects. You can usethe artifacts and tests in development processes that must comply with IEC 61508, ISO 26262, EN50128, or derivative standards. Security defects are places in your code which are vulnerable tohacking or other security attacks.

To access the artifacts, see Access Certification Artifacts for Polyspace Bug Finder.

10-3




https://www.mathworks.com/help/releases/R2016b/certkitiec/ug/certification-artifacts-for-simulink-verification-and-validation-.html


https://www.mathworks.com/help/releases/R2016b/certkitiec/ug/certification-artifacts-for-simulink-verification-and-validation-.html




https://www.mathworks.com/help/releases/R2016b/certkitiec/ug/access-certification-artifacts-for-polyspace-client-for-cc-and-polyspace-server-for-cc-.html

R2016a

Version: 3.7

New Features

Bug Fixes

11

IEC 62304 Medical Standard Support: Generate artifacts to complywith medical device standardsTÜV SÜD has certified the use of the following MathWorks products for development processes thatmust comply with the IEC 62304:2006. Medical device software – Software life cycle processesstandard:

• Embedded Coder Version 6.10 (R2016a)• Simulink PLC Coder Version 2.1 (R2016a)• Simulink Design Verifier Version 3.1 (R2016a)• Simulink Verification and Validation Version 3.11 (R2016a)• Polyspace Bug Finder Version 2.1 (R2016a)• Polyspace Code Prover Version 9.5 (R2016a)• Simulink Test Version 2.0 (R2016a)

The Model-Based Design for IEC 62304 document provides suggestions for leveraging MathWorkstools and workflows for Model-Based Design when applying the IEC 62304 standard.

For more information about the IEC Certification Kit support for IEC 62304, see:

• IEC 62304• Access Supporting Artifacts for IEC 62304

Qualification and Certification Artifacts: Qualify and certify R2016aversions of supported products by using artifactsISO 26262 tool prequalification

The following versions of MathWorks products are qualified with the TÜV SÜD qualificationassessment according to ISO 26262:




The following versions of MathWorks products are qualified with the TÜV SÜD qualificationassessment according to IEC 61508:

• Embedded Coder Version 6.10 (R2016a)• Simulink PLC Coder Version 2.1 (R2016a)• Simulink Design Verifier Version 3.1 (R2016a)

R2016a

11-2


https://www.mathworks.com/help/releases/R2016a/certkitiec/ug/iec-61508-1.html

https://www.mathworks.com/help/releases/R2016a/certkitiec/ug/access-supporting-artifacts-for-iec-62304.html




• Simulink Verification and Validation Version 3.11 (R2016a)• Polyspace Bug Finder Version 2.1 (R2016a)• Polyspace Code Prover Version 9.5 (R2016a)• Simulink Test Version 2.0 (R2016a)



The following versions of MathWorks products are qualified with the TÜV SÜD qualificationassessment according to EN 50128:




The following version of this MathWorks product is qualified with the TÜV SÜD qualificationassessment according to IEC 61511:



11-3






R2015b

Version: 3.6

New Features

Bug Fixes

12

Certification and qualification artifacts for Simulink TestTÜV SÜD has certified Simulink Test Version 1.1 (R2015b) for use in development processes thatmust comply with IEC 61508, ISO 26262, EN 50128, or derivative standards. For details, see AccessCertification Artifacts for Simulink Test.

To comply with the IEC 61508, ISO 26262, EN 50128 standards, you can use Simulink Test to:

• Compare simulation and object code test results to expected results.• Generate reports containing simulation and test results, including requirement traceability.

For more information about Simulink Test, see the Simulink Test documentation.

Qualification and certification artifacts for R2015bISO 26262 tool prequalification of R2015b versions of supported products




IEC 61508 tool certification of R2015b versions of supported products


• Embedded Coder Version 6.9 (R2015b)• Simulink PLC Coder Version 2.0 (R2015b)• Simulink Design Verifier Version 3.0 (R2015b)• Simulink Verification and Validation Version 3.10 (R2015b)• Polyspace Bug Finder Version 2.0 (R2015b)• Polyspace Code Prover Version 9.4 (R2015b)• Simulink Test Version 1.1 (R2015b)


EN 50128 tool certification of R2015b versions of supported products


• Embedded Coder Version 6.9 (R2015b)

R2015b

12-2




https://www.mathworks.com/help/releases/R2015b/sltest/index.html






• Simulink Design Verifier Version 3.0 (R2015b)• Simulink Verification and Validation Version 3.10 (R2015b)• Polyspace Bug Finder Version 2.0 (R2015b)• Polyspace Code Prover Version 9.4 (R2015b)• Simulink Test Version 1.1 (R2015b)






12-3




R2015a

Version: 3.5

New Features

Bug Fixes

13

Qualification and certification artifacts for R2015aISO 26262 tool prequalification of R2015a versions of supported products


• Embedded Coder Version 6.8 (R2015a)• Simulink Design Verifier Version 2.8 (R2015a)• Simulink Verification and Validation Version 3.9 (R2015a)• Polyspace Bug Finder Version 1.3 (R2015a)• Polyspace Code Prover Version 9.3 (R2015a)


IEC 61508 tool certification of R2015a versions of supported products


• Embedded Coder Version 6.8 (R2015a)• Simulink PLC Coder Version 1.9 (R2015a)• Simulink Design Verifier Version 2.8 (R2015a)• Simulink Verification and Validation Version 3.9 (R2015a)• Polyspace Bug Finder Version 1.3 (R2015a)• Polyspace Code Prover Version 9.3 (R2015a)


EN 50128 tool certification of R2015a versions of supported products








R2015a

13-2









Enhanced tool validation tests for Simulink Verification and Validationmodel coverageThe Simulink Verification and Validation model coverage tool validation tests now include:

• Decision and saturate on integer overflow coverage for MinMax blocks with fixed-pointoperations. Previously, the IEC Certification Kit did not include tests for fixed-point operations onMinMax blocks.

• MCDC and condition coverage for If blocks. Previously, the IEC Certification Kit included onlytests for decision and relational boundary coverage.

• Test to check that no signal range or signal size coverage is recorded if the number of signalsexceeds the maximum number of signals.

Qualification of Polyspace Bug Finder and Polyspace Code ProverMISRA C:2012 coding rulesTÜV SÜD has certified the Polyspace Bug Finder and Polyspace Code Prover checks for MISRAC:2012 directives and coding rules for use in development processes that must comply with IEC61508, ISO 26262, EN 50128, or derivative standards.

For more information about: See:Polyspace Bug Finder checks forMISRA C:2012 coding directives andcoding rules

Polyspace MISRA C:2012 Checker

Polyspace Code Prover checks forMISRA C:2012 coding directives andcoding rules

Polyspace MISRA C:2012 Checker

Polyspace Bug Finder certificationartifacts

Access Certification Artifacts for Polyspace Bug Finder

Polyspace Code Prover certificationartifacts

Access Certification Artifacts for Polyspace Code Prover

13-3

https://www.mathworks.com/help/releases/R2015a/bugfinder/ug/polyspace-misra-c-2012-checker.html

https://www.mathworks.com/help/releases/R2015a/codeprover/ug/polyspace-misra-c-2012-checker.html

https://www.mathworks.com/help/releases/R2015a/certkitiec/ug/access-certification-artifacts-for-polyspace-client-for-cc-and-polyspace-server-for-cc-.html


R2014b

Version: 3.4

New Features

Bug Fixes

14

Qualification and certification artifacts for supported products inR2014bISO 26262 tool prequalification of R2014b versions of supported products


• Embedded Coder Version 6.7 (R2014b)• Simulink Design Verifier Version 2.7 (R2014b)• Simulink Verification and Validation Version 3.8 (R2014b)• Polyspace Bug Finder Version 1.2 (R2014b)• Polyspace Code Prover Version 9.2 (R2014b)




• Embedded Coder Version 6.7 (R2014b)• Simulink PLC Coder Version 1.8 (R2014b)• Simulink Design Verifier Version 2.7 (R2014b)• Simulink Verification and Validation Version 3.8 (R2014b)• Polyspace Bug Finder Version 1.2 (R2014b)• Polyspace Code Prover Version 9.2 (R2014b)









R2014b

14-2









ISO 26262 qualification of Embedded Coder Support Package forAUTOSAR StandardThe IEC Certification Kit provides qualification of the Embedded Coder Support Package forAUTOSAR Standard Version 14.2.0 (R2014b).

Enhanced tool validation tests for Simulink Verification and Validationmodel coverageThe Simulink Verification and Validation tool validation tests now include model coverage tests for:

• Cumulative coverage• Boundary value coverage• Sqrt blocks• Relational Operator blocks

For more information, see Run Test Cases and Procedures for Simulink Verification and Validation.

Enhanced getting started with IEC Certification Kit documentationTo help you get started with certification, the IEC Certification Kit now includes:

• Detailed descriptions of the tool artifacts. See Tool Artifacts.• Detailed descriptions of the supporting artifacts. See Supporting Artifacts.• Workflow to familiarize yourself with the artifacts. See Exploring the Artifacts.

14-3


https://www.mathworks.com/help/releases/R2014b/certkitiec/ug/run-test-cases-and-procedures-for-simulink-verification-and-validation.html

https://www.mathworks.com/help/releases/R2014b/certkitiec/ug/tool-artifacts.html

https://www.mathworks.com/help/releases/R2014b/certkitiec/ug/supporting-artifacts.html

https://www.mathworks.com/help/releases/R2014b/certkitiec/ug/tool-artifacts.html#bug4d_n

R2014a

Version: 3.3

New Features

Bug Fixes

15

Qualification and certification artifacts for supported products inR2014aISO 26262 tool prequalification of R2014a versions of supported products

The following versions of MathWorks products are qualified with TÜV SÜD qualification assessmentaccording to ISO 26262:




The following versions of MathWorks products are qualified with TÜV SÜD qualification assessmentaccording to IEC 61508:

• Embedded Coder Version 6.6 (R2014a)• Simulink PLC Coder Version 1.7 (R2014a)• Simulink Design Verifier Version 2.6 (R2014a)• Simulink Verification and Validation Version 3.7 (R2014a)• Polyspace Bug Finder Version 1.1 (R2014a)• Polyspace Code Prover Version 9.1 (R2014a)



The following versions of MathWorks products are qualified with TÜV SÜD qualification assessmentaccording to EN 50128:






R2014a

15-2








For details, see in the IEC Certification Kit Components IEC Certification Kit documentation.

15-3


R2013b

Version: 3.2

New Features

Bug Fixes

16

Qualification and certification artifacts for R2013b of supportedproductsISO 26262 tool prequalification of R2013b versions of supported products






• Embedded Coder Version 6.5 (R2013b)• Simulink PLC Coder Version 1.6 (R2013b)• Simulink Design Verifier Version 2.5 (R2013b)• Simulink Verification and Validation Version 3.6 (R2013b)• Polyspace Bug Finder Version 1.0 (R2013b)• Polyspace Code Prover Version 9.0 (R2013b)









R2013b

16-2









Support for Polyspace Bug Finder and Polyspace Code ProverTÜV SÜD has certified Polyspace Bug Finder Version 1.0 (R2013b) and Polyspace Code ProverVersion 9.0 (R2013b) for use in development processes that must comply with IEC 61508, ISO 26262,EN 50128, or derivative standards. For details, see IEC Certification Kit Components.

Polyspace Bug Finder and Polyspace Code Prover replace Polyspace Client™ for C/C++ andPolyspace Server for C/C++. For more information, see Polyspace Bug Finder Documentation andPolyspace Code Prover Documentation.

Certification Artifacts Explorer support on Linux and Mac platformsYou can use the Certification Artifacts Explorer to access certification artifacts on Linux® and Macplatforms. Previously, the Certification Artifacts Explorer worked on only Microsoft® Windows®

platforms. For more information, see Certification Artifacts Explorer Limitations and CertificationArtifacts Explorer on Linux and Mac Platforms.

16-3



https://www.mathworks.com/help/releases/R2013b/bugfinder/index.html

https://www.mathworks.com/help/releases/R2013b/codeprover/index.html

https://www.mathworks.com/help/releases/R2013b/certkitiec/ug/limitations-of-the-certification-artifacts-explorer.html

https://www.mathworks.com/help/releases/R2013b/certkitiec/ug/certification-artifact-explorer-on-linux-and-mac-platforms.html

https://www.mathworks.com/help/releases/R2013b/certkitiec/ug/certification-artifact-explorer-on-linux-and-mac-platforms.html

R2013a

Version: 3.1

New Features

Bug Fixes

17

Qualification and certification artifacts for R2013a of supportedproductsFor a list of products supported by the IEC Certification Kit for each MathWorks release, seeTechnical Solution 1-JJ3OM1.

ISO 26262 tool prequalification of R2013a versions of supported products


• Embedded Coder Version 6.4 (R2013a)• Simulink Design Verifier Version 2.4 (R2013a)• Simulink Verification and Validation Version 3.5 (R2013a)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.5 (R2013a)

For details, see IEC Certification Kit Component Summary in the IEC Certification Kit documentation.



• Embedded Coder Version 6.4 (R2013a)• Simulink PLC Coder Version 1.5 (R2013a)• Simulink Design Verifier Version 2.4 (R2013a)• Simulink Verification and Validation Version 3.5 (R2013a)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.5 (R2013a)










R2013a

17-2

https://www.mathworks.com/support/solutions/en/data/1-JJ3OM1/index.html?solution=1-JJ3OM1


https://www.mathworks.com/help/releases/R2013a/certkitiec/ug/iec-certification-kit-components.html







Model-Based Design for IEC 61508 documentR2013a adds the following certification artifact:

• Model-Based Design for IEC 61508 — Provides suggestions for leveraging MathWorks tools andworkflows for Model-Based Design when applying the IEC 61508 Standard.

For more information, see Access Supporting Artifacts for IEC 61508.

Enhanced software tool validation tests for Simulink Verification andValidationThe tool validation report for the ISO 26262 Model Advisor checks now provides the expected andactual results for both the overall check and subchecks. Previously, the report provided only theoverall result.

To access the test cases with the expected subcheck results:

1 Open the Artifacts Explorer. Alternatively, on the MATLAB command line, type certkitiec.2 Navigate to the following folder:

matlabroot/toolbox/qualkits/iec/slvnv/r2013a/3 Open the Test Cases files:

/tests/*

17-3

https://www.mathworks.com/help/releases/R2013a/certkitiec/ug/supporting-artifacts-for-iec-61508.html

matlab:certkitiec

R2012b

Version: 3.0

New Features

Bug Fixes

18

ISO 26262:2011 tool prequalification by TÜV SÜD of R2012b versionsof supported productsThe following versions of MathWorks products are qualified with TÜV SÜD qualification assessmentaccording to ISO 26262:

• Embedded Coder Version 6.3 (R2012b)• Real-Time Workshop® Embedded Coder Version 5.6.2 (R2010bSP2)• Simulink Design Verifier Version 2.3 (R2012b)• Simulink Verification and Validation Version 3.4 (R2012b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.4 (R2012b)


IEC 61508:2010 tool certification by TÜV SÜD of R2012b versions ofsupported productsTÜV SÜD certified the following versions of MathWorks products according to IEC 61508:

• Embedded Coder Version 6.3 (R2012b)• Real-Time Workshop Embedded Coder Version 5.6.2 (R2010bSP2)• Simulink PLC Coder Version 1.4 (R2012b)• Simulink Design Verifier Version 2.3 (R2012b)• Simulink Verification and Validation Version 3.4 (R2012b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.4 (R2012b)


EN 50128:2011 tool certification by TÜV SÜD of R2012b versions ofsupported productsTÜV SÜD certified the following versions of MathWorks products according to EN 50128:

• Embedded Coder Version 6.3 (R2012b)• Real-Time Workshop Embedded Coder Version 5.6.2 (R2010bSP2)• Simulink Design Verifier Version 2.3 (R2012b)• Simulink Verification and Validation Version 3.4 (R2012b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.4 (R2012b)


IEC 61511:2003 tool certification by TÜV SÜD of R2012b versions ofsupported productsTÜV SÜD certified the following versions of MathWorks products according to IEC 61511:

R2012b

18-2


https://www.mathworks.com/help/releases/R2012b/certkitiec/ug/iec-certification-kit-components.html








Model Advisor checks for bug reportsThe IEC Certification Kit now provides Model Advisor bug report checks, allowing you to display bugreports for:

• Simulink Verification and Validation• Simulink Design Verifier• IEC Certification Kit• Polyspace Client for C/C++ and Polyspace Server for C/C++• Embedded Coder• Simulink PLC Coder

When you run the individual checks, the Model Advisor lists the bug reports for the products. Toaccess the checks, from the Model Advisor window, select By Product > IEC Certification Kit.

New EN 50128 certification artifactR2012b adds the following certification artifact:

• Model-Based Design for EN 50128 — Provides suggestions for leveraging MathWorks tools andworkflows for Model-Based Design when applying the EN 50128 Standard.

For more information, see Supporting Artifact for EN 50128.

Microsoft Word docx files for certification artifactsThe IEC Certification Kit certification artifacts are now available in a smaller file size, MicrosoftWord .docx. Previously, the artifacts were available in RTF files.

New Simulink default file formatIn R2012b, the IEC Certification Kit test models are delivered in the new Simulink model format, withthe extension .slx. For more information, see Saving Models in the SLX File Format in the Simulinkdocumentation.

18-3


https://www.mathworks.com/help/releases/R2012b/certkitiec/ug/iec-certification-kit-components.html#btkjtee-1

https://www.mathworks.com/help/releases/R2012b/simulink/ug/saving-a-model.html#btbr7kx-1

R2012a

Version: 2.1

New Features

Bug Fixes

19

ISO 26262 Tool Qualification of New ReleasesThe following versions of MathWorks products are qualified with TÜV SÜD qualification assessmentaccording to ISO/DIS 26262:



IEC 61508 Tool Certification of New ReleasesTÜV SÜD certified the following versions of MathWorks products according to IEC 61508:

• Embedded Coder Version 6.2 (R2012a)• Simulink PLC Coder Version 1.3 (R2012a)• Simulink Design Verifier Version 2.2 (R2012a)• Simulink Verification and Validation Version 3.3 (R2012a)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.3 (R2012a)


Software Tool Validation Tests for PolyspaceThe Polyspace materials in the IEC Certification Kit product now include exemplary test cases andtest procedures that you can use to automate tool validation tests for Polyspace software.

For more information, see Validate Software Tools.

New ISO 26262 Certification ArtifactsR2012a adds the following certification artifacts:

• Model-Based Design for ISO 26262 — Provides suggestions for leveraging MathWorks tools andworkflows for Model-Based Design when applying the ISO 26262–6 and ISO 26262–8 standards.

• ISO 26262 Software Tool Inventory — Provides a template for listing the software tools used in theproject under consideration and their corresponding tool classification/qualificationdocumentation.

For more information, see Supporting Artifacts for ISO 26262.

R2012a

19-2


https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/brzcrdl.html



https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/bsz9hw0.html

https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/brzcrdl.html#btee3ex-1

R2011b

Version: 2.0

New Features

20


• Embedded Coder Version 6.1 (R2011b)• Simulink Design Verifier Version 2.1 (R2011b)• Simulink Verification and Validation Version 3.2 (R2011b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.2 (R2011b)


IEC 61508 Tool Certification of New ReleasesTÜV SÜD certified the following versions of MathWorks products according to IEC 61508:

• Embedded Coder Version 6.1 (R2011b)• Simulink PLC Coder Version 1.2.1 (R2011b)• Simulink Design Verifier Version 2.1 (R2011b)• Simulink Verification and Validation Version 3.2 (R2011b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.2 (R2011b)


Simulink Verification and Validation Certification Artifacts andSoftware Tool Validation TestsR2011b provides the following additional materials for using the Simulink Verification and Validationproduct in the context of the ISO 26262 standard:

• New certification artifacts: reference workflow, conformance demonstration temple, and ISO26262 tool qualification package documents

• Software tool validation tests: exemplary test cases and test procedures that you can use toautomate tool validation tests for Simulink Verification and Validation software

Certification Artifacts Explorer Display EnhancementsThe Certification Artifacts Explorer dialog box has been enhanced in the following ways to supportsimpler and more flexible viewing of artifacts:

• The display pane previously located on the right-hand side of the dialog box has been removed.Certification artifacts now open and display in a separate window.

• Certification package properties, formerly displayed in the right-hand pane, now are accessible byright-clicking a package and selecting Properties.

• Folder and file information now is dynamically displayed in the Certification Artifacts Explorerstatus bar.

R2011b

20-2





R2011a

Version: 1.4

New Features

21

Certification of Simulink Design Verifier and Simulink Verification andValidationThis release provides certification artifacts for using the Simulink Design Verifier and SimulinkVerification and Validation products in the context of the IEC 61508 standard. TÜV SÜD has certifiedSimulink Design Verifier Version 1.7.1 (R2010bSP1) and Version 2.0 (R2011a) and SimulinkVerification and Validation Version 3.0.1 (R2010bSP1) and 3.1 (R2011a) for use in developmentprocesses that need to comply with IEC 61508, ISO 26262, EN 50128, or derivative standards.Certification encompasses the test case generation capability of Simulink Design Verifier and themodel coverage analysis capability of Simulink Verification and Validation. For details, see IECCertification Kit Components in the IEC Certification Kit documentation.

Software Tool Validation Tests for Embedded CoderThe Embedded Coder materials in the IEC Certification Kit product include exemplary test cases andtest procedures that you can use to automate tool validation tests for Embedded Coder software. Youcan modify and extend these test cases to create a test suite that covers the requirements that arerelevant for your application, your specific tool configuration, operating environment, and so on. Formore information, see Validate Software Tools in the IEC Certification Kit documentation.

Enhanced Dialog for Generating Traceability MatricesOn Windows systems, you can generate a traceability matrix into Microsoft Excel® format directlyfrom the Embedded Coder code generation report for your model. In previous releases, clicking theGenerate Traceability Matrix button opened a generic Windows file save dialog box that providedlimited control over the updating or creation of a matrix file.

R2011a introduces the Generate Traceability Matrix dialog box, which opens when you click theGenerate Traceability Matrix button. You can use this dialog box to browse to an existing matrixfile to update or specify a new matrix file to create. Optionally, you can also use this dialog box toselect and order the columns that appear in the generated matrix. For example, here is the dialog boxthat appears when you generate a traceability matrix for the example model rtwdemo_hyperlinks:

R2011a

21-2




https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/bsz9hw0.html

For more information, see Generate a Traceability Matrix in the IEC Certification Kit documentation.

IEC Certification of New ReleasesTÜV SÜD certified the following versions of MathWorks products according to IEC 61508:

• Embedded Coder Version 6.0 (R2011a)• Real-Time Workshop Embedded Coder Version 5.6.1 (R2010bSP1)• Simulink PLC Coder Version 1.2 (R2011a)• Simulink Design Verifier Version 1.7.1 (R2010bSP1) and 2.0 (R2011a)• Simulink Verification and Validation Version 3.0.1 (R2010bSP1) and 3.1 (R2011a)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.1 (R2011a)



• Embedded Coder Version 6.0 (R2011a)• Real-Time Workshop Embedded Coder Version 5.6.1 (R2010bSP1)• Simulink Design Verifier Version 1.7.1 (R2010bSP1) and 2.0 (R2011a)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.1 (R2011a)


21-3

https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/bsab_e4.html





R2010bSP1

Version: 1.3

New Features

22

Using Version 1.3 of the IEC Certification Kit Software with R2010bSP1Version 1.3 of the IEC Certification Kit software shipping with R2010bSP1 includes documents,templates, artifacts, and software capabilities that have not changed between R2010b andR2010bSP1.

You can use the documents, templates, and artifacts included in Version 1.3 when you use thefollowing MathWorks products in projects involving ISO 26262, IEC 61508, and related standards:

• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.0 (R2010b)• Simulink PLC Coder Version 1.1 (R2010b, R2010bSP1)

Version 1.3 of the IEC Certification Kit software does not include documents, templates, and artifactsfor:

• Real-Time Workshop Embedded Coder Version 5.6.1 (R2010bSP1)

Please check future releases of the IEC Certification Kit software for documents, templates, andartifacts for Real-Time Workshop Embedded Coder Version 5.6.1 (R2010bSP1).

Note You can use the IEC Certification Kit traceability matrix feature to generate traceabilitymatrices for code generated with Real-Time Workshop Embedded Coder Version 5.6.1 (R2010bSP1).

You can use the Certification Artifacts Explorer to explore documents, templates, and artifactsshipping with IEC Certification Kit Version 1.3 and to manage your own collections of certificationartifacts.

R2010bSP1

22-2

R2010b

Version: 1.3

New Features

Bug Fixes

23

IEC Certification of Simulink PLC CoderIn previous releases, the IEC Certification Kit product provided certification artifacts for using Real-Time Workshop Embedded Coder and Polyspace code verification products in projects involving theIEC 61508 standard. This release additionally provides certification artifacts for using the SimulinkPLC Coder product in the context of the IEC 61508 standard. TÜV SÜD has certified Simulink PLCCoder Version 1.0 (R2010a) and 1.1 (R2010b) according to IEC 61508. For details, see IECCertification Kit Components in the IEC Certification Kit documentation.

Traceability Matrix EnhancementsThe traceability matrix, which provides traceability among model objects, generated code, and modelrequirements, has been enhanced in the following ways.

Ability to Export a Traceability Matrix Directly From a Generated HTML Traceability Report

On a Windows host, if your model build generates an HTML code generation report that includestraceability information, you can now export a traceability matrix into Microsoft Excel format directlyfrom the code generation report. To do this, go to the Traceability Report section and click theGenerate Traceability Matrix button.

When you click the button, a Windows file save dialog appears. You can specify either a new orexisting Excel file name.

Note If you specify an existing file name, the existing matrix is updated, not overwritten. If yourintention is to update or merge information in an existing matrix, you can safely disregard theWindows warning that the file already exists and save the file.

New Code Interface Worksheet

When you generate a traceability matrix, using either the iec.ExportTraceReport function or theGenerate Traceability Matrix button, the matrix now includes a Code Interface worksheet. TheCode Interface worksheet captures information from the Code Interface Report section of theHTML code generation report, such as function prototype and timing information for the modelinitialize and step functions.


• Real-Time Workshop Embedded Coder Version 5.4.1 (R2009bSP1) and 5.6 (R2010b)• Simulink PLC Coder Version 1.0 (R2010a) and 1.1 (R2010b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.0 (R2010b)



R2010b

23-2




https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/iec.exporttracereport.html




• Real-Time Workshop Embedded Coder Version 5.4.1 (R2009bSP1) and 5.6 (R2010b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 8.0 (R2010b)


23-3


R2010a

Version: 1.2

New Features

Bug Fixes

24


• Real-Time Workshop Embedded Coder Version 5.5 (R2010a)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 7.2 (R2010a)



• Real-Time Workshop Embedded Coder Version 5.5 (R2010a)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Version 7.2 (R2010a)


Access and Manage Certification Artifacts Using Certification ArtifactsExplorerThe certification artifacts that are part of the IEC Certification Kit product are in many differentlocations. Previously, a central access point to the certification artifacts was not available. Now youcan use the Certification Artifacts Explorer to access and manage the certification artifacts. Using theCertification Artifacts Explorer, you can:

• Access the certification artifacts that are part of the IEC Certification Kit product.• Create certification packages containing the certification artifacts that you need to certify your

projects.• Access certification artifacts for editing.

For details, see Access and Manage Certification Artifacts in the IEC Certification Kit documentation.For limitations that apply, see Certification Artifacts Explorer Limitations in the IEC Certification Kitdocumentation.

R2010a

24-2





https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/bsf2xoi.html

https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/bsf2si2.html

R2009b+

Version: 1.1

New Features

25

IEC 61508 Certification of New VersionsTÜV SÜD certified the following versions of MathWorks products according to IEC 61508:

• Real-Time Workshop Embedded Coder Version 5.4 (R2009b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Versions 5.1 (R2008a), 6.0 (R2008b),

7.0.1 (R2009a+), and 7.1 (R2009b)


ISO 26262 Tool QualificationThe following versions of MathWorks products are qualified with TÜV SÜD qualification assessmentaccording to ISO/DIS 26262:

• Real-Time Workshop Embedded Coder Versions 5.3 (R2009a) and 5.4 (R2009b)• Polyspace Client for C/C++ and Polyspace Server for C/C++ Versions 7.0.1 (R2009a+) and 7.1

(R2009b)


ISO 26262 SupportThe IEC Certification Kit product includes qualification evidence, documents, templates, and tools forcertification-related development activities. You can use these certification artifacts and tools whenyou use the Real-Time Workshop Embedded Coder product in projects involving the ISO 26262standard.

For details, see the IEC Certification Kit Product Overview in the IEC Certification Kit documentation.

Traceability Among Model Objects, Generated Code, and ModelRequirementsWhen you use Model-Based Design and production code generation to develop application softwarecomponents, you can generate a traceability matrix. The traceability matrix provides traceabilityamong model objects, generated code, and model requirements. You can add comments to thegenerated traceability matrix. If you change the model and regenerate the traceability matrix, thesoftware retains your comments.

For details, see Generate a Traceability Matrix in the IEC Certification Kit User's Guide.

Limitations

The iec.ExportTraceReport function that you use to generate traceability matrices has thefollowing limitations:

• The iec.ExportTraceReport function does not support generating a traceability matrix forreferenced models. When you generate a traceability matrix for a model that contains referencedmodels, the traceability matrix contains information about the Model block only. The traceabilitymatrix does not contain information about the contents of the referenced model. If your modelcontains referenced models, generate a traceability matrix for the top-level model and eachreferenced model separately.

R2009b+

25-2





https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/bsab_e4.html



• The iec.ExportTraceReport function works with the Microsoft Windows platform only.

25-3


R2009a+

Version: 1.0

26

Version 1.0 of the IEC Certification KitVersion 1.0 of the IEC Certification Kit software includes documents, certificates, and templates. Youcan use these certification artifacts when you use the following MathWorks products in projectsinvolving the IEC 61508 standard:

• Real-Time Workshop Embedded Coder• Polyspace Code Verification products (for C)

For more information, see:

• IEC Certification Kit User's Guide• The IEC Certification Kit product page on www.mathworks.com.

R2009a+

26-2

https://www.mathworks.com/help/releases/R2012a/toolbox/certkitiec/ug/ug_intropage.html

https://www.mathworks.com/products/iec-61508

https://www.mathworks.com

Documents

IEC Certification Kit (for ISO 26262 and IEC 61508) Release Notes