IEC Certification Kit

Simulink® Design Verifier™

Conformance Demonstration Template

R2015a
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.

3 Apple Hill Drive
Natick, MA 01760-2098
IEC Certification Kit: Simulink® Design Verifier™ Conformance Demonstration Template
© COPYRIGHT 2011–2015 by The MathWorks, Inc.
The software described in this document is furnished under a license agreement. The software may be used or copied only under
the terms of the license agreement. No part of this manual may be photocopied or reproduced in any form without prior written
consent from The MathWorks, Inc.
FEDERAL ACQUISITION: This provision applies to all acquisitions of the Program and Documentation by, for, or through the
federal government of the United States. By accepting delivery of the Program or Documentation, the government hereby agrees
that this software or documentation qualifies as commercial computer software or commercial computer software 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 pertain to and govern the use, modification,
reproduction, release, performance, display, and disclosure of the Program and Documentation by the federal government (or
other entity acquiring for or through the federal government)and shall supersede any conflicting contractual terms or conditions.
If this License fails to meet the government’s needs or is inconsistent in any respect with federal procurement law, the
government agrees to return the Program and Documentation, unused, to The MathWorks, Inc.
Trademarks
MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See www.mathworks.com/trademarks for a
list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective
holders.
Patents
MathWorks products are protected by one or more U.S. patents. Please see www.mathworks.com/patents for more
information.
Revision History
March 2011 New for Version 1.3.1 (Applies to Release 2010bSP1)
April 2011 Revised for Version 1.4 (Applies to Release 2011a)
September 2011 Revised for Version 2.0 (Applies to Release 2011b)
March 2012 Revised for Version 2.1 (Applies to Release 2012a)
September 2012 Revised for Version 3.0 (Applies to Release 2012b)
March 2013 Revised for Version 3.1 (Applies to Release 2013a)
September 2013 Revised for Version 3.2 (Applies to Release 2013b)
March 2014 Revised for Version 3.3 (Applies to Release 2014a)
October 2014 Revised for Version 3.4 (Applies to Release 2014b)
March 2015 Revised for Version 3.5 (Applies to Release 2015a)
Contents
1 Introduction ....................................................................................................................................... 1-1
1.1 Conformance Demonstration Template Overview .................................................................. 1-2
1.2 Application Identification ........................................................................................................ 1-3
2 Test Case Generation ........................................................................................................................ 2-1
3 Additional Considerations ................................................................................................................ 3-1

v
vi
1 Introduction
1.1 Conformance Demonstration Template Overview
This Conformance Demonstration Template can be used to demonstrate conformance with the
parts of ISO 26262-6/8, IEC 61508-3, or EN 50128 covered in the document

Simulink® Design Verifier™ Reference Workflow

To access the reference workflow document, on the MATLAB ® command line, type
certkitiec to open the Artifacts Explorer. The reference workflow document is in Simulink
Design Verifier > r2015a.

For each technique or measure:

 In the third column, state to what degree you applied the technique or measure for the
application under consideration by using one of the phrases: Used, Used to a limited
degree, or Not used.

 In the fourth column, state how you used the technique or measure in the application under
consideration. If the reference workflow includes alternative means for compliance,
indicate what variant you used. In addition, enter a reference to the document (for example,
test report or review documentation).

1-2
1.2 Application Identification
Applicant: <Insert information>
Application: <Insert information>

1-3
1-4
2 Test Case Generation
 Checklist 1: Test Case Generation

Technique / Measure Associated Requirements Used / Used to Interpretation in

a limited degree this application,
/ Not used Evidence
1 Check for compatibility  Check of the model used for
with Simulink® Design test case generation for
Verifier™ compatibility with Simulink
Design Verifier
(See “Error Prevention
 Review of the compatibility
and Detection Measures”
check log for detected
in the Simulink Design
incompatibilities and partial
Verifier Reference
incompatibilities
Workflow)
2 Test case generation  Definition / documentation of
test objectives
(See “Tool Use Cases” in
 Generation of test cases with
the Simulink Design
Simulink Design Verifier
Verifier Reference
Workflow)  Review of the test case
generation log for detected
incompatibilities, partial
incompatibilities, and other
warnings/errors
3 Model coverage  Model coverage analysis of
measurement generated test cases
 Review of the model coverage
(See “Tool Use Cases” in
report for uncovered test
the Simulink Design
objectives and their impact
Verifier Reference
Workflow)
4 Test case execution  Execution of generated test
cases against model or
(See “Error Prevention generated code
and Detection Measures”
in the Simulink Design
Verifier Reference
Workflow )

2-2
3 Additional Considerations
 Checklist 2: Additional Considerations

Technique / Measure Associated Requirements Used / Used to Interpretation in

a limited degree this application,
/ Not used Evidence
5 Configuration  Revision control for model
management and used for test case generation
revision control and model/code to be tested
 Configuration management for
(See “Configuration
model used for test case
Management and
generation and model/code to
Revision Control” in the
be tested (if applicable)
Simulink® Design
Verifier™ Reference
Workflow)
6 Competency of the  Evidence for competence of
project team project team members

(See “Competency of the

Project Team” in the
Simulink Design Verifier
Reference Workflow)
7 Installation integrity and  Validation of modification and
release compatibility additions to shipping tools (if
applicable)
(See “Installation
 Compatibility of product
Integrity and Release versions for model creation,
Compatibility” in the test case generation, and test
Simulink Design Verifier case execution
Reference Workflow)
8 Bug Reporting  Assessment of bug report
information provided by tool
(See “Bug Reporting” in vendors and compliance with
the Simulink Design recommendations and
Verifier Reference workarounds (during
Workflow) development and after
deployment)
 Reporting of issues with
MathWorks® products

3-2
 Technique / Measure Associated Requirements Used / Used to Interpretation in
a limited degree this application,
/ Not used Evidence
9 Deviation from the  Documentation and
reference workflow justification for deviations from
the reference workflow by
(See “Deviation from using a deviation procedure (if
Reference Workflow” in applicable)
the Simulink Design
Verifier Reference
Workflow)
10 Integration with the  Documented software safety
software safety lifecycle lifecycle, including activities
for application-specific
(See “Integration with generation and verification of
Software Safety test cases
Lifecycle” in the
Simulink Design Verifier
Reference Workflow)

3-3