Re: Ada95 vs Eiffel ?

[LAMP-PUBLISHING@worldnet.att.net]

Luis Ibanez <luisiban@club-internet.fr> wrote:
>Hi,
>
>I'm planning to develop a critical 
>application related with real time
>visualization of 3D medical data.
>
>This application is intended to 
>run in a surgery room.
>
>The application could be run
>on QNX or LYNX real time operating
>systems (with an inocuous version
>for windows NT...), and will 
>intensively use calls to OpenGL.
>
>I'm analyzing the alternatives of
>good languages for this kind of 
>tasks. By now, the finalist are
>Ada and Eiffel,:
>
>
>Eiffel :because its natural support
>        of "design by contract".
>
>
>Ada95  : because it has a long tradition
>         in critical systems developments.
>
>
>Can anybody give me some advices
>about this choice ?
>
>

We do life critical work too and our choice was limited by
what the government agenies would let us certify, in
our case ADA. If we attempted to use Eiffel we would
have to certify the entire Eiffel runtime.

steve