Re:Lessons Learned Developing Software for Space Vehicles
by whatshisface on Sunday March 24, 2013 @01:17AM
(#5431222)
I think the point is that all the redundant computers check on eachother, and it is very unlikely for the majority of computers to have the exact same fault at the exact same time.
[ Parent
| on HN ]
Re:Lessons Learned Developing Software for Space Vehicles
by chickopozo on Sunday March 24, 2013 @07:59AM
(#5431813)
The same hardware, in the same location, running the same software, same power source, next to each other.
It's quite likely actually.
Do you do your backups to an identical* computer right next to your main one? (* factor in wear)
Re:Lessons Learned Developing Software for Space Vehicles
by shabble on Sunday March 24, 2013 @10:29AM
(#5432124)
Multi-version programming[1] (independent implementations of the same specification) is one of the classic solutions to this problem. Likewise for power, location, etc. If you really care about these failure modes, you'll have N different designs of PSU & hardware fed via redundantly pathed links, etc.
Aside from the (huge) cost/dev time, the biggest issue is that you still can't protect against logic errors in the specification, and the difficulty in testing every sequence of failure modes across implementations.
Re:Lessons Learned Developing Software for Space Vehicles
by atsaloli on Sunday March 24, 2013 @12:54PM
(#5432596)
You can protect against design errors through formal logic verification of the model. Www.spinroot.com
Re:Lessons Learned Developing Software for Space Vehicles
by ersii on Sunday March 24, 2013 @03:24PM
(#5433174)
And for those who think the link is unrelated spam, it's not.
Description provided on spinroot.com: "Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980."