•  I
• a · A  I
• Accessibilitat  I
• Mapa web  I
• Cercar  I
• Directori

• ::  Sign in :: 

L'absència d'errors és la gran quimera de la indústria del programari. Si tenim en compte el pes de la informàtica en la societat actual, en tots els àmbits, des de les apps que descarreguem en els nostres mòbils fins a sectors crítics com el control del trànsit o les transaccions bancàries, garantir l'absència d'errors dels programes informàtics que hi ha darrere d'ells és cada vegada més necessari.

Amb aquest objectiu, un equip de la Universitat Politècnica de València (UPV), pertanyent a l'Institut Valencià d'Intel·ligència Artificial (VRAIN), participa en EuroProofNet, una xarxa d'investigació europea sobre proves digitals l'objectiu de les quals és contribuir a aconseguir el programari lliure d'errors. La seua posada en marxa s'emmarca dins d'una acció COST (European Cooperation in Science and Technology) sobre proves formals de programari que persegueix posar a Europa al capdavant del lideratge de la verificació formal.

Tal com destaca Alicia Villanueva, investigadora de l'Institut VRAIN de la UPV, avui dia existeix programari molt segur perquè passa per una anàlisi i verificació formal molt exigent. Aquestes proves són claus, perquè el més mínim error pot provocar grans desastres humans, materials o econòmics. I ho són a tots els nivells.

“Per exemple, a vegades no som conscients de la importància que les apps dels nostres mòbils siguen verificades. Moltes d'elles gestionen les nostres dades, els nostres comptes, per la qual cosa qualsevol vulnerabilitat pot afectar tant els usuaris com a les pròpies empreses desenvolupadores. Per això és important intentar avançar no solament en el desenvolupament de les pròpies tècniques sinó també a fer les eines més accessibles. Avui dia no solament són crítics els sistemes de control aeronàutics, ferroviaris, etc. que tenen pressupostos milionaris i per als quals ja hem acceptat la necessitat de garantir la seua correcció. Fent més accessibles les eines de verificació formal podrem ajudar a millorar la seguretat i qualitat de qualsevol sistema programari”, apunta Villanueva.

La UPV, al capdavant de la investigació en verificació de programes

La xarxa compta amb més de 200 investigadors i investigadores, de 30 països, tant de la Unió Europea com de fora d'ella, i inclou sis grups de treball, cadascun d'ells especialitzat en una àrea concreta. L'equip de VRAIN-UPV lidera el grup que treballa en la verificació de programes.

“En aquest grup, allò que tractem de millorar són les tècniques de verificació formal que al seu torn fan ús dels sistemes de prova formals. La principal característica de la verificació formal és que és capaç de garantir que una propietat es compleix per a qualsevol possible execució, contribuint així a la seguretat del programari”, explica Alicia Villanueva.

Encara que avui dia existeixen multitud d'eines de verificació eficaces, moltes vegades s'especialitzen a resoldre un tipus de problema concret. En aquest context EuroProofNet té dos grans objectius: d'una banda, millorar les interoperabilitat i usabilitat dels sistemes de prova formals, per a així contribuir a l'avanç de les eines de verificació que fan ús d'ells i, per un altra, millorar la interoperabilitat entre sistemes de verificació per a aprofitar el millor de cada tècnica. “Tot això contribuirà a garantir la seguretat dels programes informàtics”, remarca Alicia Villanueva.

A més dels objectius purament científics, EuroProofNet pretén construir una xarxa d'investigadors que fomente la col·laboració i ajude a avançar en aquest sentit. La xarxa desenvoluparà les seues activitats fins a octubre de 2025.