Noticias
Inicio  >  Noticias > ‘Software Fallo 0’, un proyecto de la UB para conseguir un sistema...

‘Software Fallo 0’, un proyecto de la UB para conseguir un sistema de programación sin errores

El proyecto aplicará una innovadora metodología de programación para evaluar los datos recogidos por el tacógrafo.

El proyecto aplicará una innovadora metodología de programación para evaluar los datos recogidos por el tacógrafo.

12/02/2019

Recerca

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.

Más información

 

Compártelo en:
| Más |
  • Síguenos:
  • botón para acceder al facebook de la universitat de barcelona
  • botón para acceder al twitter de la universitat de barcelona
  • Botón para acceder al Instagram de la Universitat de Barcelona
  • Botón para acceder al Linkedin de la Universitat de Barcelona
  • botón para acceder al youtube de la universitat de barcelona
  • Botón para acceder al Google+ de la Universitat de Barcelona
  • ??? peu.flickr.alt ???
Miembro de la Reconocimiento internacional de la excelencia HR Excellence in Research logo del leru - League of European Research Universities logo del bkc - campus excel·lència logo del health universitat de barcelona campus

© Universitat de Barcelona