Re: Help for my Master thesis

[David Daney <ddaney dot cavm at gmail dot com>]

On 03/29/2013 01:35 PM, Kiefmann Bernhard wrote:
> Dear Ladies and Gentlemen!
>
> My name is Bernhard Kiefmann and I'm writing my Master's thesis with the topic "the suitability of the GNU C compiler used in safety-related areas". The first problem with this is that I have to check if the compiler met the requirements of the international standard IEC 61508:2010. Here I would like to ask you my question as follows:
>
>    1) What are the rules of the compiler development? Are there any diagrams of UML? Because they are a requirement of the standard.
>    2) Are there activities for the Functional Verification?
>    3) What procedures and measures for
>         - The design and programming guidelines
>         - Dynamic analysis and testing
>         - Functional testing and black box testing
>         - Ausfall-/Versagensanalyse
>         - modeling
>         - Performance tests
>         - Semi Formal Methods
>         - Static Analysis
>         - Modular approach

There is a web site that has (at least superficial) answers to most of 
these questions.  Have you looked at:

http://gcc.gnu.org/

I would recommend doing that, then asking more specific questions if you 
find the web site lacking.

David Daney

> If you have information here for me I would rather help in assessing whether the compiler for use in safety-relevant area is suitable.
> The second point of my work is concerned with the treatment of releases. Are you putting any kind of evidences in your source-code and how they look like?
> Because the evidences should be read and analyzed and the investigation should demonstrate if the changes in the release code effects on the safety relevant area.
>
> I would like to thank you in advance for your help, stand for any questions you may have in the meantime, I remain Yours sincerely
>
> Kiefmann Bernhard
> bernhard.kiefmann@stud.fh-campuswien.ac.at