From: Ken Garlington <garlingtonke@lfwc.lockheed.com>
Subject: Re: Ada / Boeing 777
Date: 1996/03/18
Date: 1996-03-18T00:00:00+00:00 [thread overview]
Message-ID: <314D2D86.41A8@lfwc.lockheed.com> (raw)
In-Reply-To: DoDsIM.3MF@cix.compulink.co.uk
Tim Rowe wrote:
>
> AIUI the Airbus range has triplicated *diverse* systems for critical
> functions. The 777 has triplicated *identical* systems (I'm trusting the
> press for this, so it may not be gospel).
If I recall the TRI-Ada stuff on this, it's the same source code, compiled
with three different compilers for three different targets. So, it
depends on what you mean by "diversity."
As Levison and Knight's work indicates (and my experience bears out),
code diversity don't mean much, though.
next prev parent reply other threads:[~1996-03-18 0:00 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <4ia0l3INNatk@faatcrl.faa.gov>
1996-03-15 0:00 ` Ada / Boeing 777 Thomas C. Timberlake
1996-03-18 0:00 ` Thomas C. Timberlake
1996-03-16 0:00 ` "Tim Rowe"
1996-03-18 0:00 ` Ken Garlington [this message]
1996-03-19 0:00 ` Bob Kurtz
1996-03-20 0:00 ` Ada95 (JobSearching) Kenneth Mays
1996-03-23 0:00 ` Ada / Boeing 777 "Tim Rowe"
1996-03-18 0:00 ` Ken Garlington
1996-03-18 0:00 Sam Harbaugh
1996-03-22 0:00 ` Matt Kennel
1996-03-22 0:00 ` Ted Dennison
1996-03-22 0:00 ` Alan Brain
1996-03-27 0:00 ` "Tim Rowe"
-- strict thread matches above, loose matches on Subject: below --
1996-03-19 0:00 Sam Harbaugh
1996-03-21 0:00 ` Ian Ward
1996-03-21 0:00 ` Stuart Palin
1996-03-23 0:00 Sam Harbaugh (at Home)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox