Hacia sistemas informáticos relevantes, más seguros y fiables
Se han previsto inspecciones, revisiones y otras clases de repasos con el fin de asegurar que cada paso del desarrollo de software se ajuste plenamente a los propósitos del paso anterior. La comprobación, en el sentido de ejecutar el software, es una de las múltiples técnicas aplicadas en la verificación de sistemas informáticos. Una verificación sistemática ayuda a prevenir que eventuales problemas del software lleguen hasta la fase de producción. El proyecto MEALS (Mobility between Europe and Argentina applying logics to systems), financiado con fondos europeos, propuso un método matemático para analizar los sistemas en sus etapas iniciales de desarrollo. Los socios del proyecto desarrollaron técnicas y herramientas rigurosas basadas en las matemáticas con el propósito de describir cualquier sistema informático y facilitar su diseño. Había herramientas con las que modelizar y analizar tipos de sistemas como controladores integrados, sistemas distribuidos y servicios web. La finalidad de ello era examinar propiedades fundamentales relacionadas con varias características esenciales ya existentes, como la corrección funcional, cuestiones de seguridad, perfiles de rendimiento y tolerancia a los fallos. Al verificar los aspectos esenciales con dichas herramientas, MEALS demostraba que el diseño de cada sistema se ajustaba a las especificaciones. Estas herramientas y técnicas ayudan a detectar incorreciones de diseño antes de que se haga ninguna inversión cuantiosa. Se difundieron en revistas científicas sometidas a comité de lectura, en congresos y seminarios internacionales más de trescientos artículos científicos revisados inter pares que recogían los resultados del proyecto. Además, a través de reuniones, talleres y eventos divulgativos se realizó una transferencia de conocimientos, el desarrollo de la comunidad interesada en el tema y actividades de difusión sobre las especificaciones, la verificación y la síntesis de sistemas informáticos ubicuos fiables. Por último, se efectuaron 213 visitas científicas transatlánticas. Gracias a MEALS se ampliará el uso industrial de las técnicas formales de verificación, lo cual favorecerá considerablemente la calidad de todo el software programado en el futuro.
Palabras clave
Sistemas informáticos, desarrollo de software, verificación de sistemas informáticos, MEALS
