Download - certkitiec_slvnv_cdt
![Page 1: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/1.jpg)
IEC Certification Kit
Simulink® Verification and Validation™ Conformance Demonstration Template
R2015b
![Page 2: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/2.jpg)
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 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.
![Page 3: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/3.jpg)
Revision History
September 2011 New for Version 2.0 (Applies to Release R2011b)
March 2012 Revised for Version 2.1 (Applies to Release R2012a) September 2012 Revised for Version 3.0 (Applies to Release R2012b)
March 2013 Revised for Version 3.1 (Applies to Release R2013a)
September 2013 Revised for Version 3.2 (Applies to Release R2013b) March 2014 Revised for Version 3.3 (Applies to Release R2014a)
October 2014 Revised for Version 3.4 (Applies to Release R2014b)
March 2015 Revised for Version 3.5 (Applies to Release R2015a) September 2015 Revised for IEC Certification Kit Version 3.6 (Applies to Release R2015b)
![Page 4: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/4.jpg)
![Page 5: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/5.jpg)
v
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
![Page 6: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/6.jpg)
vi
![Page 7: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/7.jpg)
1 Introduction
![Page 8: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/8.jpg)
1-2
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).
![Page 9: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/9.jpg)
1-3
1.2 Application Identification
Applicant: <Insert information>
Application: <Insert information>
![Page 10: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/10.jpg)
1-4
![Page 11: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/11.jpg)
2 Model Compliance Checking and Automated Fixing of Reported Issues
![Page 12: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/12.jpg)
2-2
Checklist 1: Model Compliance Checking
Technique / Measure Associated Requirements Used / Used to a limited degree / Not used
Interpretation in this application, Evidence
1 Adherence to modeling
guidelines Designation of modeling
guidelines
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
3 Preceding or
subsequent dynamic
verification (testing)
of the model
(See “Error Prevention
and Detection Measures”
in the Simulink
Verification and
Validation Reference
Workflow)
Execution of specified test
cases against model
Documentation of the results of
model tests
Corrective action on failure of
model tests
![Page 13: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/13.jpg)
2-3
Checklist 2: Automated Fixing of Reported Issues
Technique / Measure Associated Requirements Used / Used to a limited degree / Not used
Interpretation in this application, Evidence
4 Fixing of issues reported
during compliance
checking
(See “Tool Use Cases”
in the Simulink®
Verification and
Validation™ Reference
Workflow)
Automatic fixing of reported
issues using capabilities
provided by model compliance
checks
5a Subsequent model
compliance checking
(Static analysis at the
model level)
(See “Error Prevention
and Detection Measures”
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
![Page 14: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/14.jpg)
2-4
Technique / Measure Associated Requirements Used / Used to a limited degree / Not used
Interpretation in this application, Evidence
5b Subsequent dynamic
verification (testing) of
the model
(See “Error Prevention
and Detection Measures”
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
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
![Page 15: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/15.jpg)
3 Model Coverage Analysis
![Page 16: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/16.jpg)
3-2
Checklist 3: Model Coverage Analysis
Technique / Measure Associated Requirements Used / Used to a limited degree / Not used
Interpretation in this application, Evidence
6 Model coverage
analysis
(See “Tool Use Cases”
in the Simulink®
Verification and
Validation™ Reference
Workflow)
Model coverage analysis of
model test cases
Review of the model coverage
reported for uncovered model
elements and their impact
Justification of and corrective
action on uncovered elements
7 Subsequent code
coverage analysis
(See “Error Prevention
and Detection
Measures” in the
Simulink Verification
and Validation
Reference Workflow)
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
![Page 17: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/17.jpg)
4 Additional Considerations
![Page 18: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/18.jpg)
4-2
Checklist 4: Additional Considerations
Technique / Measure Associated Requirements Used / Used to a limited degree / Not used
Interpretation in this application, Evidence
8 Configuration management
and revision control
(See “Configuration
Management and Revision
Control” in the Simulink®
Verification and
Validation™ Reference
Workflow)
Revision control for model
used for compliance checking
and coverage analysis
Configuration management for
control of model used for
compliance checking and
coverage analysis (if
applicable)
9 Competency of the project
team
(See “Competency of the
Project Team” in the
Simulink Verification and
Validation Reference
Workflow)
Evidence for competence of
project team members
10 Installation integrity and
release compatibility
(See “Installation
Integrity and Release
Compatibility” in the
Simulink Verification and
Validation Reference
Workflow)
Validation of modification and
additions to shipping tools (if
applicable)
Compatibility of product
versions for model creation,
model compliance checking,
and model coverage analysis
11 Bug Reporting
(See “Bug Reporting” in the
Simulink Verification and
Validation Reference
Workflow)
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
![Page 19: certkitiec_slvnv_cdt](https://reader033.vdocuments.us/reader033/viewer/2022042905/577c863a1a28abe054c046f2/html5/thumbnails/19.jpg)
4-3
Technique / Measure Associated Requirements Used / Used to a limited degree / Not used
Interpretation in this application, Evidence
12 Deviation from the
reference workflow
(See “Deviation from
Reference Workflow” in the
Simulink Verification and
Validation Reference
Workflow)
Documentation and
justification for deviations
from the reference workflow
by using a deviation procedure
(if applicable)
13 Integration with the
software safety lifecycle
(See “Integration with
Software Safety Lifecycle”
in the Simulink Verification
and Validation Reference
Workflow)
Documented software safety
lifecycle, including activities
for verification and validation
as part of a model-based
design process