19.09.2012 Views

ISO 26262 Tool Qualification of PolySpace Products - MathWorks

ISO 26262 Tool Qualification of PolySpace Products - MathWorks

ISO 26262 Tool Qualification of PolySpace Products - MathWorks

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Latest Features in IEC Certification Kit 1.1<br />

(for IEC 61508 and <strong>ISO</strong> <strong>26262</strong>)<br />

September 2009


Certification <strong>of</strong> Real-Time Workshop<br />

Embedded Coder by TÜV SÜD<br />

� Support for new versions and standards:<br />

TÜV SÜD certified Real-Time Workshop<br />

Embedded Coder for use in development<br />

processes which need to comply with<br />

IEC 61508, <strong>ISO</strong> <strong>26262</strong>, or derivative standards<br />

Certified Versions<br />

Real-Time Workshop Embedded Coder 5.2 R2009a<br />

Real-Time Workshop Embedded Coder 5.3 R2009b<br />

<strong>MathWorks</strong> Announcements:<br />

http://www.mathworks.com/company/pressroom/articles/article39270.html<br />

® ®<br />

Note: Real-Time Workshop Embedded Coder was not developed using certified processes<br />

TÜV SÜD certificate database:<br />

http://193.30.192.53:8080/CertDetail_eng.aspx?CertNo=Z10%2009%2006%2067052%20002&CertTyp=no<br />

2


� Real-Time Workshop Embedded Coder has been<br />

qualified for all ASILs according to <strong>ISO</strong>/DIS <strong>26262</strong><br />

� <strong>MathWorks</strong> created tool qualification artifacts were<br />

assessed by TÜV SÜD; <strong>Qualification</strong> assessment<br />

is documented in the certificate report<br />

� <strong>Tool</strong> qualification can be claimed by customizing<br />

the tool qualification package and referencing the<br />

certificate/certification report<br />

® ®<br />

<strong>ISO</strong> <strong>26262</strong> <strong>Tool</strong> <strong>Qualification</strong> <strong>of</strong><br />

Real-Time Workshop Embedded Coder<br />

Qualified versions<br />

Real-Time Workshop Embedded Coder 5.3 R2009a TCL max 1, 2 *<br />

Real-Time Workshop Embedded Coder 5.4 R2009b TCL max 1, 2 *<br />

* The maximum tool confidence level (TCL max) that can be claimed<br />

depends on the rigor <strong>of</strong> the downstream<br />

Includes templates for:<br />

� SW <strong>Tool</strong> <strong>Qualification</strong> Plan<br />

� SW <strong>Tool</strong> Documentatiom<br />

� SW <strong>Tool</strong> Classification Analysis<br />

� SW <strong>Tool</strong> <strong>Qualification</strong> Report<br />

3


Generating Traceability Matrices<br />

® ®<br />

� Generate a traceability matrix that covers requirements, model elements,<br />

and generated code. Review, track, and annotate the trace matrix in Excel.<br />

Requirement #1<br />

Requirement #2<br />

Requirement #3<br />

Benefits: � Provides traceability among model requirements,<br />

model objects, and generated code<br />

� Simplifies to demonstrate the absence <strong>of</strong><br />

unintended functionality<br />

� Leverages annotation/sorting capabilities <strong>of</strong> Excel<br />

Requires : IEC Certification Kit, Real-Time Workshop Embedded Coder<br />

4


Certification <strong>of</strong> <strong>PolySpace</strong> <strong>Products</strong> by<br />

TÜV SÜD<br />

� Support for new versions and standards:<br />

TÜV SÜD certified <strong>PolySpace</strong> products for C/C++<br />

for use in development processes which need to<br />

comply with IEC 61508, <strong>ISO</strong> <strong>26262</strong>, or EN 50128<br />

Certified versions<br />

<strong>PolySpace</strong> Client for C/C++ 5.1<br />

<strong>PolySpace</strong> Server for C/C++ 5.1<br />

<strong>PolySpace</strong> Client for C/C++ 5.0<br />

<strong>PolySpace</strong> Server for C/C++ 6.0<br />

<strong>PolySpace</strong> Client for C/C++ 7.0.1<br />

<strong>PolySpace</strong> Server for C/C++ 7.0.1<br />

<strong>PolySpace</strong> Client for C/C++ 7.1<br />

<strong>PolySpace</strong> Server for C/C++ 7.1<br />

R2008a<br />

R2008b<br />

R2009a+<br />

R2009b<br />

Note: <strong>PolySpace</strong> products for C/C++ were developed using certified processes<br />

<strong>MathWorks</strong> Announcements:<br />

http://www.mathworks.com/company/pressroom/articles/article39270.html<br />

TÜV SÜD certificate database:<br />

http://193.30.192.53:8080/CertDetail_eng.aspx?CertNo=Z10 09 07 67052 003&CertTyp=no<br />

® ®<br />

5


<strong>ISO</strong> <strong>26262</strong> <strong>Tool</strong> <strong>Qualification</strong> <strong>of</strong><br />

<strong>PolySpace</strong> <strong>Products</strong><br />

� <strong>PolySpace</strong> <strong>Products</strong> for C/C++ have been<br />

qualified for all ASILs according to <strong>ISO</strong>/DIS <strong>26262</strong><br />

� <strong>MathWorks</strong> created tool qualification artifacts were<br />

assessed by TÜV SÜD; <strong>Qualification</strong> assessment<br />

is documented in the certificate report<br />

� <strong>Tool</strong> qualification can be claimed by creating a<br />

tool qualification package and referencing the<br />

certificate/certification report<br />

Qualified versions<br />

<strong>PolySpace</strong> Client/Server for C/C++ 5.1 R2008a TCLmax 2 *<br />

<strong>PolySpace</strong> Client/Server for C/C++ 6.0 R2008b TCLmax 2 *<br />

<strong>PolySpace</strong> Client/Server for C/C++ 7.0.1 R2009a+ TCLmax 2 *<br />

<strong>PolySpace</strong> Client/Server for C/C++ 7.1 R2009b TCLmax 2 *<br />

* The maximum tool confidence level (TCL max) that can be claimed depends on the<br />

rigor <strong>of</strong> the dynamic testing activities carried out in conjunction with <strong>PolySpace</strong>.<br />

® ®<br />

6

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!