Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
to the
Certificate
Z10 11 12 67052 014
Software Tool for Safety Related Development
Embedded Coder
Manufacturer
The MathWorks, Inc.
3 Apple Hill Drive
Natick, MA, 01760-2098
USA
Report No. MN72051C
Revision 2.7 dated 2015-05-29
Testing Body
TV SD Rail GmbH
Embedded Systems
Certification Body
TV SD Product Service GmbH
Ridlerstrae 65
80339 Munich
Distribution, copying or any other use of information in this report in part is strictly prohibited.
Revision Log
Rev.
Date
Name
Changes/History
1.0
2008-05-30
1.1
2008-12-16
S. Waldhausen
1.2
2009-02-26
S. Waldhausen
1.3
2009-06-30
1.3.1
2009-07-02
1.3.2
2009-07-15
F. Rauch
1.4
2009-08-19
F. Rauch
1.5
2009-12-15
F. Rauch
1.6
2010-04-14
F. Rauch
1.7
2010-06-10
F. Rauch
1.8
2011-01-18
F. Rauch
1.9
2011-01-18
F. Rauch
1.10
2011-06-22
S. Waldhausen
L. Brandl
2.0
2011-12-19
S. Waldhausen
2.1
2012-06-26
S. Waldhausen
2.2
2012-12-18
S. Waldhausen M. Braun
2.2
2013-06-24
S. Waldhausen M. Braun
2.4
2013-12-18
S. Waldhausen M. Braun
2.5
2016-06-13
M. Braun
2.6
2014-11-28
M. Braun
2.7
2015-05-29
M. Braun
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
Content
Page
IDENTIFICATION ................................................................................................................. 5
3.1
3.2
3.3
CERTIFICATION .................................................................................................................. 7
4.1
Standards ...................................................................................................................... 7
4.2
4.3
RESULTS ............................................................................................................................ 8
5.1
5.2
5.3
Requirements on software tools in IEC 61508, ISO 26262, and EN 50128.................... 9
5.3.1
General .................................................................................................................. 9
5.3.2
Embedded Coder................................................................................................ 9
5.4
Tool classification and validation according to IEC 61508:2010................................... 10
5.4.1
General ................................................................................................................ 10
5.4.2
Validation of the software tool............................................................................... 11
5.4.3
Summary .............................................................................................................. 11
5.5
EN 50128 .................................................................................................................... 12
5.6
Tool classification and qualification according to ISO 26262 ....................................... 12
5.6.1
General ................................................................................................................ 12
5.6.2
Evaluation of the development process ................................................................ 13
5.6.3
Validation of the software tool............................................................................... 13
5.6.4
Summary .............................................................................................................. 13
5.7
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
Document Name
Date
Revision
MN72051T-V2.1.pdf
28.06.2012
2.1
MN84722T-V1.0.pdf
18.12.2012
1.0
MN85071T-V1.0.pdf
24.06.2013
1.0
MN85413T-V1.0.pdf
18.12.2013
1.0
MN85861T-V1.0.pdf
13.06.2014
1.0
MN86207T-V1.0.pdf
28.11.2014
1.0
MN86834T-V1.0.pdf
29.05.2015
1.0
2 Product overview
Embedded Coder is a code generator that transforms executable graphical models into C or C++
code. The input languages comprise Simulink, Fixed-Point Designer, and Stateflow. Embedded
Coder is an extension of Simulink Coder that generates C or C++ code for embedded discretetime systems. All products require MATLAB as the underlying base software. Simulink Coder requires MATLAB Coder.
Embedded Coder software also supports the generation of C code and description files for
AUTOSAR software components. Further AUTOSAR support is provided by the optional Embedded
Coder Support Package for AUTOSAR Standard.
Scope
The testing and thus the tool certification procedure covers the tool Embedded Coder with its principal objective to create C code or C++ code from Simulink, Fixed-Point Designer, and Stateflow
models. The tools that are used to create the input models, i.e. MATLAB, Simulink, Fixed-Point
Designer, and Stateflow are not part of the certification.
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
3 Identification
The following tables list the releases that are covered by the tool qualification activities. The division
of the tables reflects the name change of the code generation tools between releases R2010b and
R2011a.
3.1
Releases up to R2010bSP2
Release
Date
Real-Time
Embedded
Coder
Workshop
TM
Coder
R2008a
March
2008
5.1
7.1
7.1
R2008b
October
2008
5.2
7.2
7.2
R2009a
March
2009
5.3
7.3
7.3
R2009b
Sept.
2009
5.4
7.4
7.4
R2009b
SP1
April
2010
5.4.1
7.4.1
7.4.1
R2010a
March
2010
5.5
7.5
7.5
R2010b
Sept.
2010
5.6
7.6
7.6
R2010b
SP1
March
2011
5.6.1
7.6.1
7.6.1
R2010b
SP2
April
2012
5.6.2
7.6.2
7.6.2
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
3.2
Release
Optional
EmAUTOSAR
Simulink MATLAB
Date bedded
Target
TM
TM
Coder
Coder
TM
Coder
Prod.
Package
April
R2011a
2011
6.0
6.0
8.0
2.0
Sept.
R2011b
2011
6.1
6.1
8.1
2.1
R2012a
March
2012
6.2
6.2
8.2
2.2
R2012b
Sept.
2012
6.3
6.3
8.3
2.3
R2013a
March
2013
6.4
8.4
2.4
R2013b
Sept.
2013
6.5
8.5
2.5
R2014a
March
2014
6.6
8.6
2.6
3.3
Release
Optional
EmSupport
Simulink MATLAB
Date bedded Package for
TM
TM
Coder
Coder
TM
Coder
AUTOSAR
Standard
R2014b
Oct.
2014
6.7
14.2.0
8.7
2.7
R2015a
March
2015
6.8
15.1.0
8.8
2.8
R2015b
Sept.
2015
6.9
15.2.0
8.9
3.0
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
4 Certification
4.1
Standards
Standard
Description
IEC 61508-1:2010
IEC 61508-3:2010
ISO 26262-8:2011
EN 50128:2011
4.2
Basis of certification
4.3
Referenced Documents
Document
Author
[R1]
TV SD Rail GmbH
[R2]
TV SD Rail GmbH
[R3]
TV SD Rail GmbH
[R4]
TV SD Rail GmbH
[R5]
TV SD Rail GmbH
[R6]
TV SD Rail GmbH
[R7]
TV SD Rail GmbH
[R8]
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
5 Results
5.1
The software development and quality engineering processes applied for Embedded Coder have
been audited, no objections were found.
To ensure adherence to the software development and quality engineering processes, as well as to
keep track of quality improvements, the processes to implement enhancements and modifications
are audited once a year by TV SD.
Product versions that are released in between two consecutive audits are subject to a defined approval procedure by TV SD. The procedure includes the following elements:
5.2
The MathWorks, Inc. documents new customer visible features for each release in the corresponding release notes.
The MathWorks, Inc. documents enhancements and new features of each Embedded Coder version in an internal delta report.
Test procedures for enhancements and new features are referenced in the delta report to
document the Mathworks' internal validation activities for newly developed features.
Each Embedded Coder version is validated against a validation test suite.
The bug reports section of the MathWorksTM web site provides an interface for customers to view
and submit bug reports.
Customers can track the status of open bugs. Critical bugs can be easily identified in the bug report
section of the MathWorks web site. Customers can choose to receive email or RSS notifications for
new or updated bug reports. The bug reports on this web site include internally as well as externally
nominated bugs. If applicable, bug reports include provisions for known workarounds or file replacements.
Customers can use the bug report mechanism to nominate bugs. These nominations are processed
and evaluated by The MathWorks, Inc. development organization.
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
5.3
5.3.1 General
ISO 26262, IEC 61508 and EN 50128 in their current versions contain explicit requirements on software tools.
They strongly recommend the application of development tools and provide provisions for using
model-based design for software development. At the same time, they demand to perform an analysis of the tools used, and an analysis on how they are embedded in the development process:
analysis of tool usage (IEC 61508)
analysis of tool use cases (ISO 26262)
analysis on the effect of possible malfunctions of the applied tool(s).
Depending on the outcome of the above analysis, the standards referred to above demand
a) fault mitigation measures (process)
b) the qualification, respectively validation of tools.
These activities should complement each other, and the combination of both shall reduce the number of faults impacting the final product to a minimum.
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
As a mitigation measure, The MathWorks, Inc. propose a translation validation workflow described in
[R8]. It combines back-to-back testing with measures to prevent unintended functionality in the generated code as a method to verify the correct transformation from model to code, and thus of the
code generation tool chain.
The MathWorks, Inc. also executes a validation suite on basis of the AVS suite as a means of commensurable validation. The validation suite results for each certified release are inspected by TV
SD, see 5.4 and 5.6 for details.
5.4
5.4.1 General
Embedded Coder is a class T3 off-line support tool. It can be used to transform executable graphical models created using Simulink, Fixed-Point Designer, and Stateflow into C or C++ code.
IEC 61508:2010 details and extends the requirements for tool certification specified in the first edition of the standard. The following list provides considerations on how tool users are being supported w.r.t. the requirements of IEC 61508-3 clause 7.4.4:
Code generation using Embedded Coder can be integrated with other Model-Based Design and verification tools from The MathWorks, Inc. (cf. IEC 61508-3, 7.4.4.2, Note 3). A
possible integration is outlined in the reference workflow documentation. A representative
combination of tools is being tested at the manufacturers site. (cf. IEC 61508-3, 7.4.4.9,
7.4.4.18 a).
The tool documentation for Embedded Coder (cf. IEC 6158-3, 7.4.4.4) is being provided
with the product.
MathWorks reports critical known bugs brought to its attention on its Bug Report system at
http://www.mathworks.com/support/bugreports/ (cf. IEC 61508-3, 7.4.4.6, Note 1).
The Release Notes for Embedded Coder provide the version history of Embedded Coder. Tool users can assess available bug reports for different Embedded Coder versions
via the Bug Reports system (cf. IEC 61508-3, 7.4.4.6, Note 1)
The MathWorks, Inc. validated Embedded Coder and provided documentation of this validation to TV SD for review and approval (cf. IEC 61508-3, 7.4.4.6, 7.4.4.7). Each certified
Embedded Coder version is subject to a defined approval procedure by TV SD outlined
in section 5.1. (cf. IEC 61508-3, 7.4.4.18, Note)
The MathWorks, Inc. as well as 3rd party vendors offer training courses for MathWorks tools
(cf. IEC 61508-3, 7.4.4.2, Note 6).
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
Since R2009a, test procedures for enhancements/new features are referenced in the delta
report to document The MathWorks, Inc. internal validation activities for newly developed
features.
5.4.3 Summary
All Embedded Coder versions listed in the subsequent table are certified as T3 off-line support
tools according to IEC 61508:2010. The tool meets the applicable requirements of IEC 61508-3
7.4.4.
For SIL 1 to SIL 3, mitigation measures to potential failure mechanisms of the code generator are
described in the corresponding reference workflow documentation.
The tool classification and the assessment of the tool validation activities were carried out by TV
SD.
Embedded Coder is suitable to be used in the development of safety-related software according to
IEC 61508:2010. Tool certification for Embedded Coder can be claimed by referencing this certification report and the corresponding certificate.
SIL
Delta Report
Validation Suite
1,2,3
1,2,3
1,2,3
1,2,3
1,2,3
not required1
1,2,3
1,2,3
1,2,3
not required2
SIL
Delta Report
2
Validation Suite
1,2,3
not required
1,2,3
1,2,3
1,2,3
1,2,3
1,2,3
1,2,3
1,2,3
1,2,3
1,2,3
1,2,3
5.5
EN 50128
EN 50128:2011 is an application standard derived from IEC 61508. The requirements for software
tools are explicitly derived from the requirements on software tools according to IEC 61508-3:2010.
Due to the equivalences between the two standards no separate testing has been performed with
respect to EN 50128.
For SIL 1 to SIL 3/4 according to EN 50128, mitigation measures to potential failure mechanisms of
the code generator are described in the reference workflow document for Embedded Coder.
Embedded Coder is suitable to be used in the development of safety-related software according to
EN 50128:2011 up to SIL 3/4. Tool certification for the Embedded Coder versions listed in the above
table can be claimed by referencing this certification report and the corresponding certificate.
5.6
5.6.1 General
Based on the use cases defined in 5.3.2, the tool impact for the code generator is TI2 due to the
conservative estimation. TI2 requires the estimation of the tool error detection TD.
The tool error detection TD depends on the verification and validation workflow that is being used.
TD1 will be achieved if the verification and validation workflow, documented in Embedded Coder
Reference Workflow, is followed completely. Applying the complete workflow provides a high degree of confidence that a malfunction or an erroneous output of the code generator will be prevented
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
or detected. In this case, the resulting tool confidence level is TCL1. Tool qualification for the code
generator can be claimed without further tool qualification measures. The tool qualification measures
described in 5.6.2 and 5.6.3 are voluntary and provide additional confidence.
TD2 can be achieved if a suitable subset of the verification and validation workflow, documented in
Embedded Coder Reference Workflow, is followed. The workflow subset has to ensure that a
malfunction or an erroneous output of the code generator will be prevented or detected with at least
a medium degree of confidence. In this case the resulting tool confidence level is TCL2. Tool qualification of the code generator can be claimed based on the combination of following methods for tool
qualification:
TV SD conducts yearly surveillance audits of the software development and quality engineering processes for Embedded Coder.
The MathWorks, Inc. documents new customer visible features for each release in the corresponding release notes. The release notes were submitted to TV SD.
Since R2009a, The MathWorks, Inc. documents enhancements and new features of each
Embedded Coder version to be qualified in a comprehensive delta report. The delta reports were submitted to TV SD.
Since R2009a, test procedures for enhancements/new features are referenced in the delta
report to document The MathWorks, Inc. internal validation activities for newly developed
features.
5.6.4 Summary
All Embedded Coder versions listed in the subsequent table are qualified for all ASILs according
to ISO 26262 (tool confidence level TCL1). The prerequisites for TCL1 are given, provided that the
verification and validation workflow documented in Embedded Coder Reference Workflow is followed.
All Real-Time Workshop Embedded Coder versions listed in the subsequent table and released after
2008 are qualified for all ASILs according to ISO 26262 up to a maximum tool confidence level of
TCL2. The prerequisites for TCL2 are given, provided that a suitable subset of the verification and
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
validation workflow (see [R8]) is used that ensures that a malfunction or an erroneous output of the
code generator will be prevented or detected with at least a medium degree of confidence.
The confirmation of the tool classification and the assessment of the results of the measures applied
to qualify the software tool were carried out by TV SD.
Tool qualification for Embedded Coder can be claimed for TCL1 and TCL2 by referencing this
certification report and the corresponding certificate.
Qualification Methods
Release
Reference
Workflow
Degree of
confidence
Maximum
TCL
ASIL
Surveillance Audit
A, B, C, D
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable subset
Medium
A, B, C, D
A, B, C, D
R2008b
Complete
High
Complete
High
Suitable subset
R2010a
R2010b
R2010b
SP1
R2010b
SP2
Validation
Suite
A, B, C, D
High
R2009b
SP1
Delta
Report
Complete
R2009b
Release
Notes
Validation of the
software tool
R2008a
R2009a
Evaluation of the
development process
Qualification Methods
Release
R2011a
R2011b
R2012a
R2012b
R2013a
R2013b
R2014a
R2014b
R2015a
R2015b
5.7
Degree of
confidence
Maximum
TCL
ASIL
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Complete
High
A, B, C, D
Suitable Subset
Medium
A, B, C, D
Reference
Workflow
Evaluation of the
development process
Surveillance Audit
Release
Notes
Validation of the
software tool
Delta
Report
Validation
Suite
IEC 62304
IEC 62304:2006 provides a framework of life cycle processes for the safe design and maintenance
of medical device software.
IEC 62304 does not place specific requirements on software tools, or on the qualification of tools,
but IEC 62304 advises that IEC 61508 can be looked to as a source of methods, tools and techniques that can be used to implement the requirements in IEC 62304 (IEC 62304:2006, C.1).
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933
As a prerequisite to claim tool qualification according to ISO 26262 the application of the verification and validation workflow documented in Embedded Coder Reference Workflow
(tool confidence level TCL1) or a suitable subset (tool confidence level TCL2) shall be applied. The tool qualification methods are intended to supplement, not to replace this workflow.
The certificate Z10 11 12 67052 014 replaces the certificates Z10 08 05 67052 001, Z10 09 06
67052 002, Z10 11 01 67052 005 and Z10 11 06 67052 010.
Munich, 2015-05-29
Technical Certifier
Peter Wei
TV SD Rail GmbH
Embedded Systems
Barthstr. 16
80339 Mnchen
Phone: +49 89 5791-4378; Fax: -2933