Request for the certification

I'm asking in order to request for the certification document about Polyspace Code Prover.

I have been writing the Tool SW Qualification document related to ISO 26262.

I usually use the Polyspace Code Prover at work.

I have to include tool error detection(TD)level in the Tool SW Qualification document.(justification of TD: Based on the identified measures against the errors, there is a high degree of confidence that malfunction and its corresponding erronenous output will be prevented or detected.)

So please send me an email attached the cerfication document related to TD.

Thank you!

Answer 1

[Walter Roberson]

You will need to contact Mathworks Support about this. The people who answer questions here are mostly outside volunteers who do not have access to those documents.

Answer 2

[Walter Roberson]

You need to contact Mathworks for the certification you want.

(I cannot send you email to tell you that because you do not authorize other users to contact you, so only Mathworks could contact you -- but Mathworks does not read posted Questions and you need to contact Mathworks Support.)