• State Resolved
  • Locked Locked
  • Replies 2 replies
  • Subscribers 80 subscribers
  • Views 708 views
  • Users 0 members are here
Support feedback
Options
Options
Related

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.

TI Compiler and C89 according to IEC61508

Sergey Tarassenko
Prodigy 205 points
Other Parts Discussed in Thread: MSP430F2618

Short background of my problem:
We are developing a medical product based on MSP430F2618 and would like to use Code Composer Studio for software development. Since it's medical product we'll have to certify it and IEC61508 gives good guidelines about this process. IEC61508 requires that certified development tools are used. TI Wiki says that TI compiler is not IEC61508 certified and it's not a problem because IEC61508:7 mentions that software development tools are usually certified only against language standards, so it's OK to use a compiler which is conform with C89 standard.

We have investigated the normative regulations and detected several possibilities to show suitability of TI compiler in our application for the certification authority. It would be greatly appreciated if you could take a look on the following list and check if one of the variants is possible.

- Is it possible to get a self-created printed certificate confirming that C89 standard is supported (based on test results, mentioning only test suite names and "passed" is enough) signed by, for example, test engineer?
- Is it possible to get a list of test results for some or one of the C89 validation test suites, preferably in form of a test report signed by, for example, test executor.

If none of the variants above is possible, could you name any customers using TI compiler in medical or comparable products? IEC 61508 allows to use non-certified 3rd party tools if they are "operationally well-tried" ("betriebsbewährt"), so this information could help us.

If you see any other possibilities how we can show conformity to C89 to the certification authority I'll be glad to consider your variants.

With Best Regards,
Sergey Tarassenko

  • 0
    TI__Guru**** 249900 points

    As far as the compiler development team is concerned, the Wiki article you mention http://processors.wiki.ti.com/index.php/TI_Compilers_and_Industry_Standards is all we have to offer.  I'll move this thread to the MSP430 forum to see if those folks have anything to add.

    Thanks and regards,

    -George

     

  • 0 in reply to George Mock
    Prodigy 10 points

    Hello Georgem,

    My Name is Carlos and i am writing to you from the European product Information Center (EPIC). The customer sent us a similar request to the one you helped here. In this case he would like "to get a document signed by product manager or test engineer certifying that Code Composer Studio 4.1.2 (I think it's current version) with MSP430 Code Generation Tools 3.2.1 was tested using following test suites against language standards (C89)". He also explains that he cannot use the wiki page as this page can be edited by anyone, this is what is says on the main wiki page.

    Can you advice on how to help him?

    Maybe you could guide me to the link you created on the MSP430 forum to see if they can help?

    Next i will paste what the customer wrote:

    We (Microstim GmbH) are in the development phase of the new Myostimulator (http://microstim.de/Seiten/English/Myostimulator.html). Hardware is based on the MSP430F2618 and the software is written in C. I've already contacted you asking what documents could be provided to prove that TI compiler is suitable for development of medical applications. IEC 61508 requires that compiler must comply with language norm (for example C89 for C language). I was told that the only information regarding language norm conformance is wiki page (http://processors.wiki.ti.com/index.php/TI_Compilers_and_Industry_Standards). There is useful information on this page, but it can't be used in certification process because wiki is editable by anyone, also by non-TI employers (http://processors.wiki.ti.com/index.php/Main_Page "Anyone can edit the wiki!"). Furthermore this page doesn't contain any information about test suites used to verify conformance, tested compiler version, any dates, responsible persons. \

    I have investigated the problem of compiler certification and also contacted IAR. They provided a document signed by product manager certifying that specific version of IAR compiler complies with language norm and that this decision is based on mentioned test suites. So I think that documentation confirming that compiler complies with language norm is not something unusual and special. We would prefer to use TI Compiler because it's more handy and can be easily extended with eclipse plug-ins. However to be able to use compiler in medical application compliance with language norm is required. So I would like to ask you if it's possible to get a document signed by product manager or test engineer certifying that Code Composer Studio 4.1.2 (I think it's current version) with MSP430 Code Generation Tools 3.2.1 was tested using following test suites against language standards (C89) and these tests were passed and ? Without such document the only way for us to prove language standard compliance is to perform fully testing of the compiler on our own, what is hardly possible.

    Best Regards,

    Sergey Tarassenko

     

    Looking forward for your advice, and thank you for your help.

    Best regards,

    Carlos

     

**Attention** This is a public forum