comp.lang.ada
 help / color / mirror / Atom feed
From: Markus E Leypold <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>
Subject: Re: Translating an embedded C algorithm
Date: Thu, 25 Jan 2007 22:59:17 +0100
Date: 2007-01-25T22:59:17+01:00	[thread overview]
Message-ID: <nfbqkmzs22.fsf@hod.lan.m-e-leypold.de> (raw)
In-Reply-To: QyYu2YL7gZs3@eisner.encompasserve.org


Hi Larry,

Kilgallen@SpamCop.net (Larry Kilgallen) writes:
>
>> So probably Sofcheck is really able to provide that Ada-to-C compiler for a
>> determined customer, who is willing to pay enough for that. But this is not
>> the case for absolute majority of embedded software developers.
>
> Because they are not determined, or because they want it free ?

The spectre of free software raises its ugly head ...

I'd expect that there is some middle ground between wanting everything
for free and paying any every price.

What some people in this thread might not have considered, is that
something like the following situation: A company intends to build a
prototype embedded system (for control of something or whatever). They
do not know wether the new product will ever fly/sell and they have a
small market (some hundred units, not more) for the next years.

Now -- usually they get the C development system and the evaluation
board rather cheap. On the other site adding the SofCheck compiler
might (a) result in a couple of man weeks of work, retraining of
staff, and of course (b) the additional price/licensing for the
compiler.

