Scribd
Upload
57 views21 pages

IEC Certification Kit: Simulink PLC Coder™ Conformance Demonstration Template

certkitiec_plccoder_cdt

Uploaded by

Janos Kovacs
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
57 views21 pages

IEC Certification Kit: Simulink PLC Coder™ Conformance Demonstration Template

certkitiec_plccoder_cdt

Uploaded by

Janos Kovacs
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 21

IEC Certification Kit

Simulink PLC Coder


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 PLC Coder Conformance Demonstration Template

COPYRIGHT 20102015 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 2010
September 2010
April 2011
September 2011
March 2012
September 2012
March 2013
September 2013
March 2014
October 2014
March 2015
September 2015

New for Version 1.2 (Applies to Release 2010a)


Revised for Version 1.3 (Applies to Release 2010b)
Revised for Version 1.4 (Applies to Release 2011a)
Revised for Version 2.0 (Applies to Release 2011b)
Revised for Version 2.1 (Applies to Release 2012a)
Revised for Version 3.0 (Applies to Release 2012b)
Revised for Version 3.1 (Applies to Release 2013a)
Revised for Version 3.2 (Applies to Release 2013b)
Revised for Version 3.3 (Applies to Release 2014a)
Revised for Version 3.4 (Applies to Release 2014b)
Revised for Version 3.5 (Applies to Release 2015a)
Revised 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 Design Verification .......................................................................................................................... 2-1
3 PLC Code Verification ..................................................................................................................... 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 PLC Coder 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
PLC Coder.
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 Design Verification

Checklist 1: Design Verification

Technique / Measure

Associated Requirements

Model review

Inclusion of model components

(See Reviews and Static


Analyses at the Model
Level in the Simulink
PLC Coder Reference
Workflow)
Adherence to modeling
standard

Designation of a modeling
standard

(See Reviews and Static


Analyses at the Model
Level in the Simulink
PLC Coder Reference
Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Review the modeling standard


as suitable for use
Restriction to modeling
constructs suited for PLC code
generation
Evidence for using the
modeling standard

Static analysis at the


model level (if
applicable)
(See Reviews and Static
Analyses at the Model
Level in the Simulink
PLC Coder Reference
Workflow)
Supporting activities
(See Reviews and Static
Analyses at the Model
Level in the Simulink
PLC Coder Reference
Workflow)

Evidence for using static


analyzers

Documentation of the results of


reviews and analyses
Corrective action on failure of
reviews and analyses

2-2

Technique / Measure

Associated Requirements

Module and integration


testing at the model level

Inclusion of model components

(See Module and


Integration Testing at the
Model Level in the
Simulink PLC Coder
Reference Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Consideration of intended and


possible unintended functions
Systematic design of test
vectors
Inclusion of test vectors being
derived from the specification
according to established criteria
Consideration of model
integration stages
Consideration of module
interaction

Supporting activities
(See Module and
Integration Testing at the
Model Level in the
Simulink PLC Coder
Reference Workflow)

Documentation of the results of


module and integration tests,
including test results and
achievement of test objectives
and criteria
Corrective action on failure of
module and integration tests
Impact analysis

2-3

2-4

3 PLC Code Verification

Checklist 2: PLC Code Verification

Technique / Measure

Associated Requirements

Equivalence test vector


generation

Structural coverage with respect


to applicable model coverage
metrics (SIL 2 and above); see
table Model Coverage
Analysis

(See Equivalence Test


Vector Generation in
the Simulink PLC
Coder Reference
Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Creation of additional test


vectors (if applicable)
Assessment of or justification
for uncovered model parts

Equivalence test vector


generation

Stimulation of the model used


for PLC code generation

(See Equivalence

Stimulation of the PLC IDE


project derived from the
generated Structured Text code

Test Vector Generation


in the Simulink PLC
Coder Reference
Workflow)

Test execution in a target-like


environment or analysis of the
differences between testing and
the target environment
Assessment of model parts used
for simulation but not for PLC
code generation

Signal comparison

10

(See Signal
Comparison in the
Simulink PLC Coder
Reference Workflow)
Supporting activities
(See Equivalence
Testing Model Versus
Structured Text in the
Simulink PLC Coder
Reference Workflow)

Designation of a suitable
comparison algorithm and
acceptance threshold
Comparison of simulation
results and execution results
Corrective action on failure of
equivalence tests
Evidence for using automated
equivalence testing tools
Evidence for validation of
equivalence testing tools

3-2

11

12

Technique / Measure

Associated Requirements

Prevention of
unintended functionality
(SIL 2 and above)

Traceability review

(See Prevention of
Unintended
Functionality in the
Simulink PLC Coder
Reference Workflow)
Supporting activities
(See Prevention of
Unintended
Functionality in the
Simulink PLC Coder
Reference Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation in
this application,
Evidence

Assessment of or justification
for issues revealed

Documentation of the results of


demonstrating the absence of
unintended functionality
Corrective action on failure to
demonstrate the absence of
unintended functionality

3-3

3-4

4 Additional Considerations

Checklist 3: Additional Considerations

13

14

15

16

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


the Reference
Workflow in the
Simulink PLC Coder
Reference Workflow)
Integration with the
software safety lifecycle
(See Integration with
the Software Safety
Lifecycle in the
Simulink PLC Coder
Reference Workflow)
Configuration
management and
revision control
(See Configuration
Management and
Revision Control in the
Simulink PLC Coder
Reference Workflow)
Installation integrity and
release compatibility
(See Installation
Integrity and Release
Compatibility in the
Simulink PLC Coder
Reference Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation
in this
application,
Evidence

Documented software safety


lifecycle, including applicationspecific verification and validation
activities

Revision control for artifacts to be


validated or verified
Configuration management for
artifacts to be validated or verified
(SIL 2 and above)

Validation of modification and


additions to shipping tools (if
applicable)
Compatibility of product versions
for model creation, code
generation, and translation
validation

4-2

17

Technique / Measure

Associated Requirements

Bug reporting

Assessment of bug report


information provided by tool
vendors and compliance with
recommendations and
workarounds (during development
and after deployment)

(See Bug Reporting in


the Simulink PLC Coder
Reference Workflow)

Used / Used to
a limited degree
/ Not used

Interpretation
in this
application,
Evidence

Reporting of issues with


MathWorks products
18

Competency of the
project team

Evidence for competence of


project team members

(See Competency of
the Project Team in the
Simulink PLC Coder
Reference Workflow)

4-3

You might also like