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