Even worse -- if you contract partner requires to guarantee delivery
and fixing of further units for the next ten years (never many, I know
of contracts that require 150 units now with the option to further 400
units during the next ten years), you'll have to pay maintenance or
licensing for ten years (not just for the year when you do most of the
board development.

So, in case of a small unit number and small system the additional per
unit costs might not be negligible. You're just not competitive this
way against a competitor doing it in C only even if they spent a
substantial amount of time going through their C code with a fine comb
to ensure quality.


So yes: Ada is available via the SofCheck compilers or others for more
target than most people think. Still the entry costs into the first
Ada project might be prohibitive. 

And not the paradox: Large companies which already have C/C++ coding
styles are not likely to start a new development line with Ada or
retrain staff. Small companies that could (because there is no real
policy yet) cannot afford Ada because they can't distribute the cost
of many projects yet. 

So what did I want to say? -- There is more to a language decision
than being "not determined" or being a cheapskate ("want it
free"). There are simple economic reasons sometimes why people decide
against Ada (or never really start to consider it seriously). They
might be mistaken in their reasons (might underestimate the
difficulties to keep quality with C or how much Ada might help them
with keeping quality or designing) but nonetheless -- what I really
want to emphasize that those people usually make a rational decision
based on some kind of evaluation, not the kind of decisions on a gut
level you and some of the posters in this thread seem to imply.

Another aspect: A lot of people here seem to assume that quality comes
with the choice of the right language. Nothing could be further from
the truth. I remember a study (IBM I think) in which the effectiveness
of various QA measures and combinations was evaluated. If I remember
right, code review was an essential ingredient ever getting a high
quality: No project achieved high quality without code review. So
perhaps C with a good reviewing process might still be better than Ada
without review.

Regards -- Markus






  parent reply	other threads:[~2007-01-25 21:59 UTC|newest]

Thread overview: 102+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-01-15 14:36 Translating an embedded C algorithm Talulah
2007-01-16  0:06 ` Jeffrey Carter
2007-01-16  1:10   ` Marc A. Criley
2007-01-16  2:21   ` Cesar Rabak
2007-01-16 10:40     ` Markus E Leypold
2007-01-16 14:48       ` Larry Kilgallen
2007-01-16 17:32     ` Jeffrey Carter
2007-01-16 18:04       ` Cesar Rabak
2007-01-17  0:09         ` Jeffrey Carter
2007-01-17  1:07           ` Cesar Rabak
2007-01-16  4:37   ` Alexander E. Kopilovich
2007-01-16 13:37     ` Cesar Rabak
2007-01-16 23:47     ` Simon Wright
2007-01-17  1:02       ` Cesar Rabak
2007-01-16  3:50 ` Vo, Anh (US SSA)
2007-01-16 12:15   ` Niklas Holsti
2007-01-16 23:50     ` Simon Wright
2007-01-18 16:17     ` Niklas Holsti
2007-01-18 16:41       ` Ludovic Brenta
2007-01-18 20:02         ` Niklas Holsti
2007-01-18 22:25         ` Cesar Rabak
2007-01-19  8:32           ` Niklas Holsti
2007-01-19 19:15             ` Cesar Rabak
2007-01-19 20:49             ` Simon Wright
2007-01-18 16:55       ` Robert A Duff
2007-01-18 18:54         ` Jeffrey Carter
2007-01-19  0:45           ` Robert A Duff
2007-01-18 21:25         ` Niklas Holsti
2007-01-19  0:50           ` Robert A Duff
2007-01-19  4:43           ` Jeffrey Carter
2007-01-18 18:43       ` Jeffrey Carter
2007-01-18 20:19         ` Niklas Holsti
2007-01-18 20:30       ` Niklas Holsti
2007-01-18 23:34       ` Cesar Rabak
2007-01-19  8:57         ` Niklas Holsti
2007-01-19  2:11       ` Steve Whalen
2007-01-19 10:27         ` Niklas Holsti
2007-01-16 13:32   ` Cesar Rabak
2007-01-16 14:47   ` Gautier
2007-01-16 15:15     ` Cesar Rabak
2007-01-16 15:16     ` Jean-Pierre Rosen
2007-01-16 16:12       ` Ludovic Brenta
2007-01-16 17:10         ` Georg Bauhaus
2007-01-16 22:32           ` Ludovic Brenta
2007-01-17 20:22             ` Georg Bauhaus
2007-01-18  9:23               ` Ludovic Brenta
2007-01-16 17:12         ` Cesar Rabak
2007-01-16 17:20           ` Frank J. Lhota
2007-01-16 18:09             ` Cesar Rabak
2007-01-16 17:36           ` Dmitry A. Kazakov
2007-01-16 18:08             ` Cesar Rabak
2007-01-16 18:48               ` Dmitry A. Kazakov
2007-01-16 20:03                 ` Cesar Rabak
2007-01-18 19:33                   ` Björn Persson
2007-01-18 22:32                     ` Cesar Rabak
2007-01-19 20:26                       ` Björn Persson
2007-01-19 23:25                         ` Cesar Rabak
2007-01-19  7:15                     ` Maciej Sobczak
2007-01-19 20:27                       ` Björn Persson
2007-01-19 20:34                         ` Robert A Duff
2007-01-17 13:48           ` Maciej Sobczak
2007-01-17 23:32             ` Translating an embedded C algorithm -- OT Cesar Rabak
2007-01-18  8:56               ` Talulah
2007-01-18 22:05                 ` Cesar Rabak
2007-01-18  9:03               ` Maciej Sobczak
2007-01-18 10:22                 ` Alex R. Mosteo
2007-01-18 18:34                 ` Jeffrey Carter
2007-01-18 22:26                   ` Cesar Rabak
2007-01-19  4:45                     ` Jeffrey Carter
2007-01-18 22:18                 ` Cesar Rabak
2007-01-19 20:53                   ` Simon Wright
2007-01-16 15:55   ` Translating an embedded C algorithm Cesar Rabak
2007-01-17  3:00     ` Vo, Anh (US SSA)
2007-01-17 10:48       ` Cesar Rabak
2007-01-17 11:44       ` Niklas Holsti
2007-01-17 13:31         ` Talulah
2007-01-17 19:20           ` Jeffrey Carter
2007-01-18 14:19             ` Talulah
2007-01-18 15:28               ` Jean-Pierre Rosen
2007-01-18 23:27                 ` Cesar Rabak
2007-01-18 18:51               ` Jeffrey Carter
2007-01-18 22:30                 ` Cesar Rabak
2007-01-19  4:48                   ` Jeffrey Carter
2007-01-19 19:13                     ` Cesar Rabak
2007-01-20 20:56                       ` Jeffrey Carter
2007-01-19  2:21                 ` Alexander E. Kopilovich
2007-01-19  3:25                   ` Larry Kilgallen
2007-01-20  0:46                     ` Alexander E. Kopilovich
2007-01-20 13:03                       ` Larry Kilgallen
2007-01-20 16:54                         ` Alexander E. Kopilovich
2007-01-20 23:53                           ` Larry Kilgallen
2007-01-20 21:02                         ` Jeffrey Carter
2007-01-25 21:59                     ` Markus E Leypold [this message]
2007-01-26  4:06                       ` Larry Kilgallen
2007-01-26 11:26                         ` Markus E Leypold
2007-01-26 12:25                           ` Cesar Rabak
2007-01-19  4:52                   ` Jeffrey Carter
2007-01-19 10:13                   ` Warner BRUNS
2007-01-19 14:54                   ` Robert A Duff
2007-01-19  4:08 ` Steve
2007-01-19 20:41   ` Simon Wright
  -- strict thread matches above, loose matches on Subject: below --
2007-01-17  7:07 AW: " Grein, Christoph (Fa. ESG)
2007-01-17 10:26 ` Ludovic Brenta
2007-01-17 16:44   ` Markus E Leypold
2007-01-18  8:49     ` Ludovic Brenta
2007-01-19  9:33       ` Stephen Leake
2007-01-19 19:23         ` Cesar Rabak
2007-01-19 20:27           ` Robert A Duff
2007-01-20  9:54             ` Dmitry A. Kazakov
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox