ʻSoftware Fallo 0ʼ, un projecte de la UB per aconseguir un sistema de programació sense errors
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.
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.