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,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,7c1ca6be7961c074 X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!postnews.google.com!x5g2000yqk.googlegroups.com!not-for-mail From: MRE Newsgroups: comp.lang.ada Subject: Re: OT?: AF 447 and avionics software Date: Sun, 7 Jun 2009 01:33:50 -0700 (PDT) Organization: http://groups.google.com Message-ID: <4d622e52-5fd7-401f-a6f9-b74d1bfd307e@x5g2000yqk.googlegroups.com> References: <78pifuF1k9uvuU1@mid.individual.net> <2fb5ee80-6a89-4df1-b4a7-e0922f179f68@h18g2000yqj.googlegroups.com> <7b4aed55-0885-4513-8db7-c42879e5f341@o14g2000vbo.googlegroups.com> NNTP-Posting-Host: 84.182.202.193 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1244363631 20110 127.0.0.1 (7 Jun 2009 08:33:51 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 7 Jun 2009 08:33:51 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: x5g2000yqk.googlegroups.com; posting-host=84.182.202.193; posting-account=9oKlagoAAAArpDKc-z70x-nwdNs7Rw_P User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; de; rv:1.9.0.10) Gecko/2009042315 Firefox/3.0.10,gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:6348 Date: 2009-06-07T01:33:50-07:00 List-Id: On 6 Jun., 12:38, sjw wrote: > On Jun 5, 8:22=A0am, MRE wrote: > > > The rocket scientist that came to this brilliant conclusion seems to > > be a real expert in the field of complexity theory. > > Thing is: even if you use analog electronics 50's style you can not be > > sure that you have checked all possible combinations of events. > > I think the difference is that analog systems tend to break in much > less complex ways than digital ones. A run-time exception is likely to > result in catastrophic and unpredictable misbehaviours. Who would have > thought that buffer overflows could lead to botnets overloading the > net with spam? The issue in flight-systems is: we are using digital systems to control analog behaviour. Therefore the level of complexity (is hopefully) not determined by the solution but by the problem. Why would you think that a faulty OpAmp in a complex control circuit has less than unpredictable behaviour than a crash in a software system? The problem is definitely NOT digital flight controls, whatever the self-proclaimed pundits state. It has been universally acknowledged wisdom in the aerospace industry, that accidents / incidents rarely occur due to one single failure but due to a combination of problems. If you look at the statement quoted here http://www.time.com/time/world/article/0,8599,1902421= ,00.html this is however stated to be true only for digital systems. And that's rubbish. Regards, Marc