Gcc certification

jf jean-francois.morcillo@laposte.net
Thu Jan 20 22:43:00 GMT 2005


Robert Dewar wrote:

> jf wrote:
>
>> This is not what I wanted to say nor what I'm thinking. Let's say I'm 
>> building a system that has to certified against DO 178-B and I want 
>> to use gcc.  I have to provide some piece of evidences that gcc works 
>> correctly, isn't it ?
>
>
> No, that's wrong, the certification is at the level of the object
> program, not the source program.
>
>> And those peace of evidences are the same for anybody in the same 
>> situation, am I wrong ?
>
>
> yes you are wrong
>
>> So the procedures should be the same ?
>
>
> I would recommend involving people who know how Do178B certification
> works, otherwise you are likely to go in the wrong direction (as seems
> to be happening here).

Ok,
I think I better understand things now, I'm sorry I make you to lost you 
time with my stupid questions.
regards,
JF



More information about the Gcc mailing list