IEC Certification Kit

Simulink Verification and Validation

Conformance Demonstration Template
R2015b

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 Verification and Validation Conformance Demonstration Template

COPYRIGHT 20112015 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 governments 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
September 2011
March 2012
September 2012
March 2013
September 2013
March 2014
October 2014
March 2015
September 2015

New for Version 2.0 (Applies to Release R2011b)

Revised for Version 2.1 (Applies to Release R2012a)
Revised for Version 3.0 (Applies to Release R2012b)
Revised for Version 3.1 (Applies to Release R2013a)
Revised for Version 3.2 (Applies to Release R2013b)
Revised for Version 3.3 (Applies to Release R2014a)
Revised for Version 3.4 (Applies to Release R2014b)
Revised for Version 3.5 (Applies to Release R2015a)
Revised for IEC Certification Kit Version 3.6 (Applies to Release R2015b)

Contents
1 Introduction ...................................................................................................................................... 1-1
1.1 Conformance Demonstration Template Overview .................................................................. 1-2
1.2 Application Identification ........................................................................................................ 1-3
2 Model Compliance Checking and Automated Fixing of Reported Issues ........................................ 2-1
3 Model Coverage Analysis ................................................................................................................ 3-1
4 Additional Considerations ................................................................................................................ 4-1

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 Verification and Validation 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
Verification and Validation.
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 Model Compliance Checking and

Automated Fixing of Reported
Issues

Checklist 1: Model Compliance Checking

Technique / Measure

Associated Requirements

Adherence to modeling
guidelines

Designation of modeling
guidelines

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Review of modeling guidelines

as suitable for use
Evidence for using the
modeling guidelines
2

Model compliance
checking (Static analysis
at the model level)
(See Tool Use Cases in
the Simulink
Verification and
Validation Reference
Workflow)

Designation of model
compliance checks in Model
Advisor
Static analysis of model to
verify compliance with
specified modeling guidelines
using Model Advisor
Generation of Model Advisor
report to document results of
model compliance checking
Review of Model Advisor
report for detected guideline
violations and errors
Corrective action on guideline
violations and errors

Preceding or
subsequent dynamic
verification (testing)
of the model

Execution of specified test

cases against model

(See Error Prevention

and Detection Measures
in the Simulink
Verification and
Validation Reference
Workflow)

Corrective action on failure of

Documentation of the results of

model tests
model tests

2-2

Checklist 2: Automated Fixing of Reported Issues

5a

Technique / Measure

Associated Requirements

Fixing of issues reported

during compliance
checking

Automatic fixing of reported

issues using capabilities
provided by model compliance
checks

(See Tool Use Cases

in the Simulink
Verification and
Validation Reference
Workflow)
Subsequent model
compliance checking
(Static analysis at the
model level)
(See Error Prevention
and Detection Measures
in the Simulink
Verification and
Validation Reference
Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Designation of model
compliance checks in Model
Advisor
Static analysis of model to
verify compliance with
specified modeling guidelines
using Model Advisor
Generation of Model Advisor
report to document results of
model compliance checking
Review of Model Advisor
report for detected guideline
violations and errors
Corrective action on guideline
violations and errors

2-3

5b

Technique / Measure

Associated Requirements

Subsequent dynamic
verification (testing) of
the model

Designation of model
compliance checks in Model
Advisor

(See Error Prevention

and Detection Measures
in the Simulink
Verification and
Validation Reference
Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Static analysis of model to

verify compliance with
specified modeling guidelines
using Model Advisor
Generation of Model Advisor
report to document results of
model compliance checking
Review of Model Advisor
report for detected guideline
violations and errors
Corrective action on guideline
violations and errors

5c

Subsequent comparison
of the XML files
exported from the
original and fixed
Simulink models
(See Error Prevention
and Detection Measures
in the Simulink
Verification and
Validation Reference
Workflow)

Comparison of XML files

generated from model before
and after automated fixing of
reported issues
Generation of XML
comparison report
Review of XML comparison
report for unintended
modifications

2-4

3 Model Coverage Analysis

Checklist 3: Model Coverage Analysis

Technique / Measure

Associated Requirements

Model coverage
analysis

Model coverage analysis of

model test cases

(See Tool Use Cases

in the Simulink
Verification and
Validation Reference
Workflow)
7

Subsequent code
coverage analysis
(See Error Prevention
and Detection
Measures in the
Simulink Verification
and Validation
Reference Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Review of the model coverage

reported for uncovered model
elements and their impact
Justification of and corrective
action on uncovered elements
Code coverage analysis of code
level test cases
Review of the code coverage
report for uncovered code
elements and their impact
Justification of and corrective
action on uncovered elements

3-2

4 Additional Considerations

Checklist 4: Additional Considerations

10

11

Technique / Measure

Associated Requirements

Configuration management
and revision control

Revision control for model

used for compliance checking
and coverage analysis

(See Configuration
Management and Revision
Control in the Simulink
Verification and
Validation Reference
Workflow)
Competency of the project
team

Configuration management for

control of model used for
compliance checking and
coverage analysis (if
applicable)

(See Competency of the

Project Team in the
Simulink Verification and
Validation Reference
Workflow)
Installation integrity and
release compatibility
(See Installation
Integrity and Release
Compatibility in the
Simulink Verification and
Validation Reference
Workflow)
Bug Reporting
(See Bug Reporting in the
Simulink Verification and
Validation Reference
Workflow)

Used / Used
to a limited
degree / Not
used

Interpretation in
this application,
Evidence

Evidence for competence of

project team members

Validation of modification and

additions to shipping tools (if
applicable)
Compatibility of product
versions for model creation,
model compliance checking,
and model coverage analysis
Assessment of bug report
information provided by tool
vendors and compliance with
recommendations and
workarounds (during
development and after
deployment)
Reporting of issues with
MathWorks products

4-2

12

13

Technique / Measure

Associated Requirements

Deviation from the

reference workflow

Documentation and
justification for deviations
from the reference workflow
by using a deviation procedure
(if applicable)

(See Deviation from

Reference Workflow in the
Simulink Verification and
Validation Reference
Workflow)
Integration with the
software safety lifecycle
(See Integration with
Software Safety Lifecycle
in the Simulink Verification
and Validation Reference
Workflow)

Used / Used
to a limited
degree / Not
used

Interpretation in
this application,
Evidence

Documented software safety

lifecycle, including activities
for verification and validation
as part of a model-based
design process

4-3