• State
  • Locked Locked
  • Replies 3 replies
  • Subscribers 29 subscribers
  • Views 227 views
  • Users 0 members are here
Support feedback
Options
Options
Similar topics

This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Original question:

SAFETI-HALCOGEN-CSP: SAFETI-HALCOGEN-CSP

SAFETI-HALCOGEN-CSP: SAFETI-HALCOGEN-CSP and SAFETI_CQKIT Safety Certificate Standards

Alex Lee
Prodigy 60 points
Part Number: SAFETI-HALCOGEN-CSP
Other Parts Discussed in Thread: HALCOGEN

Hi,

Currently our company are using TMS570LC43xx Hercules MCU for embedded software development. We are aiming for a BS EN50128 SIL3/SIL4 safety certificate. From TI Website, I know that 

" The Safety Compiler Qualification Kit has been assessed by TÜV Nord to comply with both IEC 61508 and ISO 26262 and was developed in collaboration with by Validas, a consulting company that specializes in software tool qualification."

Does this mean that SAFETI-HALCOGEN-CSP and SAFETI_CQKIT are certified Tools? If Yes, what safety certificates do these tool comply with?

Another question is that, how to make use of the SAFETI-HALCOGEN-CSP and SAFETI_CQKIT tools to help us achieve BS EN50128(which is equivalent or similar to IEC61508)? Do we need switch our compiler tool from normal ti_cgt_arm_20.2.7.LTS tool to SAFETI_CQKIT and normal HalCoGen Tool HALCoGen IDE 04.07.01 to SAFETI-HALCOGEN-CSP? Except using these two dedicated tools, what else we need to do?

Many thanks! Have a nice day!

  • 0
    TI__Guru**** 186196 points
    Alex Lee said:
    Does this mean that SAFETI-HALCOGEN-CSP and SAFETI_CQKIT are certified Tools? If Yes, what safety certificates do these tool comply with?

    The software development process of bother CQKIT and CSP are certified by TUV NORD to IEC 61508 and ISO 26262. The CQKIT is assessed by TUV Nord to comply with both IEC 61508 and ISO 26262. 

    Alex Lee said:
    how to make use of the SAFETI-HALCOGEN-CSP and SAFETI_CQKIT tools to help us achieve BS EN50128(which is equivalent or similar to IEC61508)?

    https://www.ti.com/lit/fs/spnu605c/spnu605c.pdf?ts=1679927862372&ref_url=https%253A%252F%252Fwww.ti.com%252Ftool%252FSAFETI-HALCOGEN-CSP

    https://software-dl.ti.com/codegen/esd/cgt_public_sw/QKIT/ARM-CQKIT/20.2.7.LTS/exports/coverage_testing_instructions.pdf

    Alex Lee said:
    Do we need switch our compiler tool from normal ti_cgt_arm_20.2.7.LTS tool to SAFETI_CQKIT and normal HalCoGen Tool HALCoGen IDE 04.07.01 to SAFETI-HALCOGEN-CSP?

    ti_cgt_arm_20.2.7.LTS is a compiler, but SAFETI_CQKIT is compiler qualification kit. SAFETI-HALCOGEN-CSP is to provide the necessary documentation, reports and unit test reports for HALCoGen generated code.

  • 0 in reply to QJ Wang
    Prodigy 60 points

    Thank you very much, Wang! Appreciate your prompt replies!

    Can I understand that SAFETI_CQKIThelp generate the coverage test reports while HALCOGEN-CSP help do unit testing? Can we use 3rd party vendor such LDRA to do these?

    One extra question, I cannot find the "bincov" folder, is there anything I missed:

    "Unzip the “bincov” folder into a temporary location. This folder contains instrumented versions of all compiler tool chain executables along with coverage data collection files (*.cov files) for each executable."

  • 0 in reply to Alex Lee
    TI__Guru**** 186196 points
    Alex Lee said:
    SAFETI_CQKIThelp generate the coverage test reports

    Yes, it generats coverage data in order to verify that all portions of the compiler tool chain used for compiling your code are also exercised by validation testing.

    Alex Lee said:
    HALCOGEN-CSP help do unit testing

    The CSP provides unit test cases and functional test cases for all the modules supported by HalCoGen. It will generate unit test report, dynamic coverage analysis report, etc. 

    Alex Lee said:
    Can we use 3rd party vendor such LDRA to do these?

    If you use the same version compiler and same version HalCoGen, you can use the reports that come with HalCoGen CSP. 

    Yes, the unit test is performed using LDRA.

    Alex Lee said:
    One extra question, I cannot find the "bincov" folder, is there anything I missed:

    Please download bincov file from ti.com