SAFETI_CQKIT: compiler-generated object code that is not directly traceable to the source code

Akai

Part Number: SAFETI_CQKIT

Hello,

I have interest in SafeTI ARM Compiler Qualification Kit with a question.

Does this kit support to identify and verify any compiler-generated object codes that are not directly traceable to the source code?

The intent of the identification and verification is to follow the FAA guideline documented as CAST-12 paper.

Best regards,

Akai

0 Yordan Kovachev over 4 years ago

Hi,

Which processor are you planning to use?

Best Regards,
Yordan

0 Akai over 4 years ago in reply to Yordan Kovachev

Hello, Yordan

I plan to use the microcontroller TMS570LC4357-EP.

This device integrates two ARM Cortex-R5F floating-point CPUs, operating in lockstep.

Does this answer your question?

Best regards,

Akai

0 GregM over 4 years ago in reply to Akai

Akai,

TI compiler QKIT's do not support the feature you mention regarding:

identify and verify any compiler-generated object codes that are not directly traceable to the source code

TI compiler QKIT's are intended for ISO 26262, IEC 61508, or EN50128.

Regards,

Greg

Arm-based microcontrollers forum