Re: procedural vs object oriented

Peter Amey <peter.amey@xxxxxxxxxxxxxxx> 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.
.