Re:Designing Safe Software Systems Part 2 (2009)
by i_feel_great on Wednesday July 20, 2016 @02:29AM
(#12127242)
This article mentions "dual path".
Can anyone confirm the tale that some aircraft/spacecraft have the same system built with different versions of Ada/Ada compilers on different hardware running at the same time for redundancy?
Can anyone confirm the tale that some aircraft/spacecraft have the same system built with different versions of Ada/Ada compilers on different hardware running at the same time for redundancy?