IEC Certification Kit
Simulink Test
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 Test Conformance Demonstration Template
COPYRIGHT 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 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 2015
New for IEC Certification Kit Version 3.6 (Applies to Release 2015b)
Contents
1 Introduction ...................................................................................................................................... 1-1
1.1 Conformance Demonstration Template Overview .................................................................. 1-2
1.2 Application Identification........................................................................................................ 1-3
2 Verification and Testing of Simulink Models and Code .................................................................. 2-1
3 Additional Considerations ................................................................................................................ 3-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 Test 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
Test.
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 Verification and Testing of
Simulink Models and Code
Checklist 1: Verification and Testing of Simulink Models and Code
Technique / Measure
Associated
Requirements
Development of Requirementsbased test cases and expected
results
Development of test
cases and expected
results from
requirements,
independent of the model
under test and the test
environment
See measure [SLTEST_M1] in
the Simulink Test Reference
Workflow.
Used / Used to
a limited degree
/ Not used
Interpretation in
this application,
Evidence
Development of test
procedures
Review of test cases,
procedures, and expected
results
2
Execution of test cases and
procedures
Execution of test cases
and procedures on the
model
See use cases [SLTEST_UC1]
and [SLTEST_UC2] in the
Simulink Test Reference
Workflow.
Execution of test cases
and procedures on the
generated code
Assessment of test results
Comparison of test
results to expected results
See use case [SLTEST_UC3]
in the Simulink Test Reference
Workflow.
Review of failed test
cases
Generation of test reports
Generation of test reports
with Simulink Test
See use case [SLTEST_UC4]
in the Simulink Test Reference
Workflow.
Review of test report
Justification of failed test
cases
Archival of test report
2-2
Technique / Measure
Associated
Requirements
Identification of traceability
between requirements and tests
cases
Establish traceability
links between
requirements and test
cases using Simulink Test
See use case [SLTEST_UC5]
in the Simulink Test Reference
Workflow.
Review traceability
Used / Used to
a limited degree
/ Not used
Interpretation in
this application,
Evidence
2-3
3 Additional Considerations
Checklist 2: Additional Considerations
Technique / Measure
Associated Requirements
Configuration management
Configuration management for
artifacts to be verified or
tested
See measure [SLTEST_M3]
in the Simulink Test
Reference Workflow
Training of users can be
performed to ensure correct
usage of tool
See measure [SLTEST_M5]
in the Simulink Test
Reference Workflow
Evidence that coding and
verification/testing activities
are conducted by independent
roles (if applicable)
Integrity checks of tool
installation
Re-running the validation
Simulink Test test suite
provided with the IEC
Certification Kit
Analysis of available bug
report information
See measure [SLTEST_M6]
in the Simulink Test
Reference Workflow
Interpretation in
this application,
Evidence
Configuration management for
artifacts produced by the tool
(test reports)
Competency of the project
team
See measure [SLTEST_M2]
in the Simulink Test
Reference Workflow
Used / Used
to a limited
degree / Not
used
Summary validation report
generated by the Simulink
Test test suite
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
10
Input data integrity checks
See measure [SLTEST_M4]
in the Simulink Test
Reference Workflow
Simulink Test verifies the
integrity of input files using
checksum
3-2
Technique / Measure
Associated Requirements
11
Deviation from the
reference workflow
Documentation and
justification for deviations
from the reference workflow
by using a deviation
procedure, if applicable
12
Integration with the
software safety life cycle
Documented software safety
lifecycle, including
application-specific
verification and validation
activities
Used / Used
to a limited
degree / Not
used
Interpretation in
this application,
Evidence
3-3
