Originally Posted by
bsieker
The way the A320's computers were developed is not the same as what we mean here by diversity. In the stricter sense this means identical functionality, fulfilling the same requirements is implemented by different teams of developers.
Oh, I'm sure it wasn't in the strictest sense, as such concepts were bleeding-edge back in 1982. Certain aspects were certainly used, however.
In large parts already for the A320, and more so for later models, automatic code generation was used from formal specifications.
Correct, and in line with what I was taught.
Still not sure about different teams for command and monitor channel.
Well, that's what Prof. Mellor taught us.
Anyway, back to the thread topic at hand!
