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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	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-19 16:02:34 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!gatech!bloom-beacon.mit.edu!panix!cmcl2!thecourier.cims.nyu.edu!thecourier.cims.nyu.edu!nobody
From: dewar@cs.nyu.edu (Robert Dewar)
Newsgroups: comp.lang.ada
Subject: Re: An observation of Ada (may offend)
Date: 19 Mar 1995 17:20:33 -0500
Organization: Courant Institute of Mathematical Sciences
Message-ID: <3kiani$i49@gnat.cs.nyu.edu>
References: <3k00no$8qv@agate.berkeley.edu>
 <VLADIMIR.95Mar13204932@speedy.intrepid.com> <3kcf82$ln3@felix.seas.gwu.edu>
 <fjm.63.000D29AE@ti.com> <3kfg4d$5dc@felix.seas.gwu.edu>
NNTP-Posting-Host: gnat.cs.nyu.edu
Date: 1995-03-19T17:20:33-05:00
List-Id: <comp.lang.ada>

Isn't the channel tunnel signalling system in Ada? That certainly is not
a government project (the government holds an equity stake, but so do lots
of other people, in the private company that is digging and running the
thing!)

Actually it is not so surprising that many (but certainly not all) of the
Ada projects are govt related. First, high integrity large systems are
likely to be govt related (not too many companies are in the space
business for instance!!) Second, you are of course more likely to know
about the govt related projects.

There are certainly many examples of non-govt related Ada projects (Boeing
commercial is an obvious example). 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. They reported that more than half their customers
are commercial customers.