El "proyecto HATS" creará software más confiable y adaptable

l desarrollo de programas informáticos debe cumplir múltiples requisitos. Dado el coste que implica elaborar grandes programas informáticos como los empleados en el gobierno y el comercio electrónicos, cabe esperar que tengan una larga vida útil y sean seguros. Si además se añade que cada vez son más importantes como infraestructura de la sociedad moderna, su fiabilidad (corrección funcional o conformidad con las políticas de seguridad, por ejemplo) es vital.

Además de conservar su utilidad durante un periodo de tiempo prolongado, los grandes programas deben poder aplicarse a una amplia gama de condiciones y requisitos, adaptarse a entornos laborales y financieros cambiantes y tener la capacidad de ajustarse a las necesidades de empresas pequeñas y grandes. Pero el problema de los programas más extendidos en la actualidad consiste en que contienen millones de líneas de código que impiden que nadie pueda por sí solo examinar toda la estructura del programa y anticipar todas y cada una de sus interacciones.

Los enfoques que se emplean hoy para reutilizar y mantener distintos componentes de software no están a la altura de las necesidades futuras de las aplicaciones electrónicas de comercio, sanidad y gobierno. Los investigadores implicados en HATS dedicarán tres años a afrontar los retos que plantea garantizar la seguridad, adaptabilidad y fiabilidad del código en el que se basan los grandes programas informáticos.

Según los socios del proyecto, dirigidos por la Universidad Tecnológica Chalmers (Suecia), no bastará con ampliar las prácticas formales actuales. El consorcio confía en conseguir un marco para el desarrollo de metodologías y herramientas que permita a los desarrolladores automatizar el proceso de mantenimiento de los programas informáticos de evolución dinámica.

HATS también se centrará en la seguridad y la fiabilidad al sustituir lo que ahora son procesos informales por análisis matemáticos rigurosos del significado de los lenguajes de programación empleados («semántica formal»).

El alma del proyecto es un lenguaje modelo de «Especificación del Comportamiento Abstracto», que puede ser utilizado para describir con precisión componentes y características de programas informáticos y su localización. Este lenguaje soluciona una grave carencia de las prácticas actuales de desarrollo de software, puesto que sin descripciones formales y detalladas no sería posible comprobar la coherencia de forma automática ni aplicar medidas de seguridad.

«El reto de mayor envergadura al que se enfrentará durante las próximas décadas la construcción de programas informáticos será la consecución de una elevada adaptabilidad y fiabilidad», afirmaron los socios del proyecto. «Nuestra propuesta consiste en elegir un paradigma de desarrollo de software que funcione en el terreno empírico a pesar de su informalidad y dotarlo de una base formal. En concreto, dotaremos de rigor al desarrollo de familias de software.»

Diseñar sistemas de software autoadaptables es uno de los objetivos de este proyecto, que reúne a doce socios europeos con experiencia en lenguajes de programación, sistemas distribuidos, líneas de producto de software, verificación formal y teoría de tipos.