Gaur egun, software fidagarria, hau da errorerik gabea, sortu ahal izateko ezagutza, metodoak eta teknologia egon badaude. Horren erakusgarri da, adibidez, liburu honen lehenengo kapituluan azaltzen den Parisko garraio-sarearen kontrolerako softwarea. Beste froga bat, azken 10-15 urteetan software-akatsen ondorioz sortutako istripu larririk ia-ia ez egon izana da. Hori dela-eta, liburu honen bidez gure ekarpena egin nahi dugu nazioarteko komunitateak dagoeneko bere gain hartu duen erronka batean...