Door Overcome: [..] Het concept dat je beschrijft is vanuit een resiliency optiek wel interessant. Het verhaal van de Ariane 5 is bij sommigen wellicht bekend. Die explodeerde doordat zowel de primaire als de backup SRI hetzelfde probleem in de code had (veroorzaakt door een overflow). Gevolg: eerst begaf het primaire component het, en door het gebrek aan diversiteit ook de backup. Einde Ariane 5. Dat is niet helemaal juist als samenvatting - en daarmee de conclusie ook niet. Het was , in zekere zin, een meta-bug, niet "gewoon" een software bug. De software (voor Ariane 4) was perfect geschreven voor de design requirements - van Ariane 4. Waaronder gegarandeerde maximale input waarden (van versnelling) van sommige sensoren. Wat niet gerealiseerd was - die parameters konden bij Ariane 5 _wel_ een grotere waarde krijgen . Waarop de software ongeschikt reageerde . Je kunt niet blindelings stellen dat een diverse implementatie tegen dezelfde foute specificatie "beter" zou reageren. (halt system kan ook ...