ʻSoftware Fallo 0ʼ, un proyecto de la UB para conseguir un sistema de programación sin errores
Todos los programas informáticos contienen errores; incluso los que controlan la industria aeronáutica o militar tienen errores en el producto final. Esta situación es especialmente preocupante debido a la dependencia cada vez mayor de la programación en procesos tan importantes como los mecanismos de voto informático, las tecnologías médicas o las aplicaciones que deciden si una persona cumple o no la ley. Un equipo de la Universidad de Barcelona participa en un proyecto de cuatro años de duración que impulsa un nuevo paradigma en la industria del software informático: el desarrollo por primera vez en España de un software a gran escala sin errores. El proyecto 'Software Fallo 0' aplicará una innovadora metodología de programación para evaluar los datos recogidos por el tacógrafo, el instrumento que monitoriza la actividad de cada vehículo para detectar cuándo se incumple la normativa. Actualmente, un software no verificado lleva a cabo esta tarea evaluadora y, como cualquier programa, comete errores que han supuesto grandes pérdidas a empresas del sector, e incluso fuertes agravios a los derechos de las personas.
Todos los programas informáticos contienen errores; incluso los que controlan la industria aeronáutica o militar tienen errores en el producto final. Esta situación es especialmente preocupante debido a la dependencia cada vez mayor de la programación en procesos tan importantes como los mecanismos de voto informático, las tecnologías médicas o las aplicaciones que deciden si una persona cumple o no la ley. Un equipo de la Universidad de Barcelona participa en un proyecto de cuatro años de duración que impulsa un nuevo paradigma en la industria del software informático: el desarrollo por primera vez en España de un software a gran escala sin errores. El proyecto 'Software Fallo 0' aplicará una innovadora metodología de programación para evaluar los datos recogidos por el tacógrafo, el instrumento que monitoriza la actividad de cada vehículo para detectar cuándo se incumple la normativa. Actualmente, un software no verificado lleva a cabo esta tarea evaluadora y, como cualquier programa, comete errores que han supuesto grandes pérdidas a empresas del sector, e incluso fuertes agravios a los derechos de las personas.