Help for my Master thesis

[Kiefmann Bernhard]

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

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.kiefm...@stud.fh-campuswien.ac.at 

Help for my Master thesis

[Kiefmann Bernhard]

Dear Ladies and Gentlemen!

As you can read below, I need some information regarding the development of the 
GCC's. Some of the questions below were answered me already but I can not find 
any references to the use of formal or semi-formal methods. as
- Logic / functional block diagrams
- Flow charts
- Data flow diagrams
- Finite state machines / state transition diagrams
- Timed Petri Nets
- Entity Relationship Attribute data model
- Messages history tables
- Entscheidungs-/Wahrheitstabellen
and
CCS,
CSP, HOL, LOTOS, OBJ, temporary logic, VDM and Z.


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
Bernhard Kiefmann
bernhard.kiefm...@stud.fh-campuswien.ac.at 

Am 29.03.2013 um 21:35 schrieb Bernhard Kiefmann 
:
>> 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
>> 
>> 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.kiefm...@stud.fh-campuswien.ac.at 
>> 
>> 
>