Re: procedural vs object oriented

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

Peter Amey <peter.amey@praxis-cs.co.uk> writes:
> Ludovic Brenta wrote:
> [snip]
>> According to Robert Dewar during FOSDEM, nobody uses OOP in avionics
>> software, because the uncertainty inherent to dynamic dispatching
>> hinders certification.  Is someone on this newsgroup in a position to
>> give a counter-example?
>
> The committee that is revising the DO-178B avionics "standard" is
> currently meeting in Los Angeles.  There is an entire sub-group
> devoted to the problem of certifying O-O software.  At the breaks,
> they look like it is proving hard work!

That was also my understanding after reading OOTiA.

> Those of us in the formal methods sub-group are having a slightly
> easier time.

You bet :)

-- 
Ludovic Brenta.