Re: Ada and Its Image

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

Shark8 wrote on comp.lang.ada:
> Ludovic Brenta wrote:
>
>> George <mail2geo...@gmx-topmail.de> writes:
>>> Hi All,
>>> Ada is suitable to be used as a language for software design (http://
>>> ) and small apps like life-science services running on smart phones
>>> requiring stability and correctness.
>
>> On top of a fragile, bug-ridden smart phone operating system?
>
> Isn't that all the more reason to use a strongly-typed, high-integrity
> (lots of error checking) sort of language like Ada?

I don't think Ada could protect the application against bugs in the
operating system (it might expose such bugs, though).  OTOH, rewriting
the operating system in Ada or even SPARK would make for a truly
safety-critical software stack, suitable for medical devices.

--
Ludovic Brenta.