Studies on heteroredundant architecture for the input processing sub-system and the boundary controller of a digital flight control computer