This has been normal practice on airline computers for decades. The 757 used dual systems (the third being the pilot). Each channel:
1. used a different CPU architecture and brand
2. used different circuits
3. used different algorithms
4. used different languages
5. were developed by independent teams
6. with a third independent team to verify there were no inadvertent similarities
If the two channels disagreed, they were automatically electrically isolated, and the pilot was notified and was expected to take over.
1. used a different CPU architecture and brand 2. used different circuits 3. used different algorithms 4. used different languages 5. were developed by independent teams 6. with a third independent team to verify there were no inadvertent similarities
If the two channels disagreed, they were automatically electrically isolated, and the pilot was notified and was expected to take over.