Re: procedural vs object oriented



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!

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

Peter


.