Re: Ada vs Ruby

Phillip Gawlowski wrote:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Rick DeNatale wrote:

|
| Yes, testing, not a blind faith in whatever language is being used,
| and it's compiler.

Indeed.

|> Anyway, this problem is (AFAIK, anyway), countered by using redundant
|> implementations of the hardware and software (well, as far as
possible,
|> anyway), to minimize the effect of unknown states.
|
| Of course this isn't perfect either. In fact "The Bug Heard Round the
| World." which I mentioned earlier in this thread, was a failure of
| redundancy.

Perfection is an ideal, that we can only approach asymptotically, never
achieve (since we, as human beings, aren't perfect).

| Of course all of this worked well during the pre-STS1 mission sims.
|
| However, on the day of the launch, there was a clock skew between the
| redundant computers, so the output from one lagged just a bit behind
| the others, and the system halted the launch, unnecessarily as it
| turned out, at T-3
|

That is it was an unnecessary halt is probably the benefit of hindsight.
Unfortunately, I can only assume that it was so, since I cannot find a
free version of the paper you linked to earlier.

Without the benefit of hindsight, the problem of the skewed clocks could
have a much wider impact than it actually had, masking deeper problems
of the software and / or hardware used.

In such a case, we enter the area of risk management: Is it worth to
risk the whole mission on something that hasn't been done before at this
scale? While there was knowledge, at the time, of space flight thanks to
the Apollo and Mercury programs, something like the Space Shuttle was
new, and very different from the "throw away" capsules used before, with
different approaches to solve the problem of getting something into
orbit and back again, preferably all in one piece.

With the lives and money at stake with the Shuttle program, the decision
to cancel was wise, IMO, even though it turned out to be unnecessary.

One could even claim, that the systems performed as planned, and
prevented a catastrophe. Without actual empirical testing we probably
won't know for sure, and can only speculate.


In the end, though, this shows that no amount of software nor hardware
can replace judgment calls made by human beings. Technology can only
assist in making decisions. And in the cases where humans cannot make
decisions (like a Shuttle launch, where automation has to be used), a
use of technology (and not just languages and compilers and processes)
still requires humans for the get go.

I think that the movie Wargames touched on this topic in a good, and
decent, way, as well as Crimson Tide (in a not very related way, though,
but it demonstrates my point of not putting too much trust into process).

- --
Phillip Gawlowski
Twitter: twitter.com/cynicalryan

"...no amount of software nor hardware can replace judgment calls made
by human beings. Technology can only
assist in making decisions."

For what it's worth, in my profession (clinical applied psychology/
psychotherapy), it's written into our professional ethics that decisions
are always to be made by people, not by some testing device, instrument,
or technology. Sometimes we merely review and approve, but that human is
required to be there. Very few people object to this, especially after a
little reflection.

Cross-validation of process, eh?

t.


--

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Tom Cloyd, MS MA, LMHC
Private practice Psychotherapist
Bellingham, Washington, U.S.A: (360) 920-1226
<< tc@xxxxxxxxxxxx >> (email)
<< TomCloyd.com >> (website & psychotherapy weblog)
<< sleightmind.wordpress.com >> (mental health issues weblog)
<< directpathdesign.com >> (web site design & consultation)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~


.

Relevant Pages

  • Re: The development tendency of compilation tech?
    ... support a compiler effort that extends compiler technology. ... of innovation are GPUs, FPGAs, and multi-core. ... Language feature changes can cause disruptions in compiler technology, ...
    (comp.compilers)
  • Re: The coming death of all RISC chips.
    ... because it added a lot of complex features that the compiler was ... technology was in place. ... since the 1970s that the 'typical' extractable ILP from a language ...
    (comp.arch)
  • Re: could a linux scheduler be done smaller in forth?
    ... get a Forth compiler, read "Starting Forth", and then do at least one ... endlessly asking "could someone do X in Forth") all will be well. ... technology he doesn't fully understand he will be asking if it could ... be implemented in a language he doesn't fully understand. ...
    (comp.lang.forth)
  • Re: how do you start learning assembly language
    ... compiler technology for decades, and which every compiler author have ... And I have refuted your claim that monofiles are bad idea or "design lack" ... Yes, I said that if an assembler did not support linking, it ...
    (alt.lang.asm)
  • Function.
    ... Explanation of the Recent "Strange Craft" Sightings ... I worked with a lot of the technology that is clearly at work ... "language" and diagrams seen on the underside of each craft. ... My Experience with the CARET Program and Extra-terrestrial ...
    (sci.skeptic)
Loading