From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,efe03f20164a417b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1995-03-20 17:42:07 PST Newsgroups: comp.lang.ada Path: nntp.gmd.de!dearn!blekul11!ccsdec1.ufsia.ac.be!reks.uia.ac.be!idefix.CS.kuleuven.ac.be! Belgium.EU.net!EU.net!news.sprintlink.net!peernews.demon.co.uk!news2.demon.co.uk!banana.demon.co.uk!kevq From: kevq@banana.demon.co.uk (Kevin F. Quinn) Subject: Re: An observation of Ada (may offend) X-Nntp-Posting-Host: banana.demon.co.uk Message-ID: <19950320.203858.98@banana.demon.co.uk> Sender: news@demon.co.uk (USENET Administrator) Reply-To: kevq@banana.demon.co.uk Organization: The Banana Arc X-Newsreader: Archimedes TTFN Version 0.36 References: <3kcf82$ln3@felix.seas.gwu.edu> <3kfg4d$5dc@felix.seas.gwu.edu> <3kiani$i49@gnat.cs.nyu.edu> Date: Mon, 20 Mar 1995 20:38:58 GMT Date: 1995-03-20T20:38:58+00:00 List-Id: 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