Help for my Master thesis

[Kiefmann Bernhard <bernhard dot kiefmann at stud dot fh-campuswien dot ac dot at>]

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

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