Re: An observation of Ada (may offend)

[kevq@banana.demon.co.uk (Kevin F. Quinn)]

In article <3kiani$i49@gnat.cs.nyu.edu>,
          dewar@cs.nyu.edu (Robert Dewar) wrote:

> Isn't the channel tunnel signalling system in Ada?

I believe so.

Another one: Rolls-Royce now use Ada for much of the control software
on their aircraft engines.

There's a lot of Ada in air traffic control systems, as well (certainly
in Europe, anyway).  I guess you probably knew that, anyway.

> [...] Second, you are of course more likely to know
> about the govt related projects.

Hit the nail on the head there, I think.

> Earlier this week, I was at a meeting
> at Praxis, who makes a tool, SPARC Examiner, used in the creation of
> high integrity Ada code.

For information, Praxis have just bought PVL (Program Validation
Limited) who developed the spark (not sparc) examiner et. al.  PVL
were a very small company, attached in some ways to a University (I
forget which one).

--
Kevin F. Quinn           * "That's not what you said when you sent him your
kevq@banana.demon.co.uk  * Navel."   "Novel, Baldrick, not navel."
kevq@cix.compulink.co.uk * "Well it sounds like a case of soggy grapefruits
Compu$erve: 100025,1525  * to me..."                        BlackAdder III