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?
http://www.drdobbs.com/architecture-and-design/safe-systems-...
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?