Re: [LUG.ro] Los fallos del software y la responsabilidad de quien lo creó

[Horacio]

>
> A lo mejor se podrán dar *algunas* garantías se sigue un procedimiento
> específico o coo vos indicas usando especificaciones
> formales pero no una garantía absoluta. Sobre lo de *probadas*, eso
> requiere un tiempo muy grande como para poder decirlo. Cuando se trata
> de vienes tangibles, los procedimientos se han probado por MUCHOS años,
> no solo de algunos como pasa con la informática.
>

Vamos a un hecho concreto, el TGV para poder operar a 560 km/h se debe
confiar en la empresa que diseñó los algoritmos para el control
automático de la estabilidad y opertividad del tren. (Todo
desarrollado en lenguaje ADA) ahora bien si por mala suerte debido a
una falla en una rutina de 4 líneas de las 15.600.000 líneas de código
el tren se descarrilla y mata a 500 personas y en una investigación se
descubre que el error está en la empresa desarrolladora del código,
según las leyes francesas, esta es responsable por los daños y
perjuicios... sea hecho en SL bajo GPL ó lo que fuere...
En este caso el uso de especificaciones formales salvarían vidas y
juicios innecesarios... No? o con la GPL te lavas las manos?