Architectural solutions to safety problems of digital flight Critical systems for commercial transports