Re: Future of Electronics In Aviation

On Jun 20, 6:07=A0am, 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 =A0anything 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).

-Le Chaud Lapin-