Notícies
Inici  >  Notícies > ‘Software Fallo 0’, un projecte de la UB per aconseguir un sistema...

‘Software Fallo 0’, un projecte de la UB per aconseguir un sistema de programació sense errors

El projecte aplicarà una innovadora metodologia de programació per avaluar les dades recollides pel tacògraf.

El projecte aplicarà una innovadora metodologia de programació per avaluar les dades recollides pel tacògraf.

12/02/2019

Recerca

Tots els programes informàtics contenen errors; fins i tot els que controlen la indústria aeronàutica o militar tenen errors en el producte final. Aquesta situació és especialment preocupant a causa de la cada vegada major dependència de la programació en processos tan importants com els mecanismes de vot informàtic, les tecnologies mèdiques o les aplicacions que decideixen si una persona compleix o no la llei. Un equip de la Universitat de Barcelona participa en un projecte de quatre anys de durada que impulsa un nou paradigma en la indústria del programari informàtic: el desenvolupament per primera vegada a Espanya d’un programari a gran escala sense errors. El projecte ‘Software Fallo 0’ aplicarà una innovadora metodologia de programació per avaluar les dades recollides pel tacògraf, un instrument que monitoritza l’activitat de cada vehicle per detectar quan s’incompleix la normativa. Actualment un programari no verificat porta a terme aquesta tasca avaluadora i, com qualsevol programa, comet errors que han suposat grans pèrdues a empreses del sector, i fins i tot forts greuges als drets de les persones.

Més informació

 

Comparteix-la a:
| Més |
  • Segueix-nos:
  • botó per accedir al facebook de la universitat de barcelona
  • botó per accedir al twitter de la universitat de barcelona
  • botó per accedir a l'instagram de la Universitat de Barcelona
  • botó per accedir al linkedin de la Universitat de Barcelona
  • botó per accedir al youtube de la universitat de barcelona
  • botó per accedir al google+ de la universitat de barcelona
  • ??? peu.flickr.alt ???
Membre de la Reconeixement internacional de l'excel·lència HR Excellence in Research logo del ∞ - League of European Research Universities logo del bkc - campus excel·lència logo del health universitat de barcelona campus

© Universitat de Barcelona