Re: Future of Electronics In Aviation

In rec.aviation.piloting Le Chaud Lapin <jaibuduvin@[EMAIL PROTECTED]
> wrote:
> On Jun 20, 6:07?am, Bob Noel <ihatessppa...@[EMAIL PROTECTED]
>
> wrote:
> > In article
<083ff04d-201b-4be8-b6bd-612954a17...@[EMAIL PROTECTED]
>,
> > And what analysis techniques would be applied to prove that the
resulting
> > software intensive system is adequately safe?

> The same techniques that employed, in general, by experts to test
> software.

> > I don't care how many "fastidious" people look at an architecture or
the
> > as-built system, if they don't know what they are looking for and how
to
> > find it, the odds of proving ?anything useful are pretty small.

> Well, assuming they are experts, each in their respective areas, they
> would indeed know what to look for.  Also, peer-review (by other
> experts) is a very good way to check structural integrity of software
> (or any system).

Blue Screen of Death (BSOD).

Do I need to say more?


-- 
Jim Pennino

Remove .spam.sux to reply.