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,FROM_ADDR_WS,
	INVALID_MSGID,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,e01bd86884246855
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,fb1663c3ca80b502
X-Google-Attributes: gid103376,public
From: "Joachim Durchholz" <joachim dot durchholz@halstenbach.com>
Subject: Re: Interresting thread in comp.lang.eiffel
Date: 2000/07/13
Message-ID: <8kl13r$2qd1s$1@ID-9852.news.cis.dfn.de>#1/1
X-Deja-AN: 646000657
References: <8ipvnj$inc$1@wanadoo.fr> <8j67p8$afd$1@nnrp1.deja.com>
 <39573CAB.BB90DF92@gecm.com> <8j8ek0$24la$3@ID-9852.news.cis.dfn.de>
 <3957ED3E.E64E7390@lmco.com> <8k8orn$1tlh9$1@ID-9852.news.cis.dfn.de>
 <94S95.9936$7%3.667320@news.flash.net>
X-Priority: 3
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2314.1300
X-Trace: fu-berlin.de 963512251 2962492 195.190.10.210 (16 [9852])
X-MSMail-Priority: Normal
Reply-To: "Joachim Durchholz" <joachim.durchholz@halstenbach.com>
Newsgroups: comp.lang.ada,comp.lang.eiffel
Date: 2000-07-13T00:00:00+00:00
List-Id: <comp.lang.ada>

Ken Garlington <Ken.Garlington@computer.org> wrote:
>
> I guess I'd like to see an example that actually captured something
> other than software. It's not perfect, but just by concidence I have
> a dataset that represents something vaguely similar to the parameters
> of interest in the Ariane 5 system. If you go to
>
> http://home.flash.net/~kennieg/yf22/crash.html
>
> and scroll down the page, you will see a figure titled YF-22A Accident
> Sequence. Perhaps if you could post Eiffel code that would detect that
> pilot-induced oscillation would have occured given this test case, I
> could understand your confidence in the DbC tecnique better.

Hmm... I didn't really understand what the report says. It looks like an
oscillation in a self-regulating loop (or whatever this is called in
English cybernetic
theory), with the pilot in the loop somewhere, but I don't know what
parameters should have been detected - I don't now enough about English
aviation terminology and cybernetics to pinpoint what exactly should
have been checked.

Regards,
Joachim
--
This is not an official statement from my employer or from NICE.
Reply-to address changed to discourage unsolicited advertisements.