On 3/29/2013 1: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
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
For aerospace applications, RTCA/DO-178C entitled "Software
Considerations in Airborne Systems and Equipment Certification" governs
all aspects of software safety. This document and its supplements
addresses all of the information that you're interested in.
DO-333 entitled "Formal Methods Supplement to DO-178C and DO-278A",
DO-332 entitled "Object-Oriented Technology and Related Techniques
Supplement to DO-178C and DO-278A", and DO-331 entitled "Model-Based
Development and Verification Supplement to DO-178C and DO-278A" will
also be relevant.
These are all available from http://www.rtca.org/ (not free, sorry).
The EU has identically worded documents via the EUROCAE organization
(http://www.eurocae.net/). For example, ED-12C is identical to DO-178C.
Rob.
