certkitiec_slvnv_cdt

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

http://www.mathworks.com/

http://www.mathworks.com/sales_and_services

http://www.mathworks.com/matlabcentral/

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

http://www.mathworks.com/trademarks

http://www.mathworks.com/patents

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)

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

1 Introduction

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

1-3

1.2 Application Identification

Applicant: <Insert information>

Application: <Insert information>

2 Model Compliance Checking and Automated Fixing of Reported Issues

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


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

2-3

Checklist 2: Automated Fixing of Reported Issues



4 Fixing of issues reported

during compliance

checking

(See “Tool Use Cases”

in the Simulink®

Verification and


Workflow)

Automatic fixing of reported

issues using capabilities

provided by model compliance

checks

5a Subsequent model

compliance checking

(Static analysis at the

model level)



in the Simulink

Verification and


Workflow)



Advisor




using Model Advisor









2-4



5b Subsequent dynamic

verification (testing) of

the model



in the Simulink

Verification and


Workflow)



Advisor




using Model Advisor









5c Subsequent comparison

of the XML files

exported from the

original and fixed

Simulink® models



in the Simulink

Verification and


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

3 Model Coverage Analysis

3-2

Checklist 3: Model Coverage Analysis



6 Model coverage

analysis

(See “Tool Use Cases”

in the Simulink®

Verification and


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


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

4 Additional Considerations

4-2

Checklist 4: Additional Considerations



8 Configuration management

and revision control

(See “Configuration

Management and Revision

Control” in the Simulink®

Verification and


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


Workflow)

Evidence for competence of

project team members

10 Installation integrity and

release compatibility

(See “Installation

Integrity and Release

Compatibility” in the



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



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

4-3



12 Deviation from the

reference workflow

(See “Deviation from

Reference Workflow” in the



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

certkitiec_slvnv_cdt

Documents