IEC Certification Kit: Polyspace Bug Finder Conformance Demonstration Template
IEC Certification Kit: Polyspace Bug Finder Conformance Demonstration Template
IEC Certification Kit: Polyspace Bug Finder Conformance Demonstration Template
R2015a
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
v
vi
1 Introduction
This Conformance Demonstration Template can be used to demonstrate conformance with the
parts of ISO 26262-6/8, EN 50128, or IEC 61508-3 covered in the document
To access the reference workflow document, on the MATLAB ® command line, type
certkitiec to open the Artifacts Explorer. The reference workflow document is in
Polyspace Bug Finder > r2015a.
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) that satisfies the requirement.
1.1 System/Element Identification
Applicant: <Company name>
<Item or element to be analyzed or verified using Polyspace Bug
Item/element under development:
Finder>
1-2
2 Static Analysis of C/C++ Code to
Assess Compliance with Coding
Standards
2-2
3 Static Analysis of C/C++ Code to
Determine Code Size and
Complexity Metrics
3-2
4 Determination of Software Quality
Metrics
4-2
5 Static Analysis of C/C++ Code to
Assess Interface Between
Components
5-2
6 Static Analysis of C/C++ Code to
Detect Systematic and Potential
Software Defects
6-2
7 Additional Considerations
7-2