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.2 required=5.0 tests=BAYES_00,PLING_QUERY, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,b6d862eabdeb1fc4 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!feeder1.cambriumusenet.nl!feeder3.cambriumusenet.nl!feed.tweaknews.nl!81.171.88.15.MISMATCH!eweka.nl!lightspeed.eweka.nl!npeer.de.kpn-eurorings.net!npeer-ng0.de.kpn-eurorings.net!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Ada noob here! Is Ada widely used? Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <0e88de66-128c-48fd-9b9f-fdb4357f318a@z17g2000vbd.googlegroups.com> <22aKn.4575$Z6.3399@edtnps82> <8d5dbf6e-81fe-4419-aaad-118921a47b4a@q23g2000vba.googlegroups.com> <82ocg5r7w5.fsf@stephe-leake.org> <18iz0ye51c3rk$.1wc5rwelax6hr$.dlg@40tude.net> <82wrusagcz.fsf@stephe-leake.org> Date: Tue, 25 May 2010 11:05:06 +0200 Message-ID: NNTP-Posting-Date: 25 May 2010 11:05:07 CEST NNTP-Posting-Host: ee54bc29.newsspool3.arcor-online.net X-Trace: DXC=OXdj@TjkC7`]l@YUW5NBknMcF=Q^Z^V3h4Fo<]lROoRa8kF On Mon, 24 May 2010 22:02:20 -0400, Stephen Leake wrote: > "Dmitry A. Kazakov" writes: > >> On Mon, 24 May 2010 05:00:58 -0400, Stephen Leake wrote: >> >>> Duke Normandin writes: >>> >>>> On 2010-05-23, Jeffrey R. Carter wrote: >>>>> Bruno Le Hyaric wrote: >>>>>> >>>>>> One question, why did Lockheed Martin choose C++ for avionics software >>>>>> on the JSF aircraft project? >>>>> >>>>> Money. >>>>> >>>>> Most US Defense project contracts are set up so the contractor makes more money >>>>> the more the project costs. A poor but "popular" language choice, lots of >>>>> coders, and no SW engineers is one way to drive the cost up and make more money. >>>>> Defense contractors have maximizing the profit down to a fine art. >>>> >>>> That's outright scary when you ponder all the implications. So much for >>>> using the "right tool, for a particular task". Greed, greed, and more greed >>>> is what is putting us at at risk in this embedded computer age. >>> >>> It's not the contractor's fault; it's the DOD's fault. If they wrote the >>> contract so that the contractor made more money by using the right tools >>> and writing good software, that's what would happen. >>> >>> It's the contractor's job to make as much money as possible; it's the >>> client's job to set the terms of the contract. >> >> Nice theory, not working in practice. Imagine your baker trying making as >> much money as possible and you setting terms on the bread's ingredients. > > Not a valid comparison; I don't have nearly as much buying power as the > DOD. Today DoD cannot afford design of a new technology, language, compiler. DoD can only buy something already designed, e.g. C. It would be a little exaggeration to compare DoD's influence on the language/technology market with yours or mine. And it keeps on ceasing. The next flight system could will be in C#. >> unable to deliver a sound background for software engineering. Which >> is more shamanism than engineering. > > If it's shamanism, then how are the computer science schools at fault? > "Worship Microsoft" sounds like good shamanism. It used to be "worship > IBM". Worshiping belongs to church. > The complaint was that the contractors are greedy. Under capitalism, the > assumption is that _everyone_ is greedy, but the government sets the > rules so the societies best interest is served by everyone's greed. Absolutely > It takes a long term view, and adequate social/political education on > everyone's part. _that's_ why it doesn't work; thinking is hard, most > people don't want to do it. People are bad, they were created to kill, steal, become obese and program in C. You cannot change that. >> This in turn makes it impossible to impose *reasonable* regulations on >> what software is and how it is to be engineered. > > We don't need regulations, we need success oriented contracting. How do you measure "success"? In terms of market shares? Isn't C a success? > Part of the problem is people don't know how to manage large systems; > that's why the air traffic control system is not replaced yet. The problem is that there is no market for large, mission critical systems. You cannot afford trial and error strategy for a system controlling nuclear reactor or air traffic. Similarly, there is no and cannot be a market for computer languages, operating systems etc. Without regulations the result is always microsoft. With regulations it will probably be even worse, because there is no criteria to create such regulations. >> (Unreasonable regulations are plenty, of course) Meaningful >> regulations exist, for example, for bakers, so when you buy bread it >> is bread. > > Depends; if I buy it at the local grocery store, it's more like plastic. > If I buy it at the farmer's market, then it is bread. The only > regulation involved is health; no bacteria or mold allowed. This is what I meant. C is unhealthy. It should be not a question to discuss, not for market evaluation, not for customers to decide. But only a hard science has the authority to pass such judgements. >> When you buy software it can be anything. Because nobody knows for >> sure how to do it "right". > > It is much easier to measure results than to enforce process. I doubt it. Usually testing systems are far more complex than the things under test. Anyway you move the problem to the customer's shoulders. They have already spoken. People choose C and Windows, because see above. > But people don't want to spend the time to do that either. See above (:-)) >> It is "our" word against the word of c-java-dot-net-UML camp. The >> latter is far more vocal. So what do you expect DoD to do? > > Require results, not process. No, require at least *liability*. Forbid "no warranty" commercial licenses. Scrap "you don't own the software, you only lease it" ones. The things will change then. This would be a purely regulatory activity. > Banks get good software for their central money servers, because they > insist that they actually work, and are secure, and spend the money to > ensure that happens (and some of them are written in SPARK). Come on, the cash machine in my bank runs Windows. Guess, how I leant that? Right, I periodically observe how it crashes! (:-)) > NASA's space shuttle software doesn't fail, because they insist on not > killing astronauts. You mean the Mars rover running Java? (:-)) > Good software is possible, it's just hard work on everyone's part. and there is life after death... -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